Skip to content

Actions: coq-community/aac-tactics

Actions

Nix CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
nix-action.yml
37 workflow runs
37 workflow runs
Event

Filter by event

Loading
Status

Filter by status

Loading
Branch
Actor

Filter by actor

Loading
update changelog Nix CI #168: Commit 10f7744 pushed by palmskog
June 29, 2024 22:15 1m 9s master
master
June 29, 2024 22:15 1m 9s
Merge pull request #147 from coq-community/v8.20+nix Nix CI #167: Commit 528ae4f pushed by palmskog
June 29, 2024 20:54 42s v8.20
v8.20
June 29, 2024 20:54 42s
reactivate Nix CI for 8.20 Nix CI #166: Pull request #147 opened by palmskog
June 29, 2024 20:51 1m 6s v8.20+nix
v8.20+nix
June 29, 2024 20:51 1m 6s
try to make tactics and their options clearer in the tutorial Nix CI #165: Commit 3283df8 pushed by palmskog
June 29, 2024 20:46 4m 27s master
master
June 29, 2024 20:46 4m 27s
Merge pull request #145 from coq-community/add-try-test Nix CI #164: Commit 5c133d3 pushed by palmskog
June 27, 2024 19:22 47s master
master
June 27, 2024 19:22 47s
add tests for try aac_rewrite and try aac_normalise Nix CI #163: Pull request #145 opened by palmskog
June 27, 2024 18:52 1m 23s
June 27, 2024 18:52 1m 23s
remove deploy-docs CI workflow Nix CI #162: Commit 39c484d pushed by palmskog
June 20, 2024 22:31 19s v8.20
v8.20
June 20, 2024 22:31 19s
update boilerplate for 8.20 Nix CI #161: Commit cb8f5d5 pushed by palmskog
June 20, 2024 22:05 16s v8.20
v8.20
June 20, 2024 22:05 16s
silence warning 67 in Dune build Nix CI #160: Commit 8ba7a8b pushed by palmskog
June 20, 2024 22:04 18s master
master
June 20, 2024 22:04 18s
Merge pull request #143 from coq-community/canonical-ordering-master Nix CI #159: Commit aa70a2d pushed by palmskog
June 1, 2024 13:03 47s master
master
June 1, 2024 13:03 47s
Canonical ordering for aac_normalise tactic in master Nix CI #158: Pull request #143 synchronize by palmskog
June 1, 2024 13:00 1m 5s canonical-ordering-master
canonical-ordering-master
June 1, 2024 13:00 1m 5s
Canonical ordering for aac_normalise tactic in master Nix CI #157: Pull request #143 synchronize by palmskog
June 1, 2024 13:00 1m 9s
June 1, 2024 13:00 1m 9s
Canonical ordering for aac_normalise tactic in master Nix CI #156: Pull request #143 opened by palmskog
June 1, 2024 12:55 4m 30s
June 1, 2024 12:55 4m 30s
fix changelog URLs Nix CI #155: Commit 10cd93d pushed by palmskog
June 1, 2024 12:48 1m 15s v8.19
v8.19
June 1, 2024 12:48 1m 15s
Merge pull request #142 from coq-community/canonical-ordering Nix CI #154: Commit 46abd8f pushed by palmskog
June 1, 2024 12:42 40s v8.19
v8.19
June 1, 2024 12:42 40s
Canonical ordering for aac_normalise tactic Nix CI #153: Pull request #142 synchronize by palmskog
June 1, 2024 12:21 1m 12s canonical-ordering
canonical-ordering
June 1, 2024 12:21 1m 12s
Canonical ordering for aac_normalise tactic Nix CI #152: Pull request #142 synchronize by palmskog
June 1, 2024 12:21 1m 7s
June 1, 2024 12:21 1m 7s
Canonical ordering for aac_normalise tactic Nix CI #151: Pull request #142 opened by palmskog
June 1, 2024 12:11 1m 15s
June 1, 2024 12:11 1m 15s
Merge pull request #140 from ejgallego/fix_declare_ml Nix CI #150: Commit 22aceb2 pushed by palmskog
May 4, 2024 21:31 45s master
master
May 4, 2024 21:31 45s
[build] Fix use of plugin aliases in findlib loading. Nix CI #149: Pull request #140 opened by ejgallego
May 4, 2024 21:04 4m 27s
May 4, 2024 21:04 4m 27s
Merge pull request #139 from SkySkimmer/erelevance Nix CI #148: Commit d29656d pushed by ppedrot
April 23, 2024 17:13 4m 34s master
master
April 23, 2024 17:13 4m 34s
Adapt to coq/coq#18938 (EConstr.ERelevance) Nix CI #147: Pull request #139 opened by SkySkimmer
April 17, 2024 11:20 1m 1s
April 17, 2024 11:20 1m 1s
Replace calls to "vm_compute in hyps" by plain calls to vm_compute. Nix CI #146: Pull request #138 opened by silene
April 10, 2024 11:45 4m 38s
April 10, 2024 11:45 4m 38s
Merge pull request #136 from SkySkimmer/retype Nix CI #145: Commit d3f4d88 pushed by palmskog
March 1, 2024 13:27 40s master
master
March 1, 2024 13:27 40s
Some cleanups and fix incorrect evar map passing in aac_reflexivity Nix CI #144: Pull request #136 synchronize by SkySkimmer
March 1, 2024 13:13 4m 38s
March 1, 2024 13:13 4m 38s