Skip to content

Actions: coq/stdlib

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
690 workflow runs
690 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Enable compilation with rocq makefile Basic checks #100: Pull request #105 synchronize by proux01
February 12, 2025 10:58 15s proux01:compile-make
proux01:compile-make
February 12, 2025 10:58 15s
Enable compilation with rocq makefile Nix CI for bundle rocq-9.0 #37: Pull request #105 synchronize by proux01
February 12, 2025 10:58 2h 31m 53s
February 12, 2025 10:58 2h 31m 53s
Enable compilation with rocq makefile Basic checks #99: Pull request #105 synchronize by proux01
February 12, 2025 10:25 12s proux01:compile-make
proux01:compile-make
February 12, 2025 10:25 12s
Enable compilation with rocq makefile Nix CI for bundle rocq-9.0 #36: Pull request #105 synchronize by proux01
February 12, 2025 10:25 32m 11s
February 12, 2025 10:25 32m 11s
Enable compilation with rocq makefile Nix CI for bundle rocq-master #36: Pull request #105 synchronize by proux01
February 12, 2025 10:25 32m 16s
February 12, 2025 10:25 32m 16s
Enable compilation with rocq makefile Basic checks #98: Pull request #105 opened by proux01
February 12, 2025 10:15 13s proux01:compile-make
proux01:compile-make
February 12, 2025 10:15 13s
Enable compilation with rocq makefile Nix CI for bundle rocq-9.0 #35: Pull request #105 opened by proux01
February 12, 2025 10:15 2m 24s
February 12, 2025 10:15 2m 24s
Enable compilation with rocq makefile Nix CI for bundle rocq-master #35: Pull request #105 opened by proux01
February 12, 2025 10:15 2m 43s
February 12, 2025 10:15 2m 43s
Merge pull request #104 from proux01/narith-base Nix CI for bundle rocq-master #34: Commit f1dae92 pushed by proux01
February 10, 2025 16:19 1h 36m 22s master
master
February 10, 2025 16:19 1h 36m 22s
Merge pull request #104 from proux01/narith-base Nix CI for bundle rocq-9.0 #34: Commit f1dae92 pushed by proux01
February 10, 2025 16:19 56m 32s master
master
February 10, 2025 16:19 56m 32s
Merge pull request #104 from proux01/narith-base Basic checks #97: Commit f1dae92 pushed by proux01
February 10, 2025 16:19 11s master
master
February 10, 2025 16:19 11s
Reexport NArithRing in NArith Basic checks #96: Pull request #104 opened by proux01
February 10, 2025 11:35 12s proux01:narith-base
proux01:narith-base
February 10, 2025 11:35 12s
Reexport NArithRing in NArith Nix CI for bundle rocq-9.0 #33: Pull request #104 opened by proux01
February 10, 2025 11:35 1h 50m 9s
February 10, 2025 11:35 1h 50m 9s
Reexport NArithRing in NArith Nix CI for bundle rocq-master #33: Pull request #104 opened by proux01
February 10, 2025 11:35 4h 33m 59s
February 10, 2025 11:35 4h 33m 59s
Merge pull request #2 from coq/clarify-structure Nix CI for bundle rocq-master #32: Commit c2dee97 pushed by proux01
February 3, 2025 07:52 35m 40s master
master
February 3, 2025 07:52 35m 40s
Merge pull request #2 from coq/clarify-structure Nix CI for bundle rocq-9.0 #32: Commit c2dee97 pushed by proux01
February 3, 2025 07:52 36m 17s master
master
February 3, 2025 07:52 36m 17s
Merge pull request #2 from coq/clarify-structure Basic checks #95: Commit c2dee97 pushed by proux01
February 3, 2025 07:52 12s master
master
February 3, 2025 07:52 12s
Clarify structure Nix CI for bundle rocq-master #31: Pull request #2 synchronize by proux01
February 2, 2025 17:39 2h 14m 29s clarify-structure
clarify-structure
February 2, 2025 17:39 2h 14m 29s
Clarify structure Nix CI for bundle rocq-9.0 #31: Pull request #2 synchronize by proux01
February 2, 2025 17:39 2h 12m 53s clarify-structure
clarify-structure
February 2, 2025 17:39 2h 12m 53s
Clarify structure Basic checks #94: Pull request #2 synchronize by proux01
February 2, 2025 17:39 14s clarify-structure
clarify-structure
February 2, 2025 17:39 14s
Clarify structure Nix CI for bundle rocq-master #30: Pull request #2 synchronize by proux01
February 2, 2025 17:39 2h 16m 17s
February 2, 2025 17:39 2h 16m 17s
Clarify structure Nix CI for bundle rocq-9.0 #30: Pull request #2 synchronize by proux01
February 2, 2025 17:39 2h 12m 22s
February 2, 2025 17:39 2h 12m 22s
Clarify structure Nix CI for bundle rocq-9.0 #29: Pull request #2 synchronize by proux01
February 1, 2025 18:55 2h 29m 24s clarify-structure
clarify-structure
February 1, 2025 18:55 2h 29m 24s
Clarify structure Nix CI for bundle rocq-master #29: Pull request #2 synchronize by proux01
February 1, 2025 18:55 38m 40s
February 1, 2025 18:55 38m 40s
Clarify structure Basic checks #93: Pull request #2 synchronize by proux01
February 1, 2025 18:55 14s clarify-structure
clarify-structure
February 1, 2025 18:55 14s