Skip to content

Actions: coq-community/aac-tactics

Actions

Docker CI

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Adapt to https://github.com/coq/coq/pull/19530 Docker CI #170: Pull request #149 opened by proux01
September 17, 2024 09:37 2m 21s stdlib_repo
stdlib_repo
September 17, 2024 09:37 2m 21s
Merge pull request #148 from coq-community/coq_19310 Docker CI #169: Commit 109af84 pushed by proux01
July 14, 2024 09:02 2m 9s master
master
July 14, 2024 09:02 2m 9s
Adapt to https://github.com/coq/coq/pull/19310 Docker CI #168: Pull request #148 opened by proux01
July 14, 2024 08:53 2m 2s coq_19310
coq_19310
July 14, 2024 08:53 2m 2s
update changelog Docker CI #167: Commit 10f7744 pushed by palmskog
June 29, 2024 22:15 2m 7s master
master
June 29, 2024 22:15 2m 7s
Merge pull request #147 from coq-community/v8.20+nix Docker CI #166: Commit 528ae4f pushed by palmskog
June 29, 2024 20:54 2m 10s v8.20
v8.20
June 29, 2024 20:54 2m 10s
reactivate Nix CI for 8.20 Docker CI #165: Pull request #147 opened by palmskog
June 29, 2024 20:51 2m 11s v8.20+nix
v8.20+nix
June 29, 2024 20:51 2m 11s
try to make tactics and their options clearer in the tutorial Docker CI #164: Commit 3283df8 pushed by palmskog
June 29, 2024 20:46 2m 5s master
master
June 29, 2024 20:46 2m 5s
add tests for try aac_rewrite and try aac_normalise Docker CI #163: Commit 251b7fa pushed by palmskog
June 27, 2024 19:23 2m 3s v8.20
v8.20
June 27, 2024 19:23 2m 3s
Merge pull request #145 from coq-community/add-try-test Docker CI #162: Commit 5c133d3 pushed by palmskog
June 27, 2024 19:22 2m 14s master
master
June 27, 2024 19:22 2m 14s
add tests for try aac_rewrite and try aac_normalise Docker CI #161: Pull request #145 opened by palmskog
June 27, 2024 18:52 2m 39s add-try-test
add-try-test
June 27, 2024 18:52 2m 39s
disable Nix CI Docker CI #160: Commit 2b36bb1 pushed by palmskog
June 21, 2024 07:50 2m 3s v8.20
v8.20
June 21, 2024 07:50 2m 3s
remove deploy-docs CI workflow Docker CI #159: Commit 39c484d pushed by palmskog
June 20, 2024 22:31 2m 8s v8.20
v8.20
June 20, 2024 22:31 2m 8s
update boilerplate for 8.20 Docker CI #158: Commit cb8f5d5 pushed by palmskog
June 20, 2024 22:05 21s v8.20
v8.20
June 20, 2024 22:05 21s
silence warning 67 in Dune build Docker CI #157: Commit 8ba7a8b pushed by palmskog
June 20, 2024 22:04 2m 10s master
master
June 20, 2024 22:04 2m 10s
Merge pull request #143 from coq-community/canonical-ordering-master Docker CI #156: Commit aa70a2d pushed by palmskog
June 1, 2024 13:03 2m 11s master
master
June 1, 2024 13:03 2m 11s
Canonical ordering for aac_normalise tactic in master Docker CI #155: Pull request #143 synchronize by palmskog
June 1, 2024 13:00 2m 5s canonical-ordering-master
canonical-ordering-master
June 1, 2024 13:00 2m 5s
Canonical ordering for aac_normalise tactic in master Docker CI #154: Pull request #143 opened by palmskog
June 1, 2024 12:55 2m 13s canonical-ordering-master
canonical-ordering-master
June 1, 2024 12:55 2m 13s
fix changelog URLs Docker CI #153: Commit 10cd93d pushed by palmskog
June 1, 2024 12:48 14m 33s v8.19
v8.19
June 1, 2024 12:48 14m 33s
Merge pull request #142 from coq-community/canonical-ordering Docker CI #152: Commit 46abd8f pushed by palmskog
June 1, 2024 12:42 14m 50s v8.19
v8.19
June 1, 2024 12:42 14m 50s
Canonical ordering for aac_normalise tactic Docker CI #151: Pull request #142 synchronize by palmskog
June 1, 2024 12:21 14m 31s canonical-ordering
canonical-ordering
June 1, 2024 12:21 14m 31s
Canonical ordering for aac_normalise tactic Docker CI #150: Pull request #142 opened by palmskog
June 1, 2024 12:11 14m 23s canonical-ordering
canonical-ordering
June 1, 2024 12:11 14m 23s
Merge pull request #140 from ejgallego/fix_declare_ml Docker CI #149: Commit 22aceb2 pushed by palmskog
May 4, 2024 21:31 2m 11s master
master
May 4, 2024 21:31 2m 11s
[build] Fix use of plugin aliases in findlib loading. Docker CI #148: Pull request #140 opened by ejgallego
May 4, 2024 21:04 2m 16s ejgallego:fix_declare_ml
ejgallego:fix_declare_ml
May 4, 2024 21:04 2m 16s
Merge pull request #139 from SkySkimmer/erelevance Docker CI #147: Commit d29656d pushed by ppedrot
April 23, 2024 17:13 2m 7s master
master
April 23, 2024 17:13 2m 7s
Adapt to coq/coq#18938 (EConstr.ERelevance) Docker CI #146: Pull request #139 opened by SkySkimmer
April 17, 2024 11:20 2m 4s SkySkimmer:erelevance
SkySkimmer:erelevance
April 17, 2024 11:20 2m 4s