Skip to content

Actions: PLTools/OCanren

Actions

Build master

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
master.yml
13 workflow runs
13 workflow runs

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Fixed constructors with module paths Build master #121: Commit 6577f08 pushed by dboulytchev
9m 4s master
master
9m 4s
Merge pull request #185 from PLTools/reverso+debug_var+bench Build master #120: Commit c0af772 pushed by Kakadu
8m 59s master
master
8m 59s
Merge pull request #184 from Kakadu/hypercube-sample Build master #119: Commit 8775ef0 pushed by Kakadu
9m 1s master
master
9m 1s
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
Merge pull request #182 from PLTools/reify_in_state Build master #116: Commit 29c0bba pushed by Kakadu
3m 1s master
master
3m 1s
Merge pull request #177 from Kakadu/wildcards-2025-forPR Build master #115: Commit 3c8d403 pushed by Kakadu
2m 28s master
master
2m 28s
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
Increase ocaml version to 4.14.2 Build master #110: Commit 8d93032 pushed by Kakadu
2m 40s master
master
2m 40s
[fix] perf regression. Don't do occurs check twice Build master #109: Commit d12e081 pushed by Kakadu
2m 56s master
master
2m 56s