Skip to content

Actions: coq-community/hydra-battles

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
176 workflow runs
176 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Small changes (#169) Nix CI for bundle default #730: Commit 2e46809 pushed by Casteran
November 27, 2023 07:57 10m 23s master
master
November 27, 2023 07:57 10m 23s
Small changes (#169) Docker CI #520: Commit 2e46809 pushed by Casteran
November 27, 2023 07:57 7m 55s master
master
November 27, 2023 07:57 7m 55s
Small changes Docker CI #519: Pull request #169 synchronize by Casteran
November 27, 2023 07:34 7m 50s SmallChanges
SmallChanges
November 27, 2023 07:34 7m 50s
Small changes Nix CI for bundle default #729: Pull request #169 synchronize by Casteran
November 27, 2023 07:34 13m 38s
November 27, 2023 07:34 13m 38s
Small changes Docker CI #518: Pull request #169 opened by Casteran
November 26, 2023 17:42 7m 16s SmallChanges
SmallChanges
November 26, 2023 17:42 7m 16s
Small changes Nix CI for bundle default #728: Pull request #169 opened by Casteran
November 26, 2023 17:42 4m 46s
November 26, 2023 17:42 4m 46s
pages build and deployment pages-build-deployment #209: by github-pages bot
November 23, 2023 08:29 31s gh-pages
gh-pages
November 23, 2023 08:29 31s
PR for branch legacy Nix CI for bundle default #727: Pull request #150 synchronize by Casteran
November 23, 2023 08:16 11m 24s
November 23, 2023 08:16 11m 24s
minor corrections Docker CI #517: Commit ed21e44 pushed by Casteran
November 23, 2023 08:16 7m 53s master
master
November 23, 2023 08:16 7m 53s
minor corrections Nix CI for bundle default #726: Commit ed21e44 pushed by Casteran
November 23, 2023 08:16 13m 7s master
master
November 23, 2023 08:16 13m 7s
pages build and deployment pages-build-deployment #208: by github-pages bot
November 20, 2023 20:58 35s gh-pages
gh-pages
November 20, 2023 20:58 35s
PR for branch legacy Nix CI for bundle default #725: Pull request #150 synchronize by Casteran
November 20, 2023 20:36 11m 40s
November 20, 2023 20:36 11m 40s
Try to test an issue with Alectryon snippets Nix CI for bundle default #724: Commit 01cce98 pushed by Casteran
November 20, 2023 20:36 8m 50s master
master
November 20, 2023 20:36 8m 50s
Try to test an issue with Alectryon snippets Docker CI #516: Commit 01cce98 pushed by Casteran
November 20, 2023 20:36 7m 48s master
master
November 20, 2023 20:36 7m 48s
pages build and deployment pages-build-deployment #207: by github-pages bot
November 20, 2023 13:39 28s gh-pages
gh-pages
November 20, 2023 13:39 28s
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