Skip to content

Actions: coq-community/hydra-battles

Actions

Nix CI for bundle default

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
nix-action-default.yml
54 workflow runs
54 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

PR for branch legacy Nix CI for bundle default #787: Pull request #150 synchronize by proux01
January 22, 2025 14:02 5m 42s
January 22, 2025 14:02 5m 42s
Merge pull request #180 from coq-community/port_paramcoq_elpi Nix CI for bundle default #786: Commit ed8e604 pushed by proux01
January 22, 2025 14:02 42s master
master
January 22, 2025 14:02 42s
Port from paramcoq to elpi Nix CI for bundle default #785: Pull request #180 synchronize by proux01
January 22, 2025 13:51 44s port_paramcoq_elpi
port_paramcoq_elpi
January 22, 2025 13:51 44s
Port from paramcoq to elpi Nix CI for bundle default #784: Pull request #180 synchronize by proux01
January 22, 2025 13:51 48s
January 22, 2025 13:51 48s
Port from paramcoq to elpi Nix CI for bundle default #783: Pull request #180 synchronize by proux01
January 22, 2025 13:26 4m 5s
January 22, 2025 13:26 4m 5s
Port from paramcoq to elpi Nix CI for bundle default #782: Pull request #180 opened by proux01
January 22, 2025 13:01 4m 55s
January 22, 2025 13:01 4m 55s
PR for branch legacy Nix CI for bundle default #781: Pull request #150 synchronize by Casteran
February 19, 2024 16:01 11m 1s
February 19, 2024 16:01 11m 1s
small corrections Nix CI for bundle default #780: Commit 1c30f04 pushed by Casteran
February 19, 2024 16:01 13m 10s master
master
February 19, 2024 16:01 13m 10s
PR for branch legacy Nix CI for bundle default #779: Pull request #150 synchronize by Casteran
February 14, 2024 12:15 10m 48s
February 14, 2024 12:15 10m 48s
Merge branch 'master' of https://github.com/coq-community/hydra-battles Nix CI for bundle default #778: Commit a39d739 pushed by Casteran
February 14, 2024 12:15 10m 14s master
master
February 14, 2024 12:15 10m 14s
PR for branch legacy Nix CI for bundle default #777: Pull request #150 synchronize by Casteran
February 12, 2024 16:49 12m 30s
February 12, 2024 16:49 12m 30s
Update doc (#179) Nix CI for bundle default #776: Commit b6ec382 pushed by Casteran
February 12, 2024 16:49 12m 7s master
master
February 12, 2024 16:49 12m 7s
Update doc Nix CI for bundle default #775: Pull request #179 opened by Casteran
February 12, 2024 16:17 9m 2s
February 12, 2024 16:17 9m 2s
PR for branch legacy Nix CI for bundle default #774: Pull request #150 synchronize by Casteran
February 7, 2024 15:55 14m 8s
February 7, 2024 15:55 14m 8s
Update doc (#178) Nix CI for bundle default #773: Commit 01456ef pushed by Casteran
February 7, 2024 15:55 9m 22s master
master
February 7, 2024 15:55 9m 22s
Update doc Nix CI for bundle default #772: Pull request #178 opened by Casteran
February 7, 2024 15:34 15m 2s
February 7, 2024 15:34 15m 2s
PR for branch legacy Nix CI for bundle default #771: Pull request #150 synchronize by Casteran
January 29, 2024 18:53 9m 20s
January 29, 2024 18:53 9m 20s
Corrections in doc (#177) Nix CI for bundle default #770: Commit 7dfe5eb pushed by Casteran
January 29, 2024 18:53 12m 8s master
master
January 29, 2024 18:53 12m 8s
Corrections in doc Nix CI for bundle default #769: Pull request #177 opened by Casteran
January 29, 2024 17:55 9m 11s
January 29, 2024 17:55 9m 11s
E0 coercion Nix CI for bundle default #768: Pull request #176 opened by Casteran
January 29, 2024 17:21 5m 27s
January 29, 2024 17:21 5m 27s
PR for branch legacy Nix CI for bundle default #767: Pull request #150 synchronize by Casteran
January 28, 2024 13:04 12m 10s
January 28, 2024 13:04 12m 10s
Projection (#175) Nix CI for bundle default #766: Commit 8ecbc95 pushed by Casteran
January 28, 2024 13:04 12m 4s master
master
January 28, 2024 13:04 12m 4s
Projection Nix CI for bundle default #765: Pull request #175 opened by Casteran
January 28, 2024 12:47 15m 53s
January 28, 2024 12:47 15m 53s
PR for branch legacy Nix CI for bundle default #764: Pull request #150 synchronize by Casteran
January 26, 2024 12:32 12m 15s
January 26, 2024 12:32 12m 15s
Canon deprecate (#174) Nix CI for bundle default #763: Commit c7c44dc pushed by Casteran
January 26, 2024 12:32 12m 21s master
master
January 26, 2024 12:32 12m 21s