Skip to content

Actions: PLTools/OCanren

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
17 workflow runs
17 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[ppx] Fix refier construction: better location error
Build master #100: Commit 684ae81 pushed by Kakadu
December 24, 2024 16:01 9m 34s 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
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
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
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
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
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
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
August 21, 2024 16:03 9m 20s
Polish opam file
Build master #93: Commit cc2f93d pushed by Kakadu
July 31, 2024 18:31 9m 27s master
July 31, 2024 18:31 9m 27s
Added condo2.
Build master #92: Commit 2026663 pushed by Kakadu
May 11, 2024 20:24 4m 2s master
May 11, 2024 20:24 4m 2s
Autoformat tests
Build master #91: Commit 4215a06 pushed by Kakadu
March 26, 2024 12:17 6m 39s master
March 26, 2024 12:17 6m 39s
rename Caml -> Stdlib
Build master #90: Commit 8476f23 pushed by Kakadu
March 26, 2024 11:39 6m 17s master
March 26, 2024 11:39 6m 17s
[chore] OCamlformat 0.26.1. Update copyrights
Build master #89: Commit 5279d98 pushed by Kakadu
March 26, 2024 11:34 5m 49s master
March 26, 2024 11:34 5m 49s
.mailmap
Build master #88: Commit da98b0c pushed by Kakadu
December 2, 2023 20:13 2m 30s master
December 2, 2023 20:13 2m 30s
Add ppx_tester
Build master #87: Commit a386619 pushed by Kakadu
September 24, 2023 12:50 3m 22s master
September 24, 2023 12:50 3m 22s
Update Read-the-docs manual
Build master #86: Commit 454a958 pushed by Kakadu
September 24, 2023 10:22 3m 4s master
September 24, 2023 10:22 3m 4s
Update installation instructions
Build master #85: Commit b537c3c pushed by Kakadu
August 30, 2023 17:28 6m 9s master
August 30, 2023 17:28 6m 9s