Skip to content

Actions: OCamlPro/superbol-studio-oss

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,267 workflow runs
1,267 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #29 from bclement-ocp/bclement/pprint
Main Workflow #161: Commit 3f5f0ea pushed by nberth
September 29, 2023 14:26 19m 4s master
September 29, 2023 14:26 19m 4s
Add an AST pretty-printer
Main Workflow #160: Pull request #29 synchronize by bclement-ocp
September 29, 2023 14:02 21m 50s bclement-ocp:bclement/pprint
September 29, 2023 14:02 21m 50s
Add an AST pretty-printer
Main Workflow #159: Pull request #29 synchronize by bclement-ocp
September 29, 2023 13:50 20m 14s bclement-ocp:bclement/pprint
September 29, 2023 13:50 20m 14s
Some improvements in the generation of VSIX
Main Workflow #158: Pull request #32 synchronize by lefessan
September 29, 2023 13:48 19m 5s lefessan:z-2023-09-29-fix-vsix-build
September 29, 2023 13:48 19m 5s
Some improvements in the generation of VSIX
Main Workflow #157: Pull request #32 synchronize by lefessan
September 29, 2023 13:46 14m 3s lefessan:z-2023-09-29-fix-vsix-build
September 29, 2023 13:46 14m 3s
Add an AST pretty-printer
Main Workflow #156: Pull request #29 synchronize by nberth
September 29, 2023 13:42 25m 26s bclement-ocp:bclement/pprint
September 29, 2023 13:42 25m 26s
Some improvements in the generation of VSIX
Main Workflow #155: Pull request #32 synchronize by lefessan
September 29, 2023 13:38 24m 18s lefessan:z-2023-09-29-fix-vsix-build
September 29, 2023 13:38 24m 18s
Some improvements in the generation of VSIX
Main Workflow #154: Pull request #32 synchronize by lefessan
September 29, 2023 13:33 21m 46s lefessan:z-2023-09-29-fix-vsix-build
September 29, 2023 13:33 21m 46s
Some improvements in the generation of VSIX
Main Workflow #153: Pull request #32 synchronize by lefessan
September 29, 2023 13:31 17m 27s lefessan:z-2023-09-29-fix-vsix-build
September 29, 2023 13:31 17m 27s
LSP improvements
Main Workflow #152: Pull request #13 synchronize by nberth
September 29, 2023 13:27 17m 17s nberth:lsp-improvements
September 29, 2023 13:27 17m 17s
Merge pull request #24 from nberth/bump-refmod
Main Workflow #151: Commit 4a23316 pushed by nberth
September 29, 2023 13:24 22m 30s master
September 29, 2023 13:24 22m 30s
Allow reference modification on many more identifiers
Main Workflow #150: Pull request #24 synchronize by nberth
September 29, 2023 13:00 22m 30s nberth:bump-refmod
September 29, 2023 13:00 22m 30s
Some improvements in the generation of VSIX
Main Workflow #149: Pull request #32 opened by lefessan
September 29, 2023 12:50 21m 22s lefessan:z-2023-09-29-fix-vsix-build
September 29, 2023 12:50 21m 22s
More USAGE typing
Main Workflow #148: Pull request #31 synchronize by ddeclerck
September 29, 2023 12:45 22m 35s ddeclerck:numeric_typing
September 29, 2023 12:45 22m 35s
More USAGE typing
Main Workflow #147: Pull request #31 opened by ddeclerck
September 29, 2023 11:18 22m 30s ddeclerck:numeric_typing
September 29, 2023 11:18 22m 30s
Add an AST pretty-printer
Main Workflow #146: Pull request #29 synchronize by bclement-ocp
September 29, 2023 10:04 19m 7s bclement-ocp:bclement/pprint
September 29, 2023 10:04 19m 7s
Merge pull request #30 from lefessan/z-2023-09-29-merge-binaries
Main Workflow #145: Commit 2bea02c pushed by lefessan
September 29, 2023 09:43 21m 28s master
September 29, 2023 09:43 21m 28s
Merge pull request #14 from nberth/copy-bins
Main Workflow #143: Commit 203bf08 pushed by lefessan
September 28, 2023 22:22 21m 30s master
September 28, 2023 22:22 21m 30s
Merge pull request #22 from lefessan/z-2023-09-26-improve-JSON-reader
Main Workflow #142: Commit 23fb404 pushed by lefessan
September 28, 2023 22:10 19m 27s master
September 28, 2023 22:10 19m 27s
Merge pull request #28 from lefessan/z-2023-09-28-rebase-Considering
Main Workflow #141: Commit 20f0eb4 pushed by lefessan
September 28, 2023 17:21 19m 29s master
September 28, 2023 17:21 19m 29s
Merge pull request #23 from nberth/keep-abbreviated-conditions
Main Workflow #140: Commit 7674480 pushed by nberth
September 28, 2023 16:31 31m 34s master
September 28, 2023 16:31 31m 34s
ProTip! You can narrow down the results and go further in time using created:<2023-09-28 or the other filters available.