Skip to content

Actions: joaosreis/ocaml-lattices

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

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