Skip to content

Actions: coq-community/qarith-stern-brocot

Actions

Docker CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
docker-action.yml
8 workflow runs
8 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
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
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
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