Skip to content

Actions: PLTools/OCanren

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
27 workflow runs
27 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Wildcards 2025 Build_PR #72: Pull request #177 synchronize by Kakadu
March 20, 2025 08:29 2m 54s Kakadu:wildcards-2025-forPR
Kakadu:wildcards-2025-forPR
March 20, 2025 08:29 2m 54s
Wildcards 2025 Build_PR #71: Pull request #177 opened by Kakadu
March 20, 2025 07:12 2m 48s Kakadu:wildcards-2025-forPR
Kakadu:wildcards-2025-forPR
March 20, 2025 07:12 2m 48s
Promote tests for issue #173 Build master #108: Commit 6999068 pushed by Kakadu
March 20, 2025 06:08 2m 47s master
master
March 20, 2025 06:08 2m 47s
Fix issue #173 (disequlaity crash) Build_PR #70: Pull request #174 synchronize by Kakadu
March 20, 2025 05:51 2m 57s disequality-issue1
disequality-issue1
March 20, 2025 05:51 2m 57s
Fix issue #173 (disequlaity crash) Build_PR #69: Pull request #174 synchronize by Kakadu
March 20, 2025 05:49 1m 36s disequality-issue1
disequality-issue1
March 20, 2025 05:49 1m 36s
Fix issue #173 (disequlaity crash) Build_PR #68: Pull request #174 synchronize by Kakadu
March 20, 2025 05:48 1m 19s disequality-issue1
disequality-issue1
March 20, 2025 05:48 1m 19s
Fix issue #173 (disequlaity crash) Build_PR #67: Pull request #174 synchronize by Kakadu
March 20, 2025 05:35 2m 51s disequality-issue1
disequality-issue1
March 20, 2025 05:35 2m 51s
CI: Better installation of GT Build master #107: Commit 25b25e8 pushed by Kakadu
March 20, 2025 05:08 2m 52s master
master
March 20, 2025 05:08 2m 52s
Towards annihilation of ppx_inline_test... Build master #106: Commit 7ee2a23 pushed by Kakadu
March 19, 2025 21:13 3m 5s master
master
March 19, 2025 21:13 3m 5s
ci: Use docker image kakadu18/ocaml:pltools Build master #105: Commit 363d2a5 pushed by Kakadu
March 19, 2025 20:46 2m 25s master
master
March 19, 2025 20:46 2m 25s
PPX: promote changes Build master #104: Commit d4a6aec pushed by Kakadu
March 19, 2025 20:33 1m 20s master
master
March 19, 2025 20:33 1m 20s
PPX: add attributes to all fully abstract definitions Build master #103: Commit 27c485b pushed by Kakadu
March 19, 2025 20:15 1m 29s master
master
March 19, 2025 20:15 1m 29s
Add test about rembero Build master #102: Commit 78b1502 pushed by Kakadu
February 3, 2025 16:17 9m 22s master
master
February 3, 2025 16:17 9m 22s
[chore] Update copyright years Build master #101: Commit 89cd528 pushed by Kakadu
January 31, 2025 13:35 9m 30s master
master
January 31, 2025 13:35 9m 30s
Fix issue #173 (disequlaity crash) Build_PR #66: Pull request #174 synchronize by Kakadu
January 12, 2025 17:10 9m 23s disequality-issue1
disequality-issue1
January 12, 2025 17:10 9m 23s
Fix issue #173 (disequlaity crash) Build_PR #65: Pull request #174 synchronize by Kakadu
January 12, 2025 10:19 9m 12s disequality-issue1
disequality-issue1
January 12, 2025 10:19 9m 12s
Fix issue #173 (disequlaity crash) Build_PR #64: Pull request #174 synchronize by Kakadu
January 12, 2025 07:56 9m 8s disequality-issue1
disequality-issue1
January 12, 2025 07:56 9m 8s
[ppx] Fix refier construction: better location error Build master #100: Commit 684ae81 pushed by Kakadu
December 24, 2024 16:01 9m 34s master
master
December 24, 2024 16:01 9m 34s
Fix issue #173 (disequlaity crash) Build_PR #63: Pull request #174 opened by Kakadu
December 24, 2024 11:17 9m 29s disequality-issue1
disequality-issue1
December 24, 2024 11:17 9m 29s
[ppx] Update ppx_tester to accept less arguments Build master #99: Commit 962312e pushed by Kakadu
December 17, 2024 15:24 9m 36s master
master
December 17, 2024 15:24 9m 36s
ppx_fresh: specialize for 2,3,4,5 variables Build master #98: Commit 5451910 pushed by Kakadu
December 4, 2024 16:29 9m 32s master
master
December 4, 2024 16:29 9m 32s
chore: More aliases in Std.Option and Std.List Build master #97: Commit 478b7ce pushed by Kakadu
December 4, 2024 13:13 9m 49s master
master
December 4, 2024 13:13 9m 49s
chore: fix warning in samples Build master #96: Commit e3f9e01 pushed by Kakadu
December 4, 2024 12:54 9m 20s master
master
December 4, 2024 12:54 9m 20s
Improve Format-ting of logic values Build master #95: Commit 5b349b5 pushed by Kakadu
August 25, 2024 10:30 9m 14s master
master
August 25, 2024 10:30 9m 14s
Disable a few tests which fail in OCaml 5 Build master #94: Commit 05c20d1 pushed by Kakadu
August 21, 2024 16:03 9m 20s master
master
August 21, 2024 16:03 9m 20s