Skip to content

Actions: PLTools/noCanren

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2 workflow runs
2 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fix some legacy stuff for compilation (no Base, fix camlp5) Build #69: Commit b193f2c pushed by Kakadu
August 25, 2024 13:50 10m 36s master
master
August 25, 2024 13:50 10m 36s
Added btv test. Build #68: Commit 527ad47 pushed by Lozov-Petr
July 3, 2024 13:57 9m 54s master
master
July 3, 2024 13:57 9m 54s