Skip to content

Actions: coq-community/almost-full

Actions

Nix CI

Actions

Loading...

Show workflow options

Create status badge

nix-action.yml
6 workflow runs
6 workflow runs
Event

Filter by event
Status

Filter by status
Branch
Actor

Filter by actor
ci for 8.19 Nix CI #22: Commit 69e02c1 pushed by palmskog
December 30, 2023 09:23 4m 30s master
master
December 30, 2023 09:23 4m 30s
regenerate boilerplate Nix CI #21: Commit 0d8ebcf pushed by palmskog
December 28, 2023 14:42 1m 9s master
master
December 28, 2023 14:42 1m 9s
update nix-action from templates Nix CI #20: Commit 43a6c07 pushed by palmskog
October 15, 2023 19:24 1m 15s master
master
October 15, 2023 19:24 1m 15s
Merge pull request #9 from coq-community/meta-8.18 Nix CI #19: Commit cc5f9c6 pushed by palmskog
August 19, 2023 22:54 52s master
master
August 19, 2023 22:54 52s
update CI and other boilerplate for 8.18 Nix CI #18: Pull request #9 opened by palmskog
August 19, 2023 22:44 7m 51s meta-8.18
meta-8.18
August 19, 2023 22:44 7m 51s
update CI and other boilerplate for 8.18 Nix CI #17: Pull request #9 opened by palmskog
August 19, 2023 22:44 30s
August 19, 2023 22:44 30s