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

Merge pull request #118 from Villetaneuse/from_stdlib_warnings Nix CI for bundle rocq-master #80: Commit 6885eea pushed by Villetaneuse
March 10, 2025 18:11 2h 20m 43s master
master
March 10, 2025 18:11 2h 20m 43s
Merge pull request #118 from Villetaneuse/from_stdlib_warnings Nix CI for bundle rocq-9.0 #80: Commit 6885eea pushed by Villetaneuse
March 10, 2025 18:11 1h 25m 6s master
master
March 10, 2025 18:11 1h 25m 6s
Merge pull request #118 from Villetaneuse/from_stdlib_warnings Basic checks #138: Commit 6885eea pushed by Villetaneuse
March 10, 2025 18:11 18s master
master
March 10, 2025 18:11 18s
Add clean in Makefile Basic checks #137: Pull request #120 opened by Villetaneuse
March 10, 2025 18:10 16s Villetaneuse:make_clean
Villetaneuse:make_clean
March 10, 2025 18:10 16s
Add clean in Makefile Nix CI for bundle rocq-9.0 #79: Pull request #120 opened by Villetaneuse
March 10, 2025 18:10 13m 41s
March 10, 2025 18:10 13m 41s
Add clean in Makefile Nix CI for bundle rocq-master #79: Pull request #120 opened by Villetaneuse
March 10, 2025 18:10 2h 24m 32s
March 10, 2025 18:10 2h 24m 32s
Subtraction in NatInt Basic checks #136: Pull request #119 synchronize by Villetaneuse
March 10, 2025 16:30 5m 54s Villetaneuse:subtraction_natint
Villetaneuse:subtraction_natint
March 10, 2025 16:30 5m 54s
Subtraction in NatInt Nix CI for bundle rocq-9.0 #78: Pull request #119 synchronize by Villetaneuse
March 10, 2025 16:30 1h 30m 51s
March 10, 2025 16:30 1h 30m 51s
Subtraction in NatInt Nix CI for bundle rocq-master #78: Pull request #119 synchronize by Villetaneuse
March 10, 2025 16:30 1h 34m 32s
March 10, 2025 16:30 1h 34m 32s
Subtraction in NatInt Basic checks #135: Pull request #119 synchronize by Villetaneuse
March 10, 2025 16:26 4m 1s Villetaneuse:subtraction_natint
Villetaneuse:subtraction_natint
March 10, 2025 16:26 4m 1s
Subtraction in NatInt Nix CI for bundle rocq-master #77: Pull request #119 synchronize by Villetaneuse
March 10, 2025 16:26 1h 39m 36s
March 10, 2025 16:26 1h 39m 36s
Subtraction in NatInt Nix CI for bundle rocq-9.0 #77: Pull request #119 synchronize by Villetaneuse
March 10, 2025 16:26 1h 33m 37s
March 10, 2025 16:26 1h 33m 37s
Subtraction in NatInt Basic checks #134: Pull request #119 opened by Villetaneuse
March 10, 2025 16:02 13s Villetaneuse:subtraction_natint
Villetaneuse:subtraction_natint
March 10, 2025 16:02 13s
Subtraction in NatInt Nix CI for bundle rocq-9.0 #76: Pull request #119 opened by Villetaneuse
March 10, 2025 16:02 1h 57m 14s
March 10, 2025 16:02 1h 57m 14s
Subtraction in NatInt Nix CI for bundle rocq-master #76: Pull request #119 opened by Villetaneuse
March 10, 2025 16:02 2h 1m 29s
March 10, 2025 16:02 2h 1m 29s
Suppress 2 "From Stdlib" warnings Basic checks #133: Pull request #118 opened by Villetaneuse
March 10, 2025 13:44 14s Villetaneuse:from_stdlib_warnings
Villetaneuse:from_stdlib_warnings
March 10, 2025 13:44 14s
Suppress 2 "From Stdlib" warnings Nix CI for bundle rocq-master #75: Pull request #118 opened by Villetaneuse
March 10, 2025 13:44 7m 27s
March 10, 2025 13:44 7m 27s
Suppress 2 "From Stdlib" warnings Nix CI for bundle rocq-9.0 #75: Pull request #118 opened by Villetaneuse
March 10, 2025 13:44 1h 57m 38s
March 10, 2025 13:44 1h 57m 38s
Merge pull request #117 from SkySkimmer/constrextern-max-depth Nix CI for bundle rocq-9.0 #74: Commit c33eae9 pushed by ppedrot
March 6, 2025 15:01 2h 26m 34s master
master
March 6, 2025 15:01 2h 26m 34s
Merge pull request #117 from SkySkimmer/constrextern-max-depth Nix CI for bundle rocq-master #74: Commit c33eae9 pushed by ppedrot
March 6, 2025 15:01 2h 27m 47s master
master
March 6, 2025 15:01 2h 27m 47s
Merge pull request #117 from SkySkimmer/constrextern-max-depth Basic checks #132: Commit c33eae9 pushed by ppedrot
March 6, 2025 15:01 17s master
master
March 6, 2025 15:01 17s
Adapt to coq/coq#20275 (Printing Depth has effect at extern time) Basic checks #131: Pull request #117 synchronize by SkySkimmer
March 5, 2025 13:07 11s SkySkimmer:constrextern-max-depth
SkySkimmer:constrextern-max-depth
March 5, 2025 13:07 11s
Adapt to coq/coq#20275 (Printing Depth has effect at extern time) Nix CI for bundle rocq-master #73: Pull request #117 synchronize by SkySkimmer
March 5, 2025 13:07 2h 2m 41s
March 5, 2025 13:07 2h 2m 41s
Adapt to coq/coq#20275 (Printing Depth has effect at extern time) Nix CI for bundle rocq-9.0 #73: Pull request #117 synchronize by SkySkimmer
March 5, 2025 13:07 2h 23m 9s
March 5, 2025 13:07 2h 23m 9s
Adapt to coq/coq#20275 (Printing Depth has effect at extern time) Nix CI for bundle rocq-9.0 #72: Pull request #117 reopened by SkySkimmer
March 4, 2025 14:26 3h 28m 14s
March 4, 2025 14:26 3h 28m 14s