Skip to content

Actions: PLTools/OCanren

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
43 workflow runs
43 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

PPX wildcard no longer depends on base Build master #118: Commit a4adec1 pushed by Kakadu
4m 45s master
master
4m 45s
Merge pull request #183 from PLTools/stream-iteration-cps Build master #117: Commit 2aba3e6 pushed by Kakadu
2m 28s master
master
2m 28s
Add stream function to get answers one-by one with continuation Build_PR #83: Pull request #183 opened by Kakadu
2m 25s stream-iteration-cps
stream-iteration-cps
2m 25s
Merge pull request #182 from PLTools/reify_in_state Build master #116: Commit 29c0bba pushed by Kakadu
3m 1s master
master
3m 1s
reify_in_state, is_ground, is_ground_bool (needed for JGS) Build_PR #82: Pull request #182 opened by Kakadu
3m 33s reify_in_state
reify_in_state
3m 33s
Merge pull request #177 from Kakadu/wildcards-2025-forPR Build master #115: Commit 3c8d403 pushed by Kakadu
2m 28s master
master
2m 28s
Wildcards 2025 Build_PR #81: Pull request #177 synchronize by Kakadu
4m 37s Kakadu:wildcards-2025-forPR
Kakadu:wildcards-2025-forPR
4m 37s
Implement variable ordering optimization Build_PR #80: Pull request #181 synchronize by ProgMiner
2m 15s ProgMiner:less-var
ProgMiner:less-var
2m 15s
Implement variable ordering optimization Build_PR #79: Pull request #181 opened by ProgMiner
2m 50s ProgMiner:less-var
ProgMiner:less-var
2m 50s
Add printer for Env.t for debugging Build_PR #78: Pull request #180 opened by ProgMiner
2m 9s ProgMiner:env-pp
ProgMiner:env-pp
2m 9s
Add a macro to make goal non-abstract Build master #114: Commit b27994a pushed by Kakadu
2m 9s master
master
2m 9s
[chore] allow ppxlib < 0.34 Build master #113: Commit 03c302a pushed by Kakadu
2m 9s master
master
2m 9s
Replace variable list with variable set in State.reify Build master #112: Commit 7501abf pushed by Kakadu
2m 37s master
master
2m 37s
CI: Tryin to fix dev-deps for GT Build master #111: Commit 455c0d1 pushed by Kakadu
2m 31s master
master
2m 31s
Format and refactor Build_PR #77: Pull request #179 opened by ProgMiner
3m 10s ProgMiner:rt-unify-format
ProgMiner:rt-unify-format
3m 10s
Increase ocaml version to 4.14.2 Build master #110: Commit 8d93032 pushed by Kakadu
2m 40s master
master
2m 40s
Bump OCaml version and fix some comments Build_PR #76: Pull request #178 synchronize by Kakadu
3m 13s ProgMiner:bump+comment
ProgMiner:bump+comment
3m 13s
Bump OCaml version and fix some comments Build_PR #75: Pull request #178 synchronize by ProgMiner
3m 21s ProgMiner:bump+comment
ProgMiner:bump+comment
3m 21s
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