Skip to content

Actions: MetaRocq/metarocq

Actions

Nix CI for bundle default

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
5 workflow runs
5 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Universes clause check Nix CI for bundle default #63: Pull request #704 synchronize by mattam82
1m 9s
1m 9s
Universes clause check Nix CI for bundle default #62: Pull request #704 synchronize by mattam82
59s
59s
Universes clause check Nix CI for bundle default #61: Pull request #704 synchronize by mattam82
1m 4s
1m 4s
Universes clause check Nix CI for bundle default #60: Pull request #704 synchronize by mattam82
1m 9s
1m 9s
Universes clause check Nix CI for bundle default #59: Pull request #704 synchronize by mattam82
1m 6s
1m 6s