Skip to content

Actions: OCamlPro/superbol-studio-oss

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Import debug extension Main Workflow #404: Pull request #123 synchronize by nberth
December 19, 2023 15:15 13m 30s nberth:import-debug-extension
nberth:import-debug-extension
December 19, 2023 15:15 13m 30s
Import debug extension Main Workflow #403: Pull request #123 opened by nberth
December 19, 2023 14:37 23m 31s nberth:import-debug-extension
nberth:import-debug-extension
December 19, 2023 14:37 23m 31s
New representation for data, and type-checking library Main Workflow #402: Pull request #119 synchronize by nberth
December 15, 2023 16:07 18m 59s nberth:new-data-n-typeck
nberth:new-data-n-typeck
December 15, 2023 16:07 18m 59s
Merge pull request #122 from lefessan/z-2023-12-13-fixes-switch-build Main Workflow #401: Commit 6e7c6d9 pushed by nberth
December 15, 2023 16:03 26m 20s master
master
December 15, 2023 16:03 26m 20s
New representation for data, and type-checking library Main Workflow #400: Pull request #119 synchronize by nberth
December 15, 2023 15:21 19m 19s nberth:new-data-n-typeck
nberth:new-data-n-typeck
December 15, 2023 15:21 19m 19s
New representation for data, and type-checking library Main Workflow #399: Pull request #119 synchronize by nberth
December 15, 2023 08:19 19m 23s nberth:new-data-n-typeck
nberth:new-data-n-typeck
December 15, 2023 08:19 19m 23s
New representation for data, and type-checking library Main Workflow #398: Pull request #119 synchronize by nberth
December 15, 2023 08:12 20m 45s nberth:new-data-n-typeck
nberth:new-data-n-typeck
December 15, 2023 08:12 20m 45s
New representation for data, and type-checking library Main Workflow #397: Pull request #119 synchronize by nberth
December 14, 2023 16:57 21m 49s nberth:new-data-n-typeck
nberth:new-data-n-typeck
December 14, 2023 16:57 21m 49s
fixes around switch build Main Workflow #396: Pull request #122 synchronize by lefessan
December 13, 2023 16:42 20m 25s lefessan:z-2023-12-13-fixes-switch-build
lefessan:z-2023-12-13-fixes-switch-build
December 13, 2023 16:42 20m 25s
fixes around switch build Main Workflow #395: Pull request #122 opened by lefessan
December 13, 2023 16:38 19m 17s lefessan:z-2023-12-13-fixes-switch-build
lefessan:z-2023-12-13-fixes-switch-build
December 13, 2023 16:38 19m 17s
Merge pull request #121 from ddeclerck/debugging_adjustments Main Workflow #394: Commit e8caddb pushed by nberth
December 7, 2023 14:55 19m 26s master
master
December 7, 2023 14:55 19m 26s
New representation for data, and type-checking library Main Workflow #393: Pull request #119 synchronize by nberth
December 7, 2023 11:00 17m 27s nberth:new-data-n-typeck
nberth:new-data-n-typeck
December 7, 2023 11:00 17m 27s
New representation for data, and type-checking library Main Workflow #392: Pull request #119 synchronize by nberth
December 6, 2023 12:56 6h 0m 14s nberth:new-data-n-typeck
nberth:new-data-n-typeck
December 6, 2023 12:56 6h 0m 14s
New representation for data, and type-checking library Main Workflow #391: Pull request #119 synchronize by nberth
December 6, 2023 09:10 14m 58s nberth:new-data-n-typeck
nberth:new-data-n-typeck
December 6, 2023 09:10 14m 58s
New representation for data, and type-checking library Main Workflow #390: Pull request #119 synchronize by nberth
December 6, 2023 09:02 14m 36s nberth:new-data-n-typeck
nberth:new-data-n-typeck
December 6, 2023 09:02 14m 36s
New representation for data, and type-checking library Main Workflow #389: Pull request #119 synchronize by nberth
December 5, 2023 16:24 20m 45s nberth:new-data-n-typeck
nberth:new-data-n-typeck
December 5, 2023 16:24 20m 45s
New representation for data, and type-checking library Main Workflow #388: Pull request #119 synchronize by nberth
December 5, 2023 14:31 16m 4s nberth:new-data-n-typeck
nberth:new-data-n-typeck
December 5, 2023 14:31 16m 4s
New representation for data, and type-checking library Main Workflow #387: Pull request #119 synchronize by nberth
December 5, 2023 12:54 14m 0s nberth:new-data-n-typeck
nberth:new-data-n-typeck
December 5, 2023 12:54 14m 0s
New representation for data, and type-checking library Main Workflow #386: Pull request #119 synchronize by nberth
December 5, 2023 12:41 10m 20s nberth:new-data-n-typeck
nberth:new-data-n-typeck
December 5, 2023 12:41 10m 20s
New representation for data, and type-checking library Main Workflow #385: Pull request #119 synchronize by nberth
December 5, 2023 10:57 17m 16s nberth:new-data-n-typeck
nberth:new-data-n-typeck
December 5, 2023 10:57 17m 16s
New representation for data, and type-checking library Main Workflow #384: Pull request #119 synchronize by nberth
December 5, 2023 10:37 39m 53s nberth:new-data-n-typeck
nberth:new-data-n-typeck
December 5, 2023 10:37 39m 53s
Some adjustment for debugging Main Workflow #383: Pull request #121 opened by ddeclerck
December 5, 2023 08:28 27m 17s ddeclerck:debugging_adjustments
ddeclerck:debugging_adjustments
December 5, 2023 08:28 27m 17s
New representation for data, and type-checking library Main Workflow #382: Pull request #119 synchronize by nberth
December 4, 2023 16:06 15m 58s nberth:new-data-n-typeck
nberth:new-data-n-typeck
December 4, 2023 16:06 15m 58s
New representation for data, and type-checking library Main Workflow #381: Pull request #119 synchronize by nberth
December 4, 2023 14:42 27m 15s nberth:new-data-n-typeck
nberth:new-data-n-typeck
December 4, 2023 14:42 27m 15s
Merge pull request #120 from nberth/fix-caret Main Workflow #380: Commit dda19aa pushed by nberth
December 1, 2023 09:16 21m 53s master
master
December 1, 2023 09:16 21m 53s
ProTip! You can narrow down the results and go further in time using created:<2023-12-01 or the other filters available.