Skip to content

Actions: coq-community/hydra-battles

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
143 workflow runs
143 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

PR for branch legacy Nix CI for bundle default #723: Pull request #150 synchronize by Casteran
November 20, 2023 13:25 12m 17s
November 20, 2023 13:25 12m 17s
Changes to chapter 11; Renaming some symbols in Epsilon.E0 Nix CI for bundle default #722: Commit e40d386 pushed by Casteran
November 20, 2023 13:25 13m 35s master
master
November 20, 2023 13:25 13m 35s
Changes to chapter 11; Renaming some symbols in Epsilon.E0 Docker CI #515: Commit e40d386 pushed by Casteran
November 20, 2023 13:25 7m 44s master
master
November 20, 2023 13:25 7m 44s
pages build and deployment pages-build-deployment #206: by github-pages bot
November 17, 2023 10:35 36s gh-pages
gh-pages
November 17, 2023 10:35 36s
PR for branch legacy Nix CI for bundle default #721: Pull request #150 synchronize by Casteran
November 17, 2023 10:21 9m 21s
November 17, 2023 10:21 9m 21s
Corrections to chapter 11 (primitive recursive functions) Docker CI #514: Commit 37d6614 pushed by Casteran
November 17, 2023 10:21 7m 51s master
master
November 17, 2023 10:21 7m 51s
Corrections to chapter 11 (primitive recursive functions) Nix CI for bundle default #720: Commit 37d6614 pushed by Casteran
November 17, 2023 10:21 13m 31s master
master
November 17, 2023 10:21 13m 31s
pages build and deployment pages-build-deployment #205: by github-pages bot
November 15, 2023 11:24 37s gh-pages
gh-pages
November 15, 2023 11:24 37s
PR for branch legacy Nix CI for bundle default #719: Pull request #150 synchronize by Casteran
November 15, 2023 11:09 15m 16s
November 15, 2023 11:09 15m 16s
Fix a latex error Nix CI for bundle default #718: Commit 8da2143 pushed by Casteran
November 15, 2023 11:09 14m 58s master
master
November 15, 2023 11:09 14m 58s
Fix a latex error Docker CI #513: Commit 8da2143 pushed by Casteran
November 15, 2023 11:09 12m 0s master
master
November 15, 2023 11:09 12m 0s
PR for branch legacy Nix CI for bundle default #717: Pull request #150 synchronize by Casteran
November 15, 2023 10:32 23m 37s
November 15, 2023 10:32 23m 37s
Corrections to chapter 11 (coq and doc) Docker CI #512: Commit 2bb6d3f pushed by Casteran
November 15, 2023 10:32 12m 23s master
master
November 15, 2023 10:32 12m 23s
Corrections to chapter 11 (coq and doc) Nix CI for bundle default #716: Commit 2bb6d3f pushed by Casteran
November 15, 2023 10:32 31m 49s master
master
November 15, 2023 10:32 31m 49s
pages build and deployment pages-build-deployment #204: by github-pages bot
November 9, 2023 08:41 42s gh-pages
gh-pages
November 9, 2023 08:41 42s
PR for branch legacy Nix CI for bundle default #715: Pull request #150 synchronize by Casteran
November 9, 2023 08:24 11m 56s
November 9, 2023 08:24 11m 56s
Replaced misc.inj_right_pair2 with stdlib's Eqdep_dec.inj_pair2_eq_dec Docker CI #511: Commit 274a3ec pushed by Casteran
November 9, 2023 08:24 11m 12s master
master
November 9, 2023 08:24 11m 12s
Replaced misc.inj_right_pair2 with stdlib's Eqdep_dec.inj_pair2_eq_dec Nix CI for bundle default #714: Commit 274a3ec pushed by Casteran
November 9, 2023 08:24 17m 10s master
master
November 9, 2023 08:24 17m 10s