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

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 gh-pages
gh-pages
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 gh-pages
gh-pages
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
Merge pull request #132 from coq-community/fix-boilerplate Docker CI #137: Commit 3fc2fb1 pushed by palmskog
December 22, 2023 14:41 1m 57s master
master
December 22, 2023 14:41 1m 57s
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
fix some boilerplate Docker CI #136: Pull request #132 opened by palmskog
December 22, 2023 14:32 1m 57s fix-boilerplate
fix-boilerplate
December 22, 2023 14:32 1m 57s
fix some boilerplate Nix CI #137: Pull request #132 opened by palmskog
December 22, 2023 14:32 1m 8s
December 22, 2023 14:32 1m 8s
fix README.md Nix shield Nix CI #136: Commit 127f2d1 pushed by palmskog
December 22, 2023 11:02 1m 5s v8.19
v8.19
December 22, 2023 11:02 1m 5s
adjust Nix CI boilerplate Nix CI #135: Commit 4422871 pushed by palmskog
December 22, 2023 10:59 1m 18s v8.19
v8.19
December 22, 2023 10:59 1m 18s