Skip to content

Actions: coq-community/chapar

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
8 workflow runs
8 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

ci for 8.19 Nix CI #46: Commit 0553daf pushed by palmskog
December 30, 2023 09:29 5m 16s master
master
December 30, 2023 09:29 5m 16s
ci for 8.19 Docker CI #36: Commit 0553daf pushed by palmskog
December 30, 2023 09:29 11m 4s master
master
December 30, 2023 09:29 11m 4s
update changelog Docker CI #35: Commit c32df70 pushed by palmskog
December 28, 2023 10:09 10m 43s master
master
December 28, 2023 10:09 10m 43s
update changelog Nix CI #45: Commit c32df70 pushed by palmskog
December 28, 2023 10:09 5m 20s master
master
December 28, 2023 10:09 5m 20s
Merge pull request #31 from coq-community/fix-8.19 Docker CI #34: Commit 9cf9d2e pushed by palmskog
December 23, 2023 18:08 10m 36s master
master
December 23, 2023 18:08 10m 36s
Merge pull request #31 from coq-community/fix-8.19 Nix CI #44: Commit 9cf9d2e pushed by palmskog
December 23, 2023 18:08 43s master
master
December 23, 2023 18:08 43s
compatibility with 8.19 and beyond Docker CI #33: Pull request #31 opened by palmskog
December 23, 2023 17:55 10m 41s fix-8.19
fix-8.19
December 23, 2023 17:55 10m 41s
compatibility with 8.19 and beyond Nix CI #43: Pull request #31 opened by palmskog
December 23, 2023 17:55 5m 20s
December 23, 2023 17:55 5m 20s