Skip to content

Actions: coq-community/almost-full

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
11 workflow runs
11 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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