Skip to content

Actions: coq-community/aac-tactics

Actions

Docker CI

Actions

Loading...

Show workflow options

Create status badge

docker-action.yml
29 workflow runs
29 workflow runs
Event

Filter by event
Status

Filter by status
Branch
Actor

Filter by actor
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
Replace calls to "vm_compute in hyps" by plain calls to vm_compute. Docker CI #145: Pull request #138 opened by silene
April 10, 2024 11:45 2m 7s silene:fix-vm-compute
silene:fix-vm-compute
April 10, 2024 11:45 2m 7s
Merge pull request #136 from SkySkimmer/retype Docker CI #144: Commit d3f4d88 pushed by palmskog
March 1, 2024 13:27 2m 20s master
master
March 1, 2024 13:27 2m 20s
Some cleanups and fix incorrect evar map passing in aac_reflexivity Docker CI #143: Pull request #136 synchronize by SkySkimmer
March 1, 2024 13:13 2m 22s SkySkimmer:retype
SkySkimmer:retype
March 1, 2024 13:13 2m 22s
Some cleanups and fix incorrect evar map passing in aac_reflexivity Docker CI #142: Pull request #136 opened by SkySkimmer
March 1, 2024 13:02 2m 15s SkySkimmer:retype
SkySkimmer:retype
March 1, 2024 13:02 2m 15s
Merge pull request #134 from SkySkimmer/no-vm Docker CI #141: Commit fcd4c3f pushed by palmskog
February 27, 2024 14:10 2m 8s master
master
February 27, 2024 14:10 2m 8s
Don't use vmcast to convert the reified goal and actual goal Docker CI #140: Pull request #134 synchronize by SkySkimmer
February 27, 2024 13:36 2m 14s SkySkimmer:no-vm
SkySkimmer:no-vm
February 27, 2024 13:36 2m 14s
Don't use vmcast to convert the reified goal and actual goal Docker CI #139: Pull request #134 opened by SkySkimmer
February 26, 2024 13:24 2m 7s SkySkimmer:no-vm
SkySkimmer:no-vm
February 26, 2024 13:24 2m 7s
add back docker action Docker CI #138: Commit 2b5fbf9 pushed by palmskog
December 29, 2023 23:56 1m 52s v8.19
v8.19
December 29, 2023 23:56 1m 52s
Merge pull request #132 from coq-community/fix-boilerplate Docker CI #137: Commit 3fc2fb1 pushed by palmskog
December 22, 2023 14:41 1m 57s master
master
December 22, 2023 14:41 1m 57s
fix some boilerplate Docker CI #136: Pull request #132 opened by palmskog
December 22, 2023 14:32 1m 57s fix-boilerplate
fix-boilerplate
December 22, 2023 14:32 1m 57s
update nix-action from templates Docker CI #135: Commit 059dd94 pushed by palmskog
October 15, 2023 19:20 2m 44s master
master
October 15, 2023 19:20 2m 44s
regular Docker Action configuration Docker CI #134: Commit 3bd63b6 pushed by palmskog
August 8, 2023 18:58 2m 20s v8.18
v8.18
August 8, 2023 18:58 2m 20s
ad-hoc Coq-Docker-Action config for 8.18 Docker CI #133: Commit c51f820 pushed by palmskog
August 3, 2023 22:03 29m 44s v8.18
v8.18
August 3, 2023 22:03 29m 44s
ad-hoc Coq-Docker-Action config for 8.18 Docker CI #132: Commit 27daf72 pushed by palmskog
August 3, 2023 21:38 22m 52s v8.18
v8.18
August 3, 2023 21:38 22m 52s