Skip to content

Actions: math-comp/analysis

Actions

Nix CI for bundle 8.20-2.4.0

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
nix-action-8.20-2.4.0.yml
192 workflow runs
192 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Remove MC2.4 deprecations and cleanup mathcomp_extra.v (#1736) Nix CI for bundle 8.20-2.4.0 #192: Commit 3b30884 pushed by affeldt-aist
4m 28s master
master
4m 28s
Remove MC2.4 deprecations and cleanup mathcomp_extra.v Nix CI for bundle 8.20-2.4.0 #191: Pull request #1736 synchronize by affeldt-aist
29m 38s
29m 38s
Remove MC2.4 deprecations and cleanup mathcomp_extra.v Nix CI for bundle 8.20-2.4.0 #190: Pull request #1736 synchronize by affeldt-aist
32m 6s
32m 6s
generalize onem (#1737) Nix CI for bundle 8.20-2.4.0 #189: Commit a0cc00c pushed by affeldt-aist
30m 47s master
master
30m 47s
generalize onem Nix CI for bundle 8.20-2.4.0 #188: Pull request #1737 synchronize by affeldt-aist
4m 50s
4m 50s
Sorgenfrey line and properties Nix CI for bundle 8.20-2.4.0 #187: Pull request #1585 synchronize by garrigue
3m 41s
3m 41s
uniformize naming of inf/sup lemmas Nix CI for bundle 8.20-2.4.0 #186: Pull request #1738 synchronize by affeldt-aist
28m 27s
28m 27s
uniformize naming of inf/sup lemmas Nix CI for bundle 8.20-2.4.0 #185: Pull request #1738 synchronize by affeldt-aist
31m 13s
31m 13s
uniformize naming of inf/sup lemmas Nix CI for bundle 8.20-2.4.0 #184: Pull request #1738 opened by affeldt-aist
28m 11s
28m 11s
generalize onem Nix CI for bundle 8.20-2.4.0 #183: Pull request #1737 opened by affeldt-aist
27m 26s
27m 26s
Remove MC2.4 deprecations and cleanup mathcomp_extra.v Nix CI for bundle 8.20-2.4.0 #182: Pull request #1736 opened by pi8027
49m 41s
49m 41s
Tail expectation formula for a non-negative random variable (#1731) Nix CI for bundle 8.20-2.4.0 #181: Commit 78d68d4 pushed by affeldt-aist
4m 41s master
master
4m 41s
Tail expectation formula for a non-negative random variable Nix CI for bundle 8.20-2.4.0 #180: Pull request #1731 synchronize by Yosuke-Ito-345
28m 43s
28m 43s
Tail expectation formula for a non-negative random variable Nix CI for bundle 8.20-2.4.0 #179: Pull request #1731 synchronize by affeldt-aist
38m 25s
38m 25s
add lemmas for derivable_oo/Nyo/oy_continuous_bnd (#1656) Nix CI for bundle 8.20-2.4.0 #178: Commit f167d6d pushed by affeldt-aist
3m 58s master
master
3m 58s
add lemmas for derivable_oo/Nyo/oy_continuous_bnd Nix CI for bundle 8.20-2.4.0 #177: Pull request #1656 synchronize by affeldt-aist
32m 48s
32m 48s
add lemmas for derivable_oo/Nyo/oy_continuous_bnd Nix CI for bundle 8.20-2.4.0 #176: Pull request #1656 synchronize by affeldt-aist
43m 9s
43m 9s
Fixes 1729 (#1732) Nix CI for bundle 8.20-2.4.0 #175: Commit 6600f40 pushed by affeldt-aist
3m 56s master
master
3m 56s
Fixes 1729 Nix CI for bundle 8.20-2.4.0 #174: Pull request #1732 synchronize by affeldt-aist
27m 48s
27m 48s
Sorgenfrey line and properties Nix CI for bundle 8.20-2.4.0 #173: Pull request #1585 synchronize by garrigue
3m 3s
3m 3s
Fixes 1729 Nix CI for bundle 8.20-2.4.0 #172: Pull request #1732 opened by affeldt-aist
27m 40s
27m 40s
Tail expectation formula for a non-negative random variable Nix CI for bundle 8.20-2.4.0 #171: Pull request #1731 opened by Yosuke-Ito-345
30m 11s
30m 11s
Merge pull request #1730 from proux01/rocq21159 Nix CI for bundle 8.20-2.4.0 #170: Commit 3f71083 pushed by proux01
10m 3s master
master
10m 3s
Adapt to https://github.com/rocq-prover/rocq/pull/21159 Nix CI for bundle 8.20-2.4.0 #169: Pull request #1730 opened by proux01
30m 20s
30m 20s
Sorgenfrey line and properties Nix CI for bundle 8.20-2.4.0 #168: Pull request #1585 synchronize by garrigue
5m 0s
5m 0s