Skip to content

Actions: pi-base/data

Actions

compile

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
compile.yml
2,916 workflow runs
2,916 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Improved space names compile #4488: Commit 9a2f5fe pushed by prabau
April 10, 2025 05:15 23s space-names
space-names
April 10, 2025 05:15 23s
S212: Lexicographic Hilbert cube (#1281) compile #4487: Commit 5bafb41 pushed by prabau
April 7, 2025 23:45 18s main
main
April 7, 2025 23:45 18s
P76 compile #4486: Commit 3aa7d8d pushed by prabau
April 7, 2025 22:47 23s prabau/lex-hilbert
prabau/lex-hilbert
April 7, 2025 22:47 23s
T723: Biconnected + US => totally path disconnected (#1280) compile #4485: Commit 20bab5a pushed by pzjp
April 7, 2025 15:18 18s main
main
April 7, 2025 15:18 18s
S212: Lexicographic Hilbert cube compile #4484: Commit 2e6090d pushed by prabau
April 7, 2025 04:27 21s prabau/lex-hilbert
prabau/lex-hilbert
April 7, 2025 04:27 21s
P61 P28 compile #4483: Commit 688e2a2 pushed by prabau
April 7, 2025 04:16 40s prabau/lex-hilbert
prabau/lex-hilbert
April 7, 2025 04:16 40s
P61 compile #4482: Commit 43a7e13 pushed by prabau
April 6, 2025 22:33 26s prabau/lex-hilbert
prabau/lex-hilbert
April 6, 2025 22:33 26s
P28 compile #4481: Commit a20e774 pushed by prabau
April 6, 2025 19:51 17s prabau/lex-hilbert
prabau/lex-hilbert
April 6, 2025 19:51 17s
S212: Lexicographic Hilbert cube compile #4480: Commit ce0b5c5 pushed by prabau
April 6, 2025 19:46 16s prabau/lex-hilbert
prabau/lex-hilbert
April 6, 2025 19:46 16s
T723: Biconnected + US => totally path disconnected compile #4479: Commit 21febad pushed by prabau
April 2, 2025 05:51 18s T723-biconn
T723-biconn
April 2, 2025 05:51 18s
Traits for topologist's sine curves S113, S114 compile #4478: Commit bed15e8 pushed by prabau
April 1, 2025 05:12 23s sine-curves-traits
sine-curves-traits
April 1, 2025 05:12 23s
Traits for topologist's sine curves S113, S114 compile #4477: Commit 49fec9d pushed by prabau
April 1, 2025 05:02 18s sine-curves-traits
sine-curves-traits
April 1, 2025 05:02 18s
Traits for topologist's sine curves S113, S114 compile #4476: Commit aa467b8 pushed by prabau
April 1, 2025 04:05 29s sine-curves-traits
sine-curves-traits
April 1, 2025 04:05 29s
T722: nontrivial LOTS are not biconnected (#1274) compile #4475: Commit 524857b pushed by prabau
March 26, 2025 01:56 22s main
main
March 26, 2025 01:56 22s
T722: nontrivial LOTS are not biconnected compile #4474: Commit b402598 pushed by prabau
March 25, 2025 19:33 19s lots-biconn
lots-biconn
March 25, 2025 19:33 19s
Cleanup S41 (Lexicographic unit square) (#1273) compile #4473: Commit d0a6b4a pushed by prabau
March 25, 2025 05:09 24s main
main
March 25, 2025 05:09 24s
P37 - P46 tweak compile #4472: Commit 8787b42 pushed by prabau
March 25, 2025 04:50 22s s41-cleanup
s41-cleanup
March 25, 2025 04:50 22s
fix: missing <p, q> in S41|P28 compile #4471: Commit 3500899 pushed by yhx-12243
March 25, 2025 03:41 18s s41-cleanup
s41-cleanup
March 25, 2025 03:41 18s
Apply suggestions from code review compile #4470: Commit 982bc45 pushed by yhx-12243
March 25, 2025 03:35 19s s41-cleanup
s41-cleanup
March 25, 2025 03:35 19s
Some missing traits for line with two origins and related spaces (#1271) compile #4469: Commit 4cd69b1 pushed by pzjp
March 24, 2025 16:40 19s main
main
March 24, 2025 16:40 19s
Cleanup S41 (Lexicographic unit square) compile #4468: Commit e9718f4 pushed by yhx-12243
March 24, 2025 14:15 24s s41-cleanup
s41-cleanup
March 24, 2025 14:15 24s
rename S210 directory compile #4467: Commit 865faa1 pushed by StevenClontz
March 21, 2025 18:46 24s StevenClontz/kspacelocallycompact
StevenClontz/kspacelocallycompact
March 21, 2025 18:46 24s
update S210 to S211 compile #4466: Commit 98e5dd9 pushed by StevenClontz
March 21, 2025 18:45 16s StevenClontz/kspacelocallycompact
StevenClontz/kspacelocallycompact
March 21, 2025 18:45 16s
S210: Interval [0,1) (#1272) compile #4465: Commit d6eefa6 pushed by StevenClontz
March 21, 2025 16:08 19s main
main
March 21, 2025 16:08 19s
S210: Interval [0,1) compile #4464: Commit 40cc140 pushed by prabau
March 21, 2025 04:35 22s prabau/halfopen
prabau/halfopen
March 21, 2025 04:35 22s