Skip to content

Actions: joaosreis/ocaml-lattices

Actions

Build & run tests

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
main.yml
2 workflow runs
2 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Reformat Build & run tests #12: Commit 1c338db pushed by joaosreis
January 19, 2025 11:37 26s master
master
January 19, 2025 11:37 26s
Add initial flake configuration and lock file Build & run tests #11: Commit b7b0c00 pushed by joaosreis
January 12, 2025 19:18 24s master
master
January 12, 2025 19:18 24s