Skip to content

Actions: coq-community/atbr

Actions

Docker CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
docker-action.yml
14 workflow runs
14 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #45 from ppedrot/rm-deprecated-coqlib Docker CI #43: Commit 47ac8fb pushed by ppedrot
October 21, 2024 16:37 3m 15s master
master
October 21, 2024 16:37 3m 15s
Remove code that has been deprecated for a while. Docker CI #42: Pull request #45 opened by ppedrot
October 21, 2024 16:25 3m 15s ppedrot:rm-deprecated-coqlib
ppedrot:rm-deprecated-coqlib
October 21, 2024 16:25 3m 15s
Adapt to https://github.com/coq/coq/pull/19530 Docker CI #41: Pull request #44 opened by proux01
September 17, 2024 09:40 2m 23s stdlib_repo
stdlib_repo
September 17, 2024 09:40 2m 23s
adapt boilerplate for Coq 8.20 Docker CI #40: Commit 1da8062 pushed by palmskog
June 30, 2024 08:18 2m 50s v8.20
v8.20
June 30, 2024 08:18 2m 50s
Merge pull request #43 from SkySkimmer/erelevance Docker CI #39: Commit 5e3f4fe pushed by ppedrot
April 23, 2024 17:14 2m 3s master
master
April 23, 2024 17:14 2m 3s
Adapt to coq/coq#18938 (EConstr.ERelevance) Docker CI #38: Pull request #43 opened by SkySkimmer
April 17, 2024 11:22 1m 53s SkySkimmer:erelevance
SkySkimmer:erelevance
April 17, 2024 11:22 1m 53s
Merge pull request #42 from coq-community/coq_18590 Docker CI #37: Commit 967cd0f pushed by palmskog
January 31, 2024 18:14 2m 49s master
master
January 31, 2024 18:14 2m 49s
Adapt to https://github.com/coq/coq/pull/18590 Docker CI #36: Pull request #42 opened by proux01
January 31, 2024 15:51 20m 30s coq_18590
coq_18590
January 31, 2024 15:51 20m 30s
add back docker action ci Docker CI #35: Commit 242d1f0 pushed by palmskog
December 30, 2023 00:12 2m 47s v8.19
v8.19
December 30, 2023 00:12 2m 47s
Merge pull request #41 from coq-community/fix-npeano-deprec Docker CI #34: Commit 39de8e4 pushed by palmskog
November 4, 2023 16:31 3m 26s master
master
November 4, 2023 16:31 3m 26s
remove use of deprecated NPeano module Docker CI #33: Pull request #41 opened by palmskog
November 4, 2023 16:26 4m 9s fix-npeano-deprec
fix-npeano-deprec
November 4, 2023 16:26 4m 9s
Merge pull request #40 from coq-community/fix-deprec Docker CI #32: Commit 861e53b pushed by palmskog
October 15, 2023 18:15 3m 19s master
master
October 15, 2023 18:15 3m 19s
fix arith deprecations Docker CI #31: Pull request #40 opened by palmskog
October 15, 2023 18:06 4m 12s fix-deprec
fix-deprec
October 15, 2023 18:06 4m 12s
CI should ignore updates to resources directory Docker CI #30: Commit cbdac60 pushed by palmskog
October 2, 2023 13:31 4m 30s master
master
October 2, 2023 13:31 4m 30s