Skip to content

Actions: rocq-community/micromega-plugin

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
117 workflow runs
117 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
Merge pull request #2 from proux01/update-opam Nix CI for bundle rocq-9.0 #26: Commit 14a3aa9 pushed by proux01
11m 26s master
master
11m 26s
Merge pull request #2 from proux01/update-opam Nix CI for bundle rocq-9.1 #32: Commit 14a3aa9 pushed by proux01
11m 38s master
master
11m 38s
Merge pull request #2 from proux01/update-opam Nix CI for bundle rocq-master #32: Commit 14a3aa9 pushed by proux01
12m 37s master
master
12m 37s
Merge pull request #2 from proux01/update-opam Nix CI for bundle rocq-9.2 #27: Commit 14a3aa9 pushed by proux01
11m 42s master
master
11m 42s
Update OPAM file Nix CI for bundle rocq-master #31: Pull request #2 opened by proux01
14m 7s
14m 7s
Update OPAM file Nix CI for bundle rocq-9.0 #25: Pull request #2 opened by proux01
9m 9s
9m 9s
Update OPAM file Nix CI for bundle rocq-9.2 #26: Pull request #2 opened by proux01
19m 47s
19m 47s
Update OPAM file Nix CI for bundle rocq-9.1 #31: Pull request #2 opened by proux01
15m 4s
15m 4s
[tify] generalises [zify] for an arbitrary type. Nix CI for bundle rocq-9.0 #24: Pull request #1 synchronize by proux01
8m 53s
8m 53s
[tify] generalises [zify] for an arbitrary type. Nix CI for bundle rocq-9.2 #25: Pull request #1 synchronize by proux01
17m 36s
17m 36s
[tify] generalises [zify] for an arbitrary type. Nix CI for bundle rocq-9.1 #30: Pull request #1 synchronize by proux01
19m 35s
19m 35s
[tify] generalises [zify] for an arbitrary type. Nix CI for bundle rocq-master #30: Pull request #1 synchronize by proux01
14m 4s
14m 4s
Add overlays Nix CI for bundle rocq-9.1 #29: Commit 4eddf25 pushed by proux01
19m 49s master
master
19m 49s
Add overlays Nix CI for bundle rocq-9.0 #23: Commit 4eddf25 pushed by proux01
8m 54s master
master
8m 54s
Add overlays Nix CI for bundle rocq-9.2 #24: Commit 4eddf25 pushed by proux01
20m 5s master
master
20m 5s
Add overlays Nix CI for bundle rocq-master #29: Commit 4eddf25 pushed by proux01
14m 21s master
master
14m 21s
[tify] generalises [zify] for an arbitrary type. Nix CI for bundle rocq-9.0 #22: Pull request #1 synchronize by proux01
8m 54s
8m 54s
[tify] generalises [zify] for an arbitrary type. Nix CI for bundle rocq-9.2 #23: Pull request #1 synchronize by proux01
18m 27s
18m 27s
[tify] generalises [zify] for an arbitrary type. Nix CI for bundle rocq-9.1 #28: Pull request #1 synchronize by proux01
19m 32s
19m 32s
[tify] generalises [zify] for an arbitrary type. Nix CI for bundle rocq-master #28: Pull request #1 synchronize by proux01
9m 41s
9m 41s
Add overlays Nix CI for bundle rocq-9.2 #22: Commit 550967c pushed by proux01
20m 56s master
master
20m 56s
Add overlays Nix CI for bundle rocq-master #27: Commit 550967c pushed by proux01
9m 37s master
master
9m 37s
Add overlays Nix CI for bundle rocq-9.1 #27: Commit 550967c pushed by proux01
17m 53s master
master
17m 53s
Add overlays Nix CI for bundle rocq-9.0 #21: Commit 550967c pushed by proux01
9m 4s master
master
9m 4s
[tify] generalises [zify] for an arbitrary type. Nix CI for bundle rocq-master #26: Pull request #1 synchronize by proux01
12m 58s
12m 58s