Skip to content

Actions: Kakadu/OCanren-basic-template

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
23 workflow runs
23 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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