Skip to content

Actions: coq-community/aac-tactics

Actions

Build and Deploy documentation

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
deploy-docs.yml
26 workflow runs
26 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Adapt to https://github.com/coq/coq/pull/19530 Build and Deploy documentation #42: Pull request #149 opened by proux01
September 17, 2024 09:37 2m 4s stdlib_repo
stdlib_repo
September 17, 2024 09:37 2m 4s
Merge pull request #148 from coq-community/coq_19310 Build and Deploy documentation #41: Commit 109af84 pushed by proux01
July 14, 2024 09:02 1m 52s master
master
July 14, 2024 09:02 1m 52s
Adapt to https://github.com/coq/coq/pull/19310 Build and Deploy documentation #40: Pull request #148 opened by proux01
July 14, 2024 08:53 1m 40s coq_19310
coq_19310
July 14, 2024 08:53 1m 40s
update changelog Build and Deploy documentation #39: Commit 10f7744 pushed by palmskog
June 29, 2024 22:15 1m 39s master
master
June 29, 2024 22:15 1m 39s
try to make tactics and their options clearer in the tutorial Build and Deploy documentation #38: Commit 3283df8 pushed by palmskog
June 29, 2024 20:46 1m 42s master
master
June 29, 2024 20:46 1m 42s
Merge pull request #145 from coq-community/add-try-test Build and Deploy documentation #37: Commit 5c133d3 pushed by palmskog
June 27, 2024 19:22 1m 49s master
master
June 27, 2024 19:22 1m 49s
add tests for try aac_rewrite and try aac_normalise Build and Deploy documentation #36: Pull request #145 opened by palmskog
June 27, 2024 18:52 2m 26s add-try-test
add-try-test
June 27, 2024 18:52 2m 26s
silence warning 67 in Dune build Build and Deploy documentation #35: Commit 8ba7a8b pushed by palmskog
June 20, 2024 22:04 24s master
master
June 20, 2024 22:04 24s
Merge pull request #143 from coq-community/canonical-ordering-master Build and Deploy documentation #34: Commit aa70a2d pushed by palmskog
June 1, 2024 13:03 1m 50s master
master
June 1, 2024 13:03 1m 50s
Canonical ordering for aac_normalise tactic in master Build and Deploy documentation #33: Pull request #143 synchronize by palmskog
June 1, 2024 13:00 1m 50s canonical-ordering-master
canonical-ordering-master
June 1, 2024 13:00 1m 50s
Canonical ordering for aac_normalise tactic in master Build and Deploy documentation #32: Pull request #143 opened by palmskog
June 1, 2024 12:55 1m 50s canonical-ordering-master
canonical-ordering-master
June 1, 2024 12:55 1m 50s
Canonical ordering for aac_normalise tactic Build and Deploy documentation #31: Pull request #142 opened by palmskog
June 1, 2024 12:11 2m 20s canonical-ordering
canonical-ordering
June 1, 2024 12:11 2m 20s
Merge pull request #140 from ejgallego/fix_declare_ml Build and Deploy documentation #30: Commit 22aceb2 pushed by palmskog
May 4, 2024 21:31 1m 58s master
master
May 4, 2024 21:31 1m 58s
[build] Fix use of plugin aliases in findlib loading. Build and Deploy documentation #29: Pull request #140 opened by ejgallego
May 4, 2024 21:04 1m 57s ejgallego:fix_declare_ml
ejgallego:fix_declare_ml
May 4, 2024 21:04 1m 57s
Merge pull request #139 from SkySkimmer/erelevance Build and Deploy documentation #28: Commit d29656d pushed by ppedrot
April 23, 2024 17:13 1m 50s master
master
April 23, 2024 17:13 1m 50s
Adapt to coq/coq#18938 (EConstr.ERelevance) Build and Deploy documentation #27: Pull request #139 opened by SkySkimmer
April 17, 2024 11:20 1m 51s SkySkimmer:erelevance
SkySkimmer:erelevance
April 17, 2024 11:20 1m 51s
Replace calls to "vm_compute in hyps" by plain calls to vm_compute. Build and Deploy documentation #26: Pull request #138 opened by silene
April 10, 2024 11:45 1m 48s silene:fix-vm-compute
silene:fix-vm-compute
April 10, 2024 11:45 1m 48s
Merge pull request #136 from SkySkimmer/retype Build and Deploy documentation #25: Commit d3f4d88 pushed by palmskog
March 1, 2024 13:27 1m 46s master
master
March 1, 2024 13:27 1m 46s
Some cleanups and fix incorrect evar map passing in aac_reflexivity Build and Deploy documentation #24: Pull request #136 synchronize by SkySkimmer
March 1, 2024 13:13 1m 50s SkySkimmer:retype
SkySkimmer:retype
March 1, 2024 13:13 1m 50s
Some cleanups and fix incorrect evar map passing in aac_reflexivity Build and Deploy documentation #23: Pull request #136 opened by SkySkimmer
March 1, 2024 13:02 1m 49s SkySkimmer:retype
SkySkimmer:retype
March 1, 2024 13:02 1m 49s
Merge pull request #134 from SkySkimmer/no-vm Build and Deploy documentation #22: Commit fcd4c3f pushed by palmskog
February 27, 2024 14:10 1m 50s master
master
February 27, 2024 14:10 1m 50s
Don't use vmcast to convert the reified goal and actual goal Build and Deploy documentation #21: Pull request #134 synchronize by SkySkimmer
February 27, 2024 13:36 1m 45s SkySkimmer:no-vm
SkySkimmer:no-vm
February 27, 2024 13:36 1m 45s
Don't use vmcast to convert the reified goal and actual goal Build and Deploy documentation #20: Pull request #134 opened by SkySkimmer
February 26, 2024 13:24 1m 45s SkySkimmer:no-vm
SkySkimmer:no-vm
February 26, 2024 13:24 1m 45s
Merge pull request #132 from coq-community/fix-boilerplate Build and Deploy documentation #19: Commit 3fc2fb1 pushed by palmskog
December 22, 2023 14:41 1m 40s master
master
December 22, 2023 14:41 1m 40s
fix some boilerplate Build and Deploy documentation #18: Pull request #132 opened by palmskog
December 22, 2023 14:32 1m 46s fix-boilerplate
fix-boilerplate
December 22, 2023 14:32 1m 46s