Skip to content

Actions: Kakadu/OCanren-basic-template

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
25 workflow runs
25 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Build master Build master #49: Scheduled
9m 43s master
master
9m 43s
Build master Build master #48: Scheduled
9m 5s master
master
9m 5s
Build master Build master #47: Scheduled
9m 33s master
master
9m 33s
Build master Build master #46: Scheduled
9m 25s master
master
9m 25s
Build master Build master #45: Scheduled
9m 17s master
master
9m 17s
Build master Build master #44: Scheduled
9m 11s master
master
9m 11s
Build master Build master #43: Scheduled
9m 7s master
master
9m 7s
Build master Build master #42: Scheduled
9m 20s master
master
9m 20s
Build master Build master #41: Scheduled
9m 21s master
master
9m 21s
Build master Build master #40: Scheduled
9m 23s master
master
9m 23s
Use both PPX and camlp5 in demo2 Build master #39: Commit 99d38fb pushed by Kakadu
9m 10s master
master
9m 10s
Polishing demo5 Build master #38: Commit a4c0731 pushed by Kakadu
7m 45s master
master
7m 45s
Build master Build master #37: Scheduled
52s master
master
52s
Build master Build master #36: Scheduled
4m 49s master
master
4m 49s
Build master Build master #35: Scheduled
4m 50s master
master
4m 50s
CI Build master #34: Commit 93959af pushed by Kakadu
4m 54s master
master
4m 54s
Promote tests Build master #33: Commit cc47bd4 pushed by Kakadu
1m 2s master
master
1m 2s
run some test programs in CI Build master #32: Commit a903cc9 pushed by Kakadu
1m 4s master
master
1m 4s
CI Build master #31: Commit 1c03025 pushed by Kakadu
4m 58s master
master
4m 58s
Promote tests Build master #30: Commit 3a43d52 pushed by Kakadu
4m 12s master
master
4m 12s
Fix compilation errors Build master #29: Commit 28d9469 pushed by Kakadu
4m 49s master
master
4m 49s
CI: change docker image Build master #28: Commit caa04ea pushed by Kakadu
7m 8s master
master
7m 8s
WIP CI Build master #27: Commit d6836cc pushed by Kakadu
1m 16s master
master
1m 16s
compile demo5 in a workflow too Build master #26: Commit d216ff2 pushed by Kakadu
53s master
master
53s
Fix example for new noCanren Build master #25: Commit ffe13d9 pushed by Kakadu
1m 6s master
master
1m 6s