Skip to content

Actions: OCamlPro/superbol-studio-oss

Actions

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

Remove fold on ephemerons Main Workflow #86: Pull request #12 synchronize by nberth
September 22, 2023 08:29 26m 5s nberth:remove-weak-fold
nberth:remove-weak-fold
September 22, 2023 08:29 26m 5s
LSP improvements Main Workflow #85: Pull request #13 synchronize by nberth
September 22, 2023 08:26 30m 45s nberth:lsp-improvements
nberth:lsp-improvements
September 22, 2023 08:26 30m 45s
Import tests and fix some fields in drom.toml Main Workflow #84: Pull request #11 synchronize by nberth
September 22, 2023 08:22 30m 5s nberth:import-tests
nberth:import-tests
September 22, 2023 08:22 30m 5s
Fix parsing for rounding_mode Main Workflow #83: Pull request #16 opened by bclement-ocp
September 22, 2023 07:46 25m 20s bclement/grammar_rounding_mode
bclement/grammar_rounding_mode
September 22, 2023 07:46 25m 20s
Merge pull request #15 from ddeclerck/fix_cross_compilation Main Workflow #82: Commit 2c8753d pushed by lefessan
September 21, 2023 14:39 25m 11s master
master
September 21, 2023 14:39 25m 11s
Remove fold on ephemerons Main Workflow #81: Pull request #12 synchronize by nberth
September 21, 2023 14:13 19m 27s nberth:remove-weak-fold
nberth:remove-weak-fold
September 21, 2023 14:13 19m 27s
LSP improvements Main Workflow #80: Pull request #13 synchronize by nberth
September 21, 2023 14:03 21m 22s nberth:lsp-improvements
nberth:lsp-improvements
September 21, 2023 14:03 21m 22s
Remove fold on ephemerons Main Workflow #79: Pull request #12 synchronize by nberth
September 20, 2023 15:32 20m 4s nberth:remove-weak-fold
nberth:remove-weak-fold
September 20, 2023 15:32 20m 4s
Import tests and fix some fields in drom.toml Main Workflow #78: Pull request #11 synchronize by nberth
September 20, 2023 14:04 22m 49s nberth:import-tests
nberth:import-tests
September 20, 2023 14:04 22m 49s
Fix cross-compilation Main Workflow #77: Pull request #15 opened by ddeclerck
September 19, 2023 11:48 21m 29s ddeclerck:fix_cross_compilation
ddeclerck:fix_cross_compilation
September 19, 2023 11:48 21m 29s
LSP improvements Main Workflow #76: Pull request #13 synchronize by nberth
September 19, 2023 09:36 34m 53s nberth:lsp-improvements
nberth:lsp-improvements
September 19, 2023 09:36 34m 53s
Import tests and fix some fields in drom.toml Main Workflow #75: Pull request #11 synchronize by nberth
September 19, 2023 09:25 39m 38s nberth:import-tests
nberth:import-tests
September 19, 2023 09:25 39m 38s
Import tests and fix some fields in drom.toml Main Workflow #74: Pull request #11 synchronize by nberth
September 19, 2023 09:20 41m 20s nberth:import-tests
nberth:import-tests
September 19, 2023 09:20 41m 20s
Import tests and fix some fields in drom.toml Main Workflow #73: Pull request #11 synchronize by nberth
September 19, 2023 09:19 43m 39s nberth:import-tests
nberth:import-tests
September 19, 2023 09:19 43m 39s
Import tests and fix some fields in drom.toml Main Workflow #72: Pull request #11 synchronize by nberth
September 19, 2023 08:05 19m 23s nberth:import-tests
nberth:import-tests
September 19, 2023 08:05 19m 23s
LSP improvements Main Workflow #71: Pull request #13 synchronize by nberth
September 19, 2023 07:55 20m 19s nberth:lsp-improvements
nberth:lsp-improvements
September 19, 2023 07:55 20m 19s
Remove fold on ephemerons Main Workflow #70: Pull request #12 synchronize by nberth
September 19, 2023 07:46 1h 29m 40s nberth:remove-weak-fold
nberth:remove-weak-fold
September 19, 2023 07:46 1h 29m 40s
Remove fold on ephemerons Main Workflow #69: Pull request #12 synchronize by nberth
September 19, 2023 07:45 18m 39s nberth:remove-weak-fold
nberth:remove-weak-fold
September 19, 2023 07:45 18m 39s
LSP improvements Main Workflow #68: Pull request #13 synchronize by nberth
September 18, 2023 10:36 23m 17s nberth:lsp-improvements
nberth:lsp-improvements
September 18, 2023 10:36 23m 17s
Import tests and fix some fields in drom.toml Main Workflow #67: Pull request #11 synchronize by nberth
September 18, 2023 10:29 22m 57s nberth:import-tests
nberth:import-tests
September 18, 2023 10:29 22m 57s
Actually copy superbol-free executable after build Main Workflow #66: Pull request #14 opened by nberth
September 18, 2023 09:53 20m 58s nberth:copy-bins
nberth:copy-bins
September 18, 2023 09:53 20m 58s
Add opam files for cross compilation on OSX and Windows Main Workflow #65: Commit 3799001 pushed by lefessan
September 17, 2023 20:28 18m 3s master
master
September 17, 2023 20:28 18m 3s
Move menhir version to 20230415 to ease windows cross compilation Main Workflow #64: Commit 2368621 pushed by lefessan
September 17, 2023 19:49 21m 22s master
master
September 17, 2023 19:49 21m 22s
Remove vscode from cross opam files Main Workflow #63: Commit f9a344a pushed by lefessan
September 17, 2023 19:40 17m 38s master
master
September 17, 2023 19:40 17m 38s
LSP improvements Main Workflow #62: Pull request #13 opened by nberth
September 15, 2023 15:18 30m 52s nberth:lsp-improvements
nberth:lsp-improvements
September 15, 2023 15:18 30m 52s
ProTip! You can narrow down the results and go further in time using created:<2023-09-15 or the other filters available.