Skip to content

Actions: rocq-community/micromega-plugin

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
272 workflow runs
272 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
[tify] generalises [zify] for an arbitrary type. Nix CI for bundle rocq-9.3 #9: Pull request #1 synchronize by proux01
15m 11s tify
tify
15m 11s
[tify] generalises [zify] for an arbitrary type. Nix CI for bundle rocq-master #70: Pull request #1 synchronize by proux01
8m 2s tify
tify
8m 2s
[tify] generalises [zify] for an arbitrary type. Nix CI for bundle rocq-9.2 #65: Pull request #1 synchronize by proux01
16m 3s tify
tify
16m 3s
[tify] generalises [zify] for an arbitrary type. Nix CI for bundle rocq-9.0 #60: Pull request #1 synchronize by proux01
9m 57s
9m 57s
[tify] generalises [zify] for an arbitrary type. Nix CI for bundle rocq-master #69: Pull request #1 synchronize by proux01
7m 56s
7m 56s
[tify] generalises [zify] for an arbitrary type. Nix CI for bundle rocq-9.1 #68: Pull request #1 synchronize by proux01
3m 0s
3m 0s
[tify] generalises [zify] for an arbitrary type. Nix CI for bundle rocq-9.2 #64: Pull request #1 synchronize by proux01
12m 59s
12m 59s
[tify] generalises [zify] for an arbitrary type. Nix CI for bundle rocq-9.3 #8: Pull request #1 synchronize by proux01
13m 14s
13m 14s
Merge pull request #10 from proux01/dune-rocq Nix CI for bundle rocq-9.0 #59: Commit 1b44bd2 pushed by proux01
2m 13s master
master
2m 13s
Merge pull request #10 from proux01/dune-rocq Nix CI for bundle rocq-9.1 #67: Commit 1b44bd2 pushed by proux01
1m 57s master
master
1m 57s
Merge pull request #10 from proux01/dune-rocq Nix CI for bundle rocq-master #68: Commit 1b44bd2 pushed by proux01
2m 13s master
master
2m 13s
Merge pull request #10 from proux01/dune-rocq Nix CI for bundle rocq-9.3 #7: Commit 1b44bd2 pushed by proux01
3m 4s master
master
3m 4s
Merge pull request #10 from proux01/dune-rocq Nix CI for bundle rocq-9.2 #63: Commit 1b44bd2 pushed by proux01
3m 15s master
master
3m 15s
Use dune new rocq language Nix CI for bundle rocq-9.0 #58: Pull request #10 opened by proux01
2m 27s
2m 27s
Use dune new rocq language Nix CI for bundle rocq-master #67: Pull request #10 opened by proux01
2m 39s
2m 39s
Use dune new rocq language Nix CI for bundle rocq-9.1 #66: Pull request #10 opened by proux01
2m 40s
2m 40s
Use dune new rocq language Nix CI for bundle rocq-9.3 #6: Pull request #10 opened by proux01
7m 49s
7m 49s
Use dune new rocq language Nix CI for bundle rocq-9.2 #62: Pull request #10 opened by proux01
8m 32s
8m 32s
[tify] generalises [zify] for an arbitrary type. Nix CI for bundle rocq-9.3 #5: Pull request #1 synchronize by proux01
3m 18s tify
tify
3m 18s
[tify] generalises [zify] for an arbitrary type. Nix CI for bundle rocq-9.2 #61: Pull request #1 synchronize by proux01
2m 56s tify
tify
2m 56s
[tify] generalises [zify] for an arbitrary type. Nix CI for bundle rocq-master #66: Pull request #1 synchronize by proux01
3m 11s tify
tify
3m 11s
[tify] generalises [zify] for an arbitrary type. Nix CI for bundle rocq-9.1 #65: Pull request #1 synchronize by proux01
2m 46s
2m 46s
[tify] generalises [zify] for an arbitrary type. Nix CI for bundle rocq-9.2 #60: Pull request #1 synchronize by proux01
2m 42s
2m 42s
[tify] generalises [zify] for an arbitrary type. Nix CI for bundle rocq-master #65: Pull request #1 synchronize by proux01
2m 52s
2m 52s
[tify] generalises [zify] for an arbitrary type. Nix CI for bundle rocq-9.0 #57: Pull request #1 synchronize by proux01
2m 46s
2m 46s