Skip to content

Actions: coq-community/atbr

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
15 workflow runs
15 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
adapt boilerplate for 8.19 Nix CI #1: Commit 3aebc63 pushed by palmskog
December 28, 2023 17:42 1m 1s v8.19
v8.19
December 28, 2023 17:42 1m 1s
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