Skip to content

Actions: math-comp/analysis

Actions

Nix CI for bundle 9.0

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
nix-action-9.0.yml
18 workflow run results
18 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 9.0 #116: Commit 80791d4 pushed by affeldt-aist
March 8, 2025 02:29 33m 1s master
master
March 8, 2025 02:29 33m 1s
Fixes 1505 (#1509) Nix CI for bundle 9.0 #108: Commit af628fe pushed by affeldt-aist
March 6, 2025 05:32 32m 50s master
master
March 6, 2025 05:32 32m 50s
Merge pull request #1507 from proux01/mc1352 Nix CI for bundle 9.0 #92: Commit 06183ca pushed by CohenCyril
March 3, 2025 17:06 13m 41s master
master
March 3, 2025 17:06 13m 41s
minor generalization (#1504) Nix CI for bundle 9.0 #66: Commit b1f05da pushed by affeldt-aist
February 27, 2025 13:33 12m 17s master
master
February 27, 2025 13:33 12m 17s
clarify merge policy Nix CI for bundle 9.0 #62: Commit b709261 pushed by proux01
February 27, 2025 07:18 12m 6s master
master
February 27, 2025 07:18 12m 6s
minor fixes and additions (#1499) Nix CI for bundle 9.0 #50: Commit a4f7884 pushed by affeldt-aist
February 25, 2025 12:09 52m 10s master
master
February 25, 2025 12:09 52m 10s
[CI] Update Nix toolbox Nix CI for bundle 9.0 #48: Commit 595ac94 pushed by proux01
February 25, 2025 11:59 32m 52s master
master
February 25, 2025 11:59 32m 52s
Try to fix sed commands on MacOS Nix CI for bundle 9.0 #39: Commit ebc3644 pushed by proux01
February 24, 2025 09:11 1h 0m 17s master
master
February 24, 2025 09:11 1h 0m 17s
Update opam packages Nix CI for bundle 9.0 #36: Commit a8ed02d pushed by proux01
February 22, 2025 14:56 32m 34s master
master
February 22, 2025 14:56 32m 34s
Update opam packages Nix CI for bundle 9.0 #34: Commit 141df88 pushed by proux01
February 22, 2025 13:17 12m 3s master
master
February 22, 2025 13:17 12m 3s
changelog for version 1.9.0 (#1490) Nix CI for bundle 9.0 #23: Commit f1d91e5 pushed by affeldt-aist
February 20, 2025 08:30 33m 19s master
master
February 20, 2025 08:30 33m 19s
l'hopital's rule (#1479) Nix CI for bundle 9.0 #20: Commit 5db7be6 pushed by affeldt-aist
February 20, 2025 05:26 12m 7s master
master
February 20, 2025 05:26 12m 7s
gen of int. by subst + normal distribution (#1450) Nix CI for bundle 9.0 #17: Commit 3be9b1d pushed by affeldt-aist
February 19, 2025 15:52 13m 35s master
master
February 19, 2025 15:52 13m 35s
near lemmas about derivation (#1477) Nix CI for bundle 9.0 #11: Commit 762e08b pushed by affeldt-aist
February 19, 2025 13:29 37m 11s master
master
February 19, 2025 13:29 37m 11s
Port from signed to itv Nix CI for bundle 9.0 #10: Commit 9863f51 pushed by affeldt-aist
February 19, 2025 13:16 25m 39s master
master
February 19, 2025 13:16 25m 39s
instantiate GRinv.inv directly by Rinv, deprecating Rinvx (#1488) Nix CI for bundle 9.0 #6: Commit aec3e47 pushed by affeldt-aist
February 19, 2025 05:36 11m 46s master
master
February 19, 2025 05:36 11m 46s
fixes #1453 Nix CI for bundle 9.0 #3: Commit 55d83cc pushed by proux01
February 18, 2025 19:43 2h 2m 24s master
master
February 18, 2025 19:43 2h 2m 24s
[CI] Update Nix tooblox Nix CI for bundle 9.0 #2: Commit d83a2ad pushed by proux01
February 18, 2025 19:42 2h 3m 32s master
master
February 18, 2025 19:42 2h 3m 32s