Skip to content

Actions: PLTools/OCanren

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
31 workflow runs
31 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fixing CI Build master #78: Commit 7140182 pushed by Kakadu
July 13, 2023 13:27 4m 58s master
master
July 13, 2023 13:27 4m 58s
CI: fixing compilation in presence of updated GT Build master #77: Commit ebd3501 pushed by Kakadu
July 13, 2023 13:17 1m 12s master
master
July 13, 2023 13:17 1m 12s
Many updates on [%%ocanren_inject...] Build_PR #54: Pull request #169 synchronize by Kakadu
July 13, 2023 13:05 3m 31s Kakadu:master+ppx-rec
Kakadu:master+ppx-rec
July 13, 2023 13:05 3m 31s
Update CI to use fresh version of GT Build master #76: Commit 0c02a30 pushed by Kakadu
July 13, 2023 13:04 3m 10s master
master
July 13, 2023 13:04 3m 10s
Many updates on [%%ocanren_inject...] Build_PR #53: Pull request #169 synchronize by Kakadu
July 13, 2023 12:56 3m 30s Kakadu:master+ppx-rec
Kakadu:master+ppx-rec
July 13, 2023 12:56 3m 30s
Many updates on [%%ocanren_inject...] Build_PR #52: Pull request #169 opened by Kakadu
July 13, 2023 12:49 2m 58s Kakadu:master+ppx-rec
Kakadu:master+ppx-rec
July 13, 2023 12:49 2m 58s