Skip to content

Actions: coq-community/buchberger

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
10 workflow runs
10 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

ci for 8.19 Docker CI #38: Commit 92f377a pushed by palmskog
December 30, 2023 09:36 2m 9s master
master
December 30, 2023 09:36 2m 9s
ci for 8.19 Nix CI #24: Commit 92f377a pushed by palmskog
December 30, 2023 09:36 1m 9s master
master
December 30, 2023 09:36 1m 9s
update changelog Nix CI #23: Commit fbad432 pushed by palmskog
December 28, 2023 12:52 1m 18s master
master
December 28, 2023 12:52 1m 18s
update changelog Docker CI #37: Commit fbad432 pushed by palmskog
December 28, 2023 12:52 2m 13s master
master
December 28, 2023 12:52 2m 13s
regenerate README.md from template Docker CI #36: Commit 6f5d96c pushed by palmskog
December 23, 2023 17:53 2m 16s master
master
December 23, 2023 17:53 2m 16s
regenerate README.md from template Nix CI #22: Commit 6f5d96c pushed by palmskog
December 23, 2023 17:53 1m 17s master
master
December 23, 2023 17:53 1m 17s
Merge pull request #18 from coq-community/fix-8.19 Nix CI #21: Commit c210fbf pushed by palmskog
December 23, 2023 17:51 42s master
master
December 23, 2023 17:51 42s
Merge pull request #18 from coq-community/fix-8.19 Docker CI #35: Commit c210fbf pushed by palmskog
December 23, 2023 17:51 2m 12s master
master
December 23, 2023 17:51 2m 12s
compatibility with 8.19 and beyond Docker CI #34: Pull request #18 opened by palmskog
December 23, 2023 17:48 2m 8s fix-8.19
fix-8.19
December 23, 2023 17:48 2m 8s
compatibility with 8.19 and beyond Nix CI #20: Pull request #18 opened by palmskog
December 23, 2023 17:48 1m 18s
December 23, 2023 17:48 1m 18s