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
750 workflow runs
750 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add lemmas not_near_inftyP and not_near_ninftyP in normedtype.v Nix CI for bundle 8.20 #125: Pull request #1291 synchronize by affeldt-aist
August 11, 2024 12:59 13m 36s
August 11, 2024 12:59 13m 36s
Add lemmas not_near_inftyP and not_near_ninftyP in normedtype.v Nix CI for bundle 8.20 #124: Pull request #1291 synchronize by affeldt-aist
August 11, 2024 12:34 13m 35s
August 11, 2024 12:34 13m 35s
Add lemmas not_near_inftyP and not_near_ninftyP in normedtype.v Nix CI for bundle 8.20 #123: Pull request #1291 opened by Yosuke-Ito-345
August 11, 2024 04:23 13m 26s
August 11, 2024 04:23 13m 26s
Add the lemma not_near_ninftyP in normedtype.v Nix CI for bundle 8.20 #122: Pull request #1280 synchronize by Yosuke-Ito-345
August 11, 2024 01:32 15m 27s
August 11, 2024 01:32 15m 27s
minor additions and generalizations Nix CI for bundle 8.20 #121: Pull request #1289 synchronize by affeldt-aist
August 10, 2024 01:51 13m 35s
August 10, 2024 01:51 13m 35s
changelog for version 1.3.1 (#1290) Nix CI for bundle 8.20 #120: Commit 99c3a83 pushed by affeldt-aist
August 9, 2024 14:55 13m 23s master
master
August 9, 2024 14:55 13m 23s
changelog for version 1.3.1 Nix CI for bundle 8.20 #119: Pull request #1290 synchronize by affeldt-aist
August 9, 2024 14:31 13m 55s
August 9, 2024 14:31 13m 55s
changelog for version 1.3.1 Nix CI for bundle 8.20 #118: Pull request #1290 opened by affeldt-aist
August 9, 2024 14:17 13m 57s
August 9, 2024 14:17 13m 57s
minor additions and generalizations Nix CI for bundle 8.20 #117: Pull request #1289 synchronize by affeldt-aist
August 9, 2024 09:50 13m 31s
August 9, 2024 09:50 13m 31s
adapt to MC#1169 (#1281) Nix CI for bundle 8.20 #116: Commit 5517979 pushed by affeldt-aist
August 9, 2024 08:42 13m 33s master
master
August 9, 2024 08:42 13m 33s
minor additions and generalizations Nix CI for bundle 8.20 #115: Pull request #1289 opened by affeldt-aist
August 9, 2024 03:59 13m 35s
August 9, 2024 03:59 13m 35s
variants of existing lemmas Nix CI for bundle 8.20 #114: Pull request #1288 opened by affeldt-aist
August 9, 2024 02:27 13m 49s
August 9, 2024 02:27 13m 49s
Application of s-finite kernels to program semantics Nix CI for bundle 8.20 #113: Pull request #912 synchronize by affeldt-aist
August 8, 2024 13:45 13m 53s
August 8, 2024 13:45 13m 53s
to avoid a universe inconsistency with ring Nix CI for bundle 8.20 #112: Commit cc30e18 pushed by proux01
August 8, 2024 10:56 13m 39s master
master
August 8, 2024 10:56 13m 39s
to avoid a universe inconsistency with ring Nix CI for bundle 8.20 #111: Pull request #1287 opened by affeldt-aist
August 8, 2024 10:16 13m 37s
August 8, 2024 10:16 13m 37s
Application of s-finite kernels to program semantics Nix CI for bundle 8.20 #110: Pull request #912 synchronize by affeldt-aist
August 8, 2024 07:49 13m 24s
August 8, 2024 07:49 13m 24s
Application of s-finite kernels to program semantics Nix CI for bundle 8.20 #109: Pull request #912 synchronize by affeldt-aist
August 8, 2024 03:57 13m 13s
August 8, 2024 03:57 13m 13s
Add the lemma not_near_ninftyP in normedtype.v Nix CI for bundle 8.20 #108: Pull request #1280 synchronize by Yosuke-Ito-345
August 7, 2024 23:50 16m 52s
August 7, 2024 23:50 16m 52s
Add the lemma not_near_ninftyP in normedtype.v Nix CI for bundle 8.20 #107: Pull request #1280 synchronize by Yosuke-Ito-345
August 7, 2024 23:44 13m 59s
August 7, 2024 23:44 13m 59s
Add the lemma not_near_ninftyP in normedtype.v Nix CI for bundle 8.20 #106: Pull request #1280 synchronize by Yosuke-Ito-345
August 7, 2024 23:42 15m 38s
August 7, 2024 23:42 15m 38s
rat_in_itvoo need not be restricted to realTypes (#1286) Nix CI for bundle 8.20 #105: Commit 16f7540 pushed by affeldt-aist
August 7, 2024 13:52 13m 32s master
master
August 7, 2024 13:52 13m 32s
rat_in_itvoo need not be restricted to realTypes Nix CI for bundle 8.20 #104: Pull request #1286 synchronize by t6s
August 7, 2024 11:58 14m 3s
August 7, 2024 11:58 14m 3s
rat_in_itvoo need not be restricted to realTypes Nix CI for bundle 8.20 #103: Pull request #1286 opened by t6s
August 7, 2024 08:33 13m 56s
August 7, 2024 08:33 13m 56s
Merge pull request #1285 from affeldt-aist/README_20240807 Nix CI for bundle 8.20 #102: Commit 107266f pushed by CohenCyril
August 6, 2024 15:42 14m 46s master
master
August 6, 2024 15:42 14m 46s
add doc Nix CI for bundle 8.20 #101: Pull request #1285 synchronize by affeldt-aist
August 6, 2024 15:11 30m 9s
August 6, 2024 15:11 30m 9s
ProTip! You can narrow down the results and go further in time using created:<2024-08-06 or the other filters available.