Skip to content

Actions: arolle/cakeml-translator-ci

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
4 workflow runs
4 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

ci: add release permissions
Nix CI #26: Commit 252bdf7 pushed by arolle
September 25, 2023 18:25 3m 40s main
September 25, 2023 18:25 3m 40s
correct path for artefact release
Nix CI #25: Commit a928533 pushed by arolle
September 25, 2023 18:03 4m 35s main
September 25, 2023 18:03 4m 35s
fix repository name for artefact publication
Nix CI #24: Commit 1e8cdd8 pushed by arolle
September 25, 2023 09:48 4m 2s main
September 25, 2023 09:48 4m 2s
init
Nix CI #23: Commit 22f8080 pushed by arolle
September 25, 2023 09:31 3m 54s main
September 25, 2023 09:31 3m 54s