Skip to content

Actions: imandra-ai/Zarith

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
3 workflow runs
3 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

turn off additional warnings for compatability CI #3: Commit 11f1a8e pushed by actionshrimp
October 9, 2023 12:32 2m 18s duniverse-v1.13
duniverse-v1.13
October 9, 2023 12:32 2m 18s
wip CI #2: Commit 480c7b3 pushed by actionshrimp
October 9, 2023 12:24 1m 46s duniverse-v1.13
duniverse-v1.13
October 9, 2023 12:24 1m 46s
Dunify the build CI #1: Commit e912211 pushed by crvdgc
October 9, 2023 10:12 56s duniverse-v1.13
duniverse-v1.13
October 9, 2023 10:12 56s