Skip to content

Actions: coq-community/aac-tactics

Actions

Nix CI

Actions

Loading...
Loading

Showing runs from all workflows named Nix CI
39 workflow run results
39 workflow run results

Filter by Event

Loading

Filter by Status

Loading

Filter by Branch

Loading

Filter by Actor

Loading
Merge pull request #148 from coq-community/coq_19310 Nix CI #170: Commit 109af84 pushed by proux01
July 14, 2024 09:02 4m 18s master
master
July 14, 2024 09:02 4m 18s
Adapt to https://github.com/coq/coq/pull/19310 Nix CI #169: Pull request #148 opened by proux01
July 14, 2024 08:53 4m 14s
July 14, 2024 08:53 4m 14s
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