Skip to content

Actions: Gbury/mSAT

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

remove travis file Build and Test #3: Commit 1496a48 pushed by c-cube
January 8, 2024 16:44 2m 0s master
master
January 8, 2024 16:44 2m 0s
fix: mdx is now ocaml-mdx Build and Test #2: Commit 3162668 pushed by c-cube
January 8, 2024 16:40 2m 22s master
master
January 8, 2024 16:40 2m 22s
add github actions Build and Test #1: Commit 6875acb pushed by c-cube
January 8, 2024 16:31 5m 21s master
master
January 8, 2024 16:31 5m 21s