Skip to content

Actions: coq-community/aac-tactics

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
124 workflow runs
124 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
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
pages build and deployment pages-build-deployment #21: by github-pages bot
May 4, 2024 21:33 22s gh-pages
gh-pages
May 4, 2024 21:33 22s
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
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
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
[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
[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
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
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
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
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. 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
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
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
pages build and deployment pages-build-deployment #20: by github-pages bot
March 1, 2024 13:29 23s gh-pages
gh-pages
March 1, 2024 13:29 23s
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
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
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 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 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 Nix CI #144: Pull request #136 synchronize by SkySkimmer
March 1, 2024 13:13 4m 38s
March 1, 2024 13:13 4m 38s