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
1,650 workflow runs
1,650 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #1626 from pi8027/fix_affiliation Nix CI for bundle 8.20 #1550: Commit 05898dc pushed by pi8027
May 20, 2025 21:21 29m 50s master
master
May 20, 2025 21:21 29m 50s
Minor cleanup (#1625) Nix CI for bundle 8.20 #1549: Commit 5a9b45c pushed by affeldt-aist
May 20, 2025 06:34 4m 6s master
master
May 20, 2025 06:34 4m 6s
Cleanup Nix CI for bundle 8.20 #1548: Pull request #1567 synchronize by affeldt-aist
May 20, 2025 06:32 27m 14s
May 20, 2025 06:32 27m 14s
natural logarithm for the extended reals and some simple lemmas Nix CI for bundle 8.20 #1547: Pull request #1613 synchronize by jmmarulang
May 18, 2025 13:02 38m 48s
May 18, 2025 13:02 38m 48s
Fix AUTHORS.md Nix CI for bundle 8.20 #1546: Pull request #1626 synchronize by pi8027
May 17, 2025 14:20 26m 23s
May 17, 2025 14:20 26m 23s
Fix AUTHORS.md Nix CI for bundle 8.20 #1545: Pull request #1626 opened by pi8027
May 17, 2025 14:20 1m 8s
May 17, 2025 14:20 1m 8s
Minor cleanup Nix CI for bundle 8.20 #1544: Pull request #1625 opened by pi8027
May 17, 2025 14:06 26m 39s
May 17, 2025 14:06 26m 39s
instead of lspace_master Nix CI for bundle 8.20 #1543: Pull request #1624 synchronize by affeldt-aist
May 17, 2025 13:27 26m 57s
May 17, 2025 13:27 26m 57s
instead of lspace_master Nix CI for bundle 8.20 #1542: Pull request #1624 synchronize by affeldt-aist
May 15, 2025 08:33 35m 3s
May 15, 2025 08:33 35m 3s
instead of lspace_master Nix CI for bundle 8.20 #1541: Pull request #1624 synchronize by affeldt-aist
May 15, 2025 07:35 26m 52s
May 15, 2025 07:35 26m 52s
instead of lspace_master Nix CI for bundle 8.20 #1540: Pull request #1624 opened by affeldt-aist
May 15, 2025 07:17 26m 54s
May 15, 2025 07:17 26m 54s
remove unused (and probably useless) lemmas inl_inj and inr_inj Nix CI for bundle 8.20 #1539: Pull request #1623 opened by t6s
May 14, 2025 11:10 26m 58s
May 14, 2025 11:10 26m 58s
📝 🔧 make html to make the html documentation Nix CI for bundle 8.20 #1538: Pull request #1622 synchronize by yoshihiro503
May 14, 2025 10:04 26m 32s
May 14, 2025 10:04 26m 32s
📝 🔧 make html to make the html documentation Nix CI for bundle 8.20 #1537: Pull request #1622 synchronize by yoshihiro503
May 14, 2025 08:13 26m 50s
May 14, 2025 08:13 26m 50s
📝 🔧 make html to make the html documentation Nix CI for bundle 8.20 #1536: Pull request #1622 opened by yoshihiro503
May 14, 2025 07:36 27m 5s
May 14, 2025 07:36 27m 5s
CI: Rocqnavi released version (#1614) Nix CI for bundle 8.20 #1535: Commit 69a77ef pushed by affeldt-aist
May 14, 2025 02:44 26m 44s master
master
May 14, 2025 02:44 26m 44s
Essential supremum (#1606) Nix CI for bundle 8.20 #1534: Commit d005b11 pushed by affeldt-aist
May 14, 2025 02:43 4m 12s master
master
May 14, 2025 02:43 4m 12s
Essential supremum Nix CI for bundle 8.20 #1533: Pull request #1606 synchronize by affeldt-aist
May 14, 2025 01:16 26m 27s
May 14, 2025 01:16 26m 27s
CI: Rocqnavi released version Nix CI for bundle 8.20 #1532: Pull request #1614 synchronize by yoshihiro503
May 14, 2025 00:34 26m 39s
May 14, 2025 00:34 26m 39s
CI: Rocqnavi released version Nix CI for bundle 8.20 #1531: Pull request #1614 synchronize by yoshihiro503
May 14, 2025 00:21 37m 49s
May 14, 2025 00:21 37m 49s
Essential supremum Nix CI for bundle 8.20 #1530: Pull request #1606 synchronize by affeldt-aist
May 14, 2025 00:10 13m 37s
May 14, 2025 00:10 13m 37s
revert references from Corelib to Coq, simplify build Nix CI for bundle 8.20 #1529: Pull request #1620 synchronize by proux01
May 13, 2025 09:41 26m 51s
May 13, 2025 09:41 26m 51s
Merge pull request #1621 from proux01/ci-update Nix CI for bundle 8.20 #1528: Commit 6c1a52a pushed by proux01
May 13, 2025 09:40 13m 50s master
master
May 13, 2025 09:40 13m 50s
basic facts about Gdelta sets Nix CI for bundle 8.20 #1527: Pull request #1615 synchronize by affeldt-aist
May 13, 2025 09:12 15m 40s
May 13, 2025 09:12 15m 40s
basic facts about Gdelta sets Nix CI for bundle 8.20 #1526: Pull request #1615 synchronize by affeldt-aist
May 13, 2025 09:08 15m 45s
May 13, 2025 09:08 15m 45s