Skip to content

Actions: coq-community/aac-tactics

Actions

All workflows

Actions

Loading...

Showing runs from all workflows
85 workflow runs
85 workflow runs
Event

Filter by event
Status

Filter by status
Branch
Actor

Filter by actor
pages build and deployment pages-build-deployment #22: by github-pages bot
June 1, 2024 13:05 25s
June 1, 2024 13:05 25s
Merge pull request #143 from coq-community/canonical-ordering-master Docker CI #156: Commit aa70a2d pushed by palmskog
June 1, 2024 13:03 2m 11s master
master
June 1, 2024 13:03 2m 11s
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
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 Docker CI #155: Pull request #143 synchronize by palmskog
June 1, 2024 13:00 2m 5s canonical-ordering-master
canonical-ordering-master
June 1, 2024 13:00 2m 5s
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 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 in master Docker CI #154: Pull request #143 opened by palmskog
June 1, 2024 12:55 2m 13s canonical-ordering-master
canonical-ordering-master
June 1, 2024 12:55 2m 13s
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 Docker CI #153: Commit 10cd93d pushed by palmskog
June 1, 2024 12:48 14m 33s v8.19
v8.19
June 1, 2024 12:48 14m 33s
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 Docker CI #152: Commit 46abd8f pushed by palmskog
June 1, 2024 12:42 14m 50s v8.19
v8.19
June 1, 2024 12:42 14m 50s
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 Docker CI #151: Pull request #142 synchronize by palmskog
June 1, 2024 12:21 14m 31s canonical-ordering
canonical-ordering
June 1, 2024 12:21 14m 31s
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 Docker CI #150: Pull request #142 opened by palmskog
June 1, 2024 12:11 14m 23s canonical-ordering
canonical-ordering
June 1, 2024 12:11 14m 23s
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
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