Skip to content

Actions: rocq-community/hydra-battles

Actions

Nix CI for bundle default

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
nix-action-default.yml
6 workflow runs
6 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
5m 42s
5m 42s
Merge pull request #180 from coq-community/port_paramcoq_elpi Nix CI for bundle default #786: Commit ed8e604 pushed by proux01
42s master
master
42s
Port from paramcoq to elpi Nix CI for bundle default #785: Pull request #180 synchronize by proux01
44s port_paramcoq_elpi
port_paramcoq_elpi
44s
Port from paramcoq to elpi Nix CI for bundle default #784: Pull request #180 synchronize by proux01
48s
48s
Port from paramcoq to elpi Nix CI for bundle default #783: Pull request #180 synchronize by proux01
4m 5s
4m 5s
Port from paramcoq to elpi Nix CI for bundle default #782: Pull request #180 opened by proux01
4m 55s
4m 55s