Skip to content

Actions: coq/stdlib

Actions

Basic checks

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
basic-checks.yml
138 workflow runs
138 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
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 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 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
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
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) Basic checks #130: Pull request #117 reopened by SkySkimmer
March 4, 2025 14:26 10m 38s SkySkimmer:constrextern-max-depth
SkySkimmer:constrextern-max-depth
March 4, 2025 14:26 10m 38s
Adapt to coq/coq#20275 (Printing Depth has effect at extern time) Basic checks #129: Pull request #117 opened by SkySkimmer
March 4, 2025 14:15 12s SkySkimmer:constrextern-max-depth
SkySkimmer:constrextern-max-depth
March 4, 2025 14:15 12s
Makefile: all and install are PHONY (#115) Basic checks #128: Commit 2b50da7 pushed by JasonGross
March 4, 2025 03:38 11s master
master
March 4, 2025 03:38 11s
Makefile: all and install are PHONY Basic checks #127: Pull request #115 opened by JasonGross
March 3, 2025 22:59 14s all-install-phony
all-install-phony
March 3, 2025 22:59 14s
Merge pull request #114 from proux01/ci-update Basic checks #126: Commit beee312 pushed by proux01
March 2, 2025 16:06 14s master
master
March 2, 2025 16:06 14s
[CI] Update Nix toolbox Basic checks #125: Pull request #114 synchronize by proux01
March 2, 2025 10:44 13s proux01:ci-update
proux01:ci-update
March 2, 2025 10:44 13s
[CI] Update Nix toolbox Basic checks #124: Pull request #114 synchronize by proux01
March 1, 2025 20:16 13s proux01:ci-update
proux01:ci-update
March 1, 2025 20:16 13s
[CI] Update Nix toolbox Basic checks #123: Pull request #114 synchronize by proux01
March 1, 2025 11:50 14s proux01:ci-update
proux01:ci-update
March 1, 2025 11:50 14s
[CI] Update Nix toolbox Basic checks #122: Pull request #114 synchronize by proux01
February 28, 2025 21:52 13s proux01:ci-update
proux01:ci-update
February 28, 2025 21:52 13s
[CI] Update Nix toolbox Basic checks #121: Pull request #114 opened by proux01
February 28, 2025 19:46 12s proux01:ci-update
proux01:ci-update
February 28, 2025 19:46 12s
Merge pull request #112 from mattam82/stdlib-rocq-manual Basic checks #120: Commit e64810d pushed by proux01
February 28, 2025 19:22 13s master
master
February 28, 2025 19:22 13s
Stdlib rocq manual Basic checks #119: Pull request #112 opened by mattam82
February 28, 2025 16:10 13s mattam82:stdlib-rocq-manual
mattam82:stdlib-rocq-manual
February 28, 2025 16:10 13s
Rify + lra solves Mixed Integer Programs Basic checks #118: Pull request #110 synchronize by fajb
February 27, 2025 10:17 12s fajb:rify
fajb:rify
February 27, 2025 10:17 12s
Rify + lra solves Mixed Integer Programs Basic checks #117: Pull request #110 synchronize by fajb
February 26, 2025 13:35 13s fajb:rify
fajb:rify
February 26, 2025 13:35 13s
Rify + lra solves Mixed Integer Programs Basic checks #116: Pull request #110 synchronize by fajb
February 26, 2025 13:18 14s fajb:rify
fajb:rify
February 26, 2025 13:18 14s
Rify + lra solves Mixed Integer Programs Basic checks #115: Pull request #110 synchronize by fajb
February 26, 2025 11:03 17s fajb:rify
fajb:rify
February 26, 2025 11:03 17s
Rify + lra solves Mixed Integer Programs Basic checks #114: Pull request #110 synchronize by fajb
February 26, 2025 09:17 12s fajb:rify
fajb:rify
February 26, 2025 09:17 12s