Skip to content

Actions: math-comp/analysis

Actions

Nix CI for bundle 8.20

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
nix-action-8.20.yml
160 workflow run results
160 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

fix lemma dependency on local hypothesis (#1511) Nix CI for bundle 8.20 #1104: Commit 80791d4 pushed by affeldt-aist
March 8, 2025 02:29 39m 54s master
master
March 8, 2025 02:29 39m 54s
Fixes 1505 (#1509) Nix CI for bundle 8.20 #1096: Commit af628fe pushed by affeldt-aist
March 6, 2025 05:32 38m 3s master
master
March 6, 2025 05:32 38m 3s
Merge pull request #1507 from proux01/mc1352 Nix CI for bundle 8.20 #1080: Commit 06183ca pushed by CohenCyril
March 3, 2025 17:06 15m 48s master
master
March 3, 2025 17:06 15m 48s
minor generalization (#1504) Nix CI for bundle 8.20 #1054: Commit b1f05da pushed by affeldt-aist
February 27, 2025 13:33 14m 57s master
master
February 27, 2025 13:33 14m 57s
clarify merge policy Nix CI for bundle 8.20 #1050: Commit b709261 pushed by proux01
February 27, 2025 07:18 23m 32s master
master
February 27, 2025 07:18 23m 32s
minor fixes and additions (#1499) Nix CI for bundle 8.20 #1038: Commit a4f7884 pushed by affeldt-aist
February 25, 2025 12:09 1h 4m 34s master
master
February 25, 2025 12:09 1h 4m 34s
[CI] Update Nix toolbox Nix CI for bundle 8.20 #1036: Commit 595ac94 pushed by proux01
February 25, 2025 11:59 34m 40s master
master
February 25, 2025 11:59 34m 40s
Try to fix sed commands on MacOS Nix CI for bundle 8.20 #1027: Commit ebc3644 pushed by proux01
February 24, 2025 09:11 1h 15m 28s master
master
February 24, 2025 09:11 1h 15m 28s
Update opam packages Nix CI for bundle 8.20 #1023: Commit a8ed02d pushed by proux01
February 22, 2025 14:56 39m 48s master
master
February 22, 2025 14:56 39m 48s
Update opam packages Nix CI for bundle 8.20 #1020: Commit 141df88 pushed by proux01
February 22, 2025 13:17 14m 55s master
master
February 22, 2025 13:17 14m 55s
changelog for version 1.9.0 (#1490) Nix CI for bundle 8.20 #1008: Commit f1d91e5 pushed by affeldt-aist
February 20, 2025 08:30 29m 59s master
master
February 20, 2025 08:30 29m 59s
l'hopital's rule (#1479) Nix CI for bundle 8.20 #1005: Commit 5db7be6 pushed by affeldt-aist
February 20, 2025 05:26 14m 59s master
master
February 20, 2025 05:26 14m 59s
gen of int. by subst + normal distribution (#1450) Nix CI for bundle 8.20 #1002: Commit 3be9b1d pushed by affeldt-aist
February 19, 2025 15:52 16m 3s master
master
February 19, 2025 15:52 16m 3s
near lemmas about derivation (#1477) Nix CI for bundle 8.20 #996: Commit 762e08b pushed by affeldt-aist
February 19, 2025 13:29 39m 49s master
master
February 19, 2025 13:29 39m 49s
Port from signed to itv Nix CI for bundle 8.20 #995: Commit 9863f51 pushed by affeldt-aist
February 19, 2025 13:16 39m 52s master
master
February 19, 2025 13:16 39m 52s
instantiate GRinv.inv directly by Rinv, deprecating Rinvx (#1488) Nix CI for bundle 8.20 #991: Commit aec3e47 pushed by affeldt-aist
February 19, 2025 05:36 13m 59s master
master
February 19, 2025 05:36 13m 59s
fixes #1453 Nix CI for bundle 8.20 #988: Commit 55d83cc pushed by proux01
February 18, 2025 19:43 2h 5m 32s master
master
February 18, 2025 19:43 2h 5m 32s
[CI] Update Nix tooblox Nix CI for bundle 8.20 #987: Commit d83a2ad pushed by proux01
February 18, 2025 19:42 1h 44m 31s master
master
February 18, 2025 19:42 1h 44m 31s
fixes #1464 (#1470) Nix CI for bundle 8.20 #977: Commit e4b3012 pushed by affeldt-aist
February 18, 2025 03:01 39m 47s master
master
February 18, 2025 03:01 39m 47s
Doc: definitions expressed as a table in constructive_ereal.v (#1452) Nix CI for bundle 8.20 #976: Commit 7c82ae0 pushed by affeldt-aist
February 18, 2025 02:57 39m 38s master
master
February 18, 2025 02:57 39m 38s
generalization of FTC2 (#1446) Nix CI for bundle 8.20 #975: Commit f29e974 pushed by affeldt-aist
February 18, 2025 02:03 39m 30s master
master
February 18, 2025 02:03 39m 30s
fixes #1315 Nix CI for bundle 8.20 #966: Commit 800800c pushed by proux01
February 17, 2025 10:37 39m 18s master
master
February 17, 2025 10:37 39m 18s
CI: automatically generate HTML docs as artifacts by rocqnavi (#1465) Nix CI for bundle 8.20 #957: Commit af43213 pushed by affeldt-aist
February 14, 2025 10:57 39m 24s master
master
February 14, 2025 10:57 39m 24s
fixes #1370 (#1480) Nix CI for bundle 8.20 #955: Commit 28b0b40 pushed by affeldt-aist
February 14, 2025 10:03 39m 5s master
master
February 14, 2025 10:03 39m 5s
Adapt to https://github.com/math-comp/math-comp/pull/1343 Nix CI for bundle 8.20 #951: Commit 06fe4ce pushed by proux01
February 14, 2025 08:16 22m 45s master
master
February 14, 2025 08:16 22m 45s