Skip to content

Actions: rocq-community/hydra-battles

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
11 workflow runs
11 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

pages build and deployment pages-build-deployment #228: by github-pages bot
27s gh-pages
gh-pages
27s
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 Docker CI #555: Commit ed8e604 pushed by proux01
10m 40s master
master
10m 40s
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 Docker CI #554: Pull request #180 synchronize by proux01
10m 27s port_paramcoq_elpi
port_paramcoq_elpi
10m 27s
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 Docker CI #553: Pull request #180 synchronize by proux01
10m 44s port_paramcoq_elpi
port_paramcoq_elpi
10m 44s
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 Docker CI #552: Pull request #180 opened by proux01
4m 59s port_paramcoq_elpi
port_paramcoq_elpi
4m 59s
Port from paramcoq to elpi Nix CI for bundle default #782: Pull request #180 opened by proux01
4m 55s
4m 55s