Skip to content

Actions: coq/stdlib

Actions

Nix CI for bundle rocq-master

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
nix-action-rocq-master.yml
80 workflow runs
80 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
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 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 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-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 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
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
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-master #72: Pull request #117 reopened by SkySkimmer
March 4, 2025 14:26 3h 35m 16s
March 4, 2025 14:26 3h 35m 16s
Adapt to coq/coq#20275 (Printing Depth has effect at extern time) Nix CI for bundle rocq-master #71: Pull request #117 opened by SkySkimmer
March 4, 2025 14:15 3h 49m 56s
March 4, 2025 14:15 3h 49m 56s
Makefile: all and install are PHONY (#115) Nix CI for bundle rocq-master #70: Commit 2b50da7 pushed by JasonGross
March 4, 2025 03:38 40m 57s master
master
March 4, 2025 03:38 40m 57s
Makefile: all and install are PHONY Nix CI for bundle rocq-master #69: Pull request #115 opened by JasonGross
March 3, 2025 22:59 1h 56m 1s
March 3, 2025 22:59 1h 56m 1s
Merge pull request #114 from proux01/ci-update Nix CI for bundle rocq-master #68: Commit beee312 pushed by proux01
March 2, 2025 16:06 34m 47s master
master
March 2, 2025 16:06 34m 47s
[CI] Update Nix toolbox Nix CI for bundle rocq-master #67: Pull request #114 synchronize by proux01
March 2, 2025 10:44 2h 25m 12s proux01:ci-update
proux01:ci-update
March 2, 2025 10:44 2h 25m 12s
[CI] Update Nix toolbox Nix CI for bundle rocq-master #66: Pull request #114 synchronize by proux01
March 2, 2025 10:44 2h 21m 6s
March 2, 2025 10:44 2h 21m 6s
[CI] Update Nix toolbox Nix CI for bundle rocq-master #65: Pull request #114 synchronize by proux01
March 1, 2025 20:16 2h 29m 26s proux01:ci-update
proux01:ci-update
March 1, 2025 20:16 2h 29m 26s
[CI] Update Nix toolbox Nix CI for bundle rocq-master #64: Pull request #114 synchronize by proux01
March 1, 2025 20:16 2h 16m 38s
March 1, 2025 20:16 2h 16m 38s
[CI] Update Nix toolbox Nix CI for bundle rocq-master #63: Pull request #114 synchronize by proux01
March 1, 2025 11:50 2h 27m 1s proux01:ci-update
proux01:ci-update
March 1, 2025 11:50 2h 27m 1s
[CI] Update Nix toolbox Nix CI for bundle rocq-master #62: Pull request #114 synchronize by proux01
March 1, 2025 11:50 2h 17m 48s
March 1, 2025 11:50 2h 17m 48s
[CI] Update Nix toolbox Nix CI for bundle rocq-master #61: Pull request #114 synchronize by proux01
February 28, 2025 21:52 2h 14m 38s proux01:ci-update
proux01:ci-update
February 28, 2025 21:52 2h 14m 38s
[CI] Update Nix toolbox Nix CI for bundle rocq-master #60: Pull request #114 synchronize by proux01
February 28, 2025 21:52 2h 13m 5s
February 28, 2025 21:52 2h 13m 5s
[CI] Update Nix toolbox Nix CI for bundle rocq-master #59: Pull request #114 opened by proux01
February 28, 2025 19:46 29m 43s proux01:ci-update
proux01:ci-update
February 28, 2025 19:46 29m 43s
[CI] Update Nix toolbox Nix CI for bundle rocq-master #58: Pull request #114 opened by proux01
February 28, 2025 19:46 29m 9s
February 28, 2025 19:46 29m 9s
Merge pull request #112 from mattam82/stdlib-rocq-manual Nix CI for bundle rocq-master #57: Commit e64810d pushed by proux01
February 28, 2025 19:22 27m 47s master
master
February 28, 2025 19:22 27m 47s
Stdlib rocq manual Nix CI for bundle rocq-master #56: Pull request #112 opened by mattam82
February 28, 2025 16:10 1h 55m 5s
February 28, 2025 16:10 1h 55m 5s