Skip to content

Actions: PLTools/OCanren

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
44 workflow runs
44 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Wildcards 2025 Build_PR #73: Pull request #177 synchronize by Kakadu
3m 4s Kakadu:wildcards-2025-forPR
Kakadu:wildcards-2025-forPR
3m 4s
[fix] perf regression. Don't do occurs check twice Build master #109: Commit d12e081 pushed by Kakadu
2m 56s master
master
2m 56s
Wildcards 2025 Build_PR #72: Pull request #177 synchronize by Kakadu
2m 54s Kakadu:wildcards-2025-forPR
Kakadu:wildcards-2025-forPR
2m 54s
Wildcards 2025 Build_PR #71: Pull request #177 opened by Kakadu
2m 48s Kakadu:wildcards-2025-forPR
Kakadu:wildcards-2025-forPR
2m 48s
Promote tests for issue #173 Build master #108: Commit 6999068 pushed by Kakadu
2m 47s master
master
2m 47s
Fix issue #173 (disequlaity crash) Build_PR #70: Pull request #174 synchronize by Kakadu
2m 57s disequality-issue1
disequality-issue1
2m 57s
Fix issue #173 (disequlaity crash) Build_PR #69: Pull request #174 synchronize by Kakadu
1m 36s disequality-issue1
disequality-issue1
1m 36s
Fix issue #173 (disequlaity crash) Build_PR #68: Pull request #174 synchronize by Kakadu
1m 19s disequality-issue1
disequality-issue1
1m 19s
Fix issue #173 (disequlaity crash) Build_PR #67: Pull request #174 synchronize by Kakadu
2m 51s disequality-issue1
disequality-issue1
2m 51s
CI: Better installation of GT Build master #107: Commit 25b25e8 pushed by Kakadu
2m 52s master
master
2m 52s
Towards annihilation of ppx_inline_test... Build master #106: Commit 7ee2a23 pushed by Kakadu
3m 5s master
master
3m 5s
ci: Use docker image kakadu18/ocaml:pltools Build master #105: Commit 363d2a5 pushed by Kakadu
2m 25s master
master
2m 25s
PPX: promote changes Build master #104: Commit d4a6aec pushed by Kakadu
1m 20s master
master
1m 20s
PPX: add attributes to all fully abstract definitions Build master #103: Commit 27c485b pushed by Kakadu
1m 29s master
master
1m 29s
Add test about rembero Build master #102: Commit 78b1502 pushed by Kakadu
9m 22s master
master
9m 22s
[chore] Update copyright years Build master #101: Commit 89cd528 pushed by Kakadu
9m 30s master
master
9m 30s
Fix issue #173 (disequlaity crash) Build_PR #66: Pull request #174 synchronize by Kakadu
9m 23s disequality-issue1
disequality-issue1
9m 23s
Fix issue #173 (disequlaity crash) Build_PR #65: Pull request #174 synchronize by Kakadu
9m 12s disequality-issue1
disequality-issue1
9m 12s
Fix issue #173 (disequlaity crash) Build_PR #64: Pull request #174 synchronize by Kakadu
9m 8s disequality-issue1
disequality-issue1
9m 8s