Skip to content

Actions: coq-community/aac-tactics

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
123 workflow runs
123 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

pages build and deployment pages-build-deployment #20: by github-pages bot
March 1, 2024 13:29 23s
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
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
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
Some cleanups and fix incorrect evar map passing in aac_reflexivity Nix CI #143: Pull request #136 opened by SkySkimmer
March 1, 2024 13:02 4m 31s
March 1, 2024 13:02 4m 31s
pages build and deployment pages-build-deployment #19: by github-pages bot
February 27, 2024 14:12 31s
February 27, 2024 14:12 31s
Merge pull request #134 from SkySkimmer/no-vm Nix CI #142: Commit fcd4c3f pushed by palmskog
February 27, 2024 14:10 4m 39s master
master
February 27, 2024 14:10 4m 39s
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
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 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 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 Nix CI #141: Pull request #134 synchronize by SkySkimmer
February 27, 2024 13:36 4m 29s
February 27, 2024 13:36 4m 29s
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
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
Don't use vmcast to convert the reified goal and actual goal Nix CI #140: Pull request #134 opened by SkySkimmer
February 26, 2024 13:24 4m 38s
February 26, 2024 13:24 4m 38s
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
add back docker action Nix CI #139: Commit 2b5fbf9 pushed by palmskog
December 29, 2023 23:56 1m 10s v8.19
v8.19
December 29, 2023 23:56 1m 10s
pages build and deployment pages-build-deployment #18: by github-pages bot
December 22, 2023 14:43 30s
December 22, 2023 14:43 30s
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
Merge pull request #132 from coq-community/fix-boilerplate Nix CI #138: Commit 3fc2fb1 pushed by palmskog
December 22, 2023 14:41 39s master
master
December 22, 2023 14:41 39s