Skip to content

Actions: coq-community/buchberger

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
18 workflow runs
18 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
update nix-action from templates Nix CI #19: Commit 55ee2e8 pushed by palmskog
October 15, 2023 19:25 1m 26s master
master
October 15, 2023 19:25 1m 26s
update nix-action from templates Docker CI #33: Commit 55ee2e8 pushed by palmskog
October 15, 2023 19:25 3m 12s master
master
October 15, 2023 19:25 3m 12s
Merge pull request #17 from coq-community/port-8.18 Docker CI #32: Commit 85cbf60 pushed by palmskog
October 6, 2023 20:33 3m 15s master
master
October 6, 2023 20:33 3m 15s
port to 8.17 and 8.18, refresh metadata Docker CI #31: Pull request #17 synchronize by palmskog
October 6, 2023 20:30 3m 13s port-8.18
port-8.18
October 6, 2023 20:30 3m 13s
port to 8.17 and 8.18, refresh metadata Nix CI #18: Pull request #17 synchronize by palmskog
October 6, 2023 20:30 20s
October 6, 2023 20:30 20s
port to 8.17 and 8.18, refresh metadata Docker CI #30: Pull request #17 opened by palmskog
October 6, 2023 20:24 2m 44s port-8.18
port-8.18
October 6, 2023 20:24 2m 44s
port to 8.17 and 8.18, refresh metadata Nix CI #17: Pull request #17 opened by palmskog
October 6, 2023 20:24 20s port-8.18
port-8.18
October 6, 2023 20:24 20s
port to 8.17 and 8.18, refresh metadata Nix CI #16: Pull request #17 opened by palmskog
October 6, 2023 20:24 22s
October 6, 2023 20:24 22s