Skip to content

Actions: coq-community/qarith-stern-brocot

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
12 workflow runs
12 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

ci for 8.19 Docker CI #23: Commit 9400daf pushed by palmskog
December 30, 2023 09:49 2m 21s master
master
December 30, 2023 09:49 2m 21s
ci for 8.19 Nix CI #12: Commit 9400daf pushed by palmskog
December 30, 2023 09:49 1m 45s master
master
December 30, 2023 09:49 1m 45s
generate README.md from template Docker CI #22: Commit e9bda57 pushed by palmskog
December 23, 2023 18:00 2m 25s master
master
December 23, 2023 18:00 2m 25s
generate README.md from template Nix CI #11: Commit e9bda57 pushed by palmskog
December 23, 2023 18:00 1m 31s master
master
December 23, 2023 18:00 1m 31s
update nix-action from templates Docker CI #21: Commit c8639f1 pushed by palmskog
October 15, 2023 19:33 3m 23s master
master
October 15, 2023 19:33 3m 23s
update nix-action from templates Nix CI #10: Commit c8639f1 pushed by palmskog
October 15, 2023 19:33 1m 53s master
master
October 15, 2023 19:33 1m 53s
Merge pull request #19 from coq-community/fix-arith-deprec Docker CI #20: Commit d3807d3 pushed by palmskog
October 15, 2023 11:08 3m 14s master
master
October 15, 2023 11:08 3m 14s
fix Arith-related deprecations, notably for even-odd Docker CI #19: Pull request #19 synchronize by palmskog
October 15, 2023 11:02 3m 12s fix-arith-deprec
fix-arith-deprec
October 15, 2023 11:02 3m 12s
fix Arith-related deprecations, notably for even-odd Docker CI #18: Pull request #19 opened by palmskog
October 15, 2023 10:57 2m 54s fix-arith-deprec
fix-arith-deprec
October 15, 2023 10:57 2m 54s
Merge pull request #18 from coq-community/port-8.18 Docker CI #17: Commit 70e4104 pushed by palmskog
October 14, 2023 19:54 2m 57s master
master
October 14, 2023 19:54 2m 57s
port to Coq 8.18 and later Docker CI #16: Pull request #18 opened by palmskog
October 14, 2023 19:50 2m 53s port-8.18
port-8.18
October 14, 2023 19:50 2m 53s
port to Coq 8.18 and later Nix CI #9: Pull request #18 opened by palmskog
October 14, 2023 19:50 25s
October 14, 2023 19:50 25s