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

Divergence of the sum of the reciprocal of primes Nix CI for bundle 8.20-2.4.0 #67: Pull request #1705 synchronize by Tragicus
33m 16s
33m 16s
Divergence of the sum of the reciprocal of primes Nix CI for bundle 8.20-2.4.0 #66: Pull request #1705 opened by Tragicus
37m 4s
37m 4s
Add a parser/printer for extended-real integer constants Nix CI for bundle 8.20-2.4.0 #65: Pull request #1704 synchronize by proux01
26m 4s
26m 4s
Add a parser/printer for extended-real integer constants Nix CI for bundle 8.20-2.4.0 #64: Pull request #1704 synchronize by proux01
14m 31s
14m 31s
Add a parser/printer for extended-real integer constants Nix CI for bundle 8.20-2.4.0 #63: Pull request #1704 synchronize by proux01
51m 11s
51m 11s
Merge pull request #1703 from proux01/ci-mc-master Nix CI for bundle 8.20-2.4.0 #62: Commit 61abe24 pushed by proux01
1h 2m 30s master
master
1h 2m 30s
[CI] Test MC master on stable Rocq Nix CI for bundle 8.20-2.4.0 #61: Pull request #1703 synchronize by proux01
33s
33s
Add a parser/printer for extended-real integer constants Nix CI for bundle 8.20-2.4.0 #60: Pull request #1704 opened by proux01
12m 22s
12m 22s
[CI] Test MC master on stable Rocq Nix CI for bundle 8.20-2.4.0 #59: Pull request #1703 synchronize by proux01
42s
42s
[CI] Test MC master on stable Rocq Nix CI for bundle 8.20-2.4.0 #58: Pull request #1703 synchronize by proux01
52s
52s
[CI] Test MC master on stable Rocq Nix CI for bundle 8.20-2.4.0 #57: Pull request #1703 synchronize by proux01
38s
38s
[CI] Test MC master on stable Rocq Nix CI for bundle 8.20-2.4.0 #56: Pull request #1703 opened by proux01
52s
52s
Changelog for version 1.13.0 (#1701) Nix CI for bundle 8.20-2.4.0 #55: Commit 11ee871 pushed by affeldt-aist
3m 46s master
master
3m 46s
Changelog for version 1.13.0 Nix CI for bundle 8.20-2.4.0 #54: Pull request #1701 synchronize by affeldt-aist
3m 13s
3m 13s
Changelog for version 1.13.0 Nix CI for bundle 8.20-2.4.0 #53: Pull request #1701 opened by affeldt-aist
18m 38s
18m 38s
fixes #1551 (move isMeasurable from simple_functions.v to `measur… Nix CI for bundle 8.20-2.4.0 #52: Commit 84996a4 pushed by affeldt-aist
16m 27s master
master
16m 27s
simplify lemma lebesgue_measure_rat (#1700) Nix CI for bundle 8.20-2.4.0 #51: Commit b5370de pushed by affeldt-aist
5m 38s master
master
5m 38s
fixes #1551 (move isMeasurable from simple_functions.v to measure.v) Nix CI for bundle 8.20-2.4.0 #50: Pull request #1695 synchronize by affeldt-aist
24m 30s
24m 30s
missing near lemma Nix CI for bundle 8.20-2.4.0 #49: Pull request #1699 synchronize by affeldt-aist
29m 38s
29m 38s
simplify lemma lebesgue_measure_rat Nix CI for bundle 8.20-2.4.0 #48: Pull request #1700 opened by affeldt-aist
30m 34s
30m 34s
missing near lemma Nix CI for bundle 8.20-2.4.0 #47: Pull request #1699 opened by affeldt-aist
12m 39s
12m 39s
hoeffding's inequality lemma definition Nix CI for bundle 8.20-2.4.0 #46: Pull request #1698 opened by hoheinzollern
41m 50s
41m 50s
[Paper Artifact] Bernoulli sampling theorem Nix CI for bundle 8.20-2.4.0 #45: Pull request #1645 synchronize by hoheinzollern
46s
46s
two easy lemmas about inve Nix CI for bundle 8.20-2.4.0 #44: Pull request #1697 opened by affeldt-aist
26m 44s
26m 44s
fixes #1551 (move isMeasurable from simple_functions.v to measure.v) Nix CI for bundle 8.20-2.4.0 #43: Pull request #1695 synchronize by affeldt-aist
27m 36s
27m 36s