Skip to content

Actions: zstone1/analysis

Actions

Nix CI for bundle master

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
nix-action-master.yml
32 workflow runs
32 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

bipointed and paths (#1400) Nix CI for bundle master #115: Commit 71b1296 pushed by zstone1
November 21, 2024 02:15 5m 40s master
master
November 21, 2024 02:15 5m 40s
Wedge fun (#1398) Nix CI for bundle master #114: Commit 97d0779 pushed by zstone1
November 17, 2024 16:45 27m 19s master
master
November 17, 2024 16:45 27m 19s
composition is continuous (#1388) Nix CI for bundle master #113: Commit 91cd238 pushed by zstone1
November 15, 2024 15:02 43m 39s master
master
November 15, 2024 15:02 43m 39s
min and max are continuous (#1387) Nix CI for bundle master #112: Commit 7e2988d pushed by zstone1
November 10, 2024 15:15 14m 29s master
master
November 10, 2024 15:15 14m 29s
Wedges part 1 (#1384) Nix CI for bundle master #111: Commit f5097d5 pushed by zstone1
November 10, 2024 14:59 5m 34s master
master
November 10, 2024 14:59 5m 34s
Homeomorphisms for (X*Y)*Z -> X*(Y*Z) and X*Y -> Y*X (#1367) Nix CI for bundle master #110: Commit e792f1a pushed by zstone1
November 10, 2024 04:58 13m 2s master
master
November 10, 2024 04:58 13m 2s
subtypes and continuous functions (#1340) Nix CI for bundle master #109: Commit 96f4793 pushed by zstone1
November 6, 2024 17:41 13m 17s master
master
November 6, 2024 17:41 13m 17s
duality between closure and interior (#1366) Nix CI for bundle master #108: Commit 3a5226b pushed by zstone1
November 6, 2024 15:33 50m 58s master
master
November 6, 2024 15:33 50m 58s
Cleanup coq-mathcomp-classical.opam Nix CI for bundle master #107: Commit 1753715 pushed by zstone1
October 29, 2024 23:02 13m 9s master
master
October 29, 2024 23:02 13m 9s
adding the sigT topology (#1368) Nix CI for bundle master #106: Commit 2634502 pushed by zstone1
October 29, 2024 14:29 3m 57s master
master
October 29, 2024 14:29 3m 57s
completely regular spaces and locally compact implies uniform (#1331) Nix CI for bundle master #105: Commit 6774a9d pushed by zstone1
October 27, 2024 23:55 11m 50s master
master
October 27, 2024 23:55 11m 50s
changelog for version 1.6.0 (#1364) Nix CI for bundle master #104: Commit e1aaf10 pushed by zstone1
October 25, 2024 21:01 27m 15s master
master
October 25, 2024 21:01 27m 15s
shattering topology.v into many files (#1346) Nix CI for bundle master #103: Commit 42940c6 pushed by zstone1
October 23, 2024 23:19 13m 31s master
master
October 23, 2024 23:19 13m 31s
Use From systematically (#1348) Nix CI for bundle master #102: Commit 7b77e20 pushed by zstone1
October 23, 2024 16:06 35m 29s master
master
October 23, 2024 16:06 35m 29s
changelog for version 1.5.0 (#1344) Nix CI for bundle master #101: Commit d64e9df pushed by zstone1
October 10, 2024 19:40 13m 35s master
master
October 10, 2024 19:40 13m 35s
Splitting Topology part 3: Separation axioms (#1338) Nix CI for bundle master #100: Commit 8340758 pushed by zstone1
October 7, 2024 04:16 3m 7s master
master
October 7, 2024 04:16 3m 7s
[CI] Update Nix toolbox Nix CI for bundle master #99: Commit 7dfb606 pushed by zstone1
October 2, 2024 23:40 3m 3s master
master
October 2, 2024 23:40 3m 3s
lexical ordering over nats (#1321) Nix CI for bundle master #98: Commit 144c862 pushed by zstone1
October 1, 2024 16:17 2m 55s master
master
October 1, 2024 16:17 2m 55s
Add lemmas on divergent sequences (#1304) Nix CI for bundle master #97: Commit c963835 pushed by zstone1
September 30, 2024 21:15 2m 52s master
master
September 30, 2024 21:15 2m 52s
Lexi Nix CI for bundle master #96: Pull request #4 opened by affeldt-aist
September 30, 2024 11:18 13m 9s
September 30, 2024 11:18 13m 9s
Order topology (#1318) Nix CI for bundle master #95: Commit b685927 pushed by zstone1
September 20, 2024 13:23 7m 2s master
master
September 20, 2024 13:23 7m 2s
integration by parts (#1266) Nix CI for bundle master #94: Commit ad764a4 pushed by zstone1
September 19, 2024 13:04 12m 52s master
master
September 19, 2024 13:04 12m 52s
Unpointed topologies with no backwards compatibility (#1312) Nix CI for bundle master #93: Commit a356624 pushed by zstone1
September 13, 2024 17:58 12m 43s master
master
September 13, 2024 17:58 12m 43s
fixes #1313 and moves Egorov (#1314) Nix CI for bundle master #92: Commit f718317 pushed by zstone1
September 8, 2024 14:48 11m 16s master
master
September 8, 2024 14:48 11m 16s
rm warnings mathcomp-2.1.0 (#1223) Nix CI for bundle master #91: Commit 0e6b422 pushed by zstone1
May 22, 2024 00:52 46m 54s master
master
May 22, 2024 00:52 46m 54s