Skip to content

Actions: rocq-community/micromega-plugin

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
254 workflow runs
254 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.2 #43: Pull request #1 synchronize by proux01
17m 46s tify
tify
17m 46s
[tify] generalises [zify] for an arbitrary type. Nix CI for bundle rocq-master #48: Pull request #1 synchronize by proux01
9m 46s tify
tify
9m 46s
[tify] generalises [zify] for an arbitrary type. Nix CI for bundle rocq-9.1 #48: Pull request #1 synchronize by proux01
18m 37s tify
tify
18m 37s
[tify] generalises [zify] for an arbitrary type. Nix CI for bundle rocq-9.0 #40: Pull request #1 synchronize by proux01
5m 12s tify
tify
5m 12s
[tify] generalises [zify] for an arbitrary type. Nix CI for bundle rocq-9.2 #42: Pull request #1 synchronize by proux01
7m 11s
7m 11s
[tify] generalises [zify] for an arbitrary type. Nix CI for bundle rocq-master #47: Pull request #1 synchronize by proux01
8m 26s
8m 26s
[tify] generalises [zify] for an arbitrary type. Nix CI for bundle rocq-9.0 #39: Pull request #1 synchronize by proux01
7m 35s
7m 35s
[tify] generalises [zify] for an arbitrary type. Nix CI for bundle rocq-9.1 #47: Pull request #1 synchronize by proux01
10m 13s
10m 13s
Merge pull request #6 from ppedrot/abstract-context-val Nix CI for bundle rocq-9.0 #38: Commit 24710e3 pushed by ppedrot
3m 12s master
master
3m 12s
Merge pull request #6 from ppedrot/abstract-context-val Nix CI for bundle rocq-9.2 #41: Commit 24710e3 pushed by ppedrot
3m 17s master
master
3m 17s
Merge pull request #6 from ppedrot/abstract-context-val Nix CI for bundle rocq-9.1 #46: Commit 24710e3 pushed by ppedrot
4m 23s master
master
4m 23s
Merge pull request #6 from ppedrot/abstract-context-val Nix CI for bundle rocq-master #46: Commit 24710e3 pushed by ppedrot
3m 12s master
master
3m 12s
Adapt to rocq-prover/rocq#22090. Nix CI for bundle rocq-9.2 #40: Pull request #6 opened by ppedrot
3m 56s
3m 56s
Adapt to rocq-prover/rocq#22090. Nix CI for bundle rocq-9.1 #45: Pull request #6 opened by ppedrot
4m 27s
4m 27s
Adapt to rocq-prover/rocq#22090. Nix CI for bundle rocq-9.0 #37: Pull request #6 opened by ppedrot
3m 49s
3m 49s
Adapt to rocq-prover/rocq#22090. Nix CI for bundle rocq-master #45: Pull request #6 opened by ppedrot
1m 31s
1m 31s
[tify] generalises [zify] for an arbitrary type. Nix CI for bundle rocq-9.1 #44: Pull request #1 synchronize by proux01
14m 41s tify
tify
14m 41s
[tify] generalises [zify] for an arbitrary type. Nix CI for bundle rocq-9.2 #39: Pull request #1 synchronize by proux01
15m 18s tify
tify
15m 18s
[tify] generalises [zify] for an arbitrary type. Nix CI for bundle rocq-9.0 #36: Pull request #1 synchronize by proux01
2m 46s tify
tify
2m 46s
[tify] generalises [zify] for an arbitrary type. Nix CI for bundle rocq-master #44: Pull request #1 synchronize by proux01
8m 21s tify
tify
8m 21s
[tify] generalises [zify] for an arbitrary type. Nix CI for bundle rocq-master #43: Pull request #1 synchronize by proux01
7m 28s
7m 28s
[tify] generalises [zify] for an arbitrary type. Nix CI for bundle rocq-9.2 #38: Pull request #1 synchronize by proux01
6m 7s
6m 7s
[tify] generalises [zify] for an arbitrary type. Nix CI for bundle rocq-9.1 #43: Pull request #1 synchronize by proux01
5m 40s
5m 40s
[tify] generalises [zify] for an arbitrary type. Nix CI for bundle rocq-9.0 #35: Pull request #1 synchronize by proux01
3m 42s
3m 42s
[tify] generalises [zify] for an arbitrary type. Nix CI for bundle rocq-master #42: Pull request #1 synchronize by proux01
3m 36s tify
tify
3m 36s