8000 Build · Workflow runs · the1lab/1lab · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

Actions: the1lab/1lab

Actions

Build

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build.yml
1,211 workflow runs
1,211 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

fixup: pointed map subscript Build #3935: Commit a4fba4d pushed by plt-amy
June 28, 2025 22:17 3m 52s aliao/cleanup
aliao/cleanup
June 28, 2025 22:17 3m 52s
defn: homotopy theory helpers Build #3934: Commit 1ef76c1 pushed by plt-amy
June 28, 2025 21:52 21m 34s aliao/cleanup
aliao/cleanup
June 28, 2025 21:52 21m 34s
defn: homotopy theory helpers Build #3933: Commit 99ea381 pushed by plt-amy
June 28, 2025 20:27 18m 53s aliao/cleanup
aliao/cleanup
June 28, 2025 20:27 18m 53s
defn: homotopy theory helpers Build #3932: Commit d524d7a pushed by plt-amy
June 28, 2025 20:05 7m 8s aliao/cleanup
aliao/cleanup
June 28, 2025 20:05 7m 8s
Popups for header definitions Build #3931: Pull request #484 synchronize by TOTBWF
June 27, 2025 17:51 21m 9s aliao/definition-cleanup
aliao/definition-cleanup
June 27, 2025 17:51 21m 9s
10000
Merge branch 'main' into aliao/definition-cleanup Build #3930: Commit da48cfe pushed by TOTBWF
June 27, 2025 17:51 22m 35s aliao/definition-cleanup
aliao/definition-cleanup
June 27, 2025 17:51 22m 35s
Split Surjectivity Build #3929: Pull request #499 synchronize by TOTBWF
June 27, 2025 17:45 22m 31s split-surjectivity
split-surjectivity
June 27, 2025 17:45 22m 31s
Merge branch 'main' into split-surjectivity Build #3928: Commit a3e1736 pushed by TOTBWF
June 27, 2025 17:45 21m 53s split-surjectivity
split-surjectivity
June 27, 2025 17:45 21m 53s
chore: fixup pushouts Build #3927: Commit dc5f883 pushed by plt-amy
June 27, 2025 15:26 22m 14s aliao/cleanup
aliao/cleanup
June 27, 2025 15:26 22m 14s
chore: fixup pushouts Build #3926: Commit d68fece pushed by plt-amy
June 27, 2025 15:16 8m 56s aliao/cleanup
aliao/cleanup
June 27, 2025 15:16 8m 56s
chore: fix inconsistencies in Limit.Base Build #3925: Commit 11f4672 pushed by plt-amy
June 27, 2025 14:51 11m 51s main
main
June 27, 2025 14:51 11m 51s
chore: rename N → north, S → south Build #3924: Commit 0c7b433 pushed by plt-amy
June 27, 2025 14:34 8m 49s aliao/cleanup
aliao/cleanup
June 27, 2025 14:34 8m 49s
chore: fix inconsistencies in Limit.Base Build #3923: Pull request #515 synchronize by jake-87
June 27, 2025 14:24 11m 59s jake-87:patch-1
jake-87:patch-1
June 27, 2025 14:24 11m 59s
chore: fix inconsistencies in Limit.Base Build #3922: Pull request #515 synchronize by jake-87
June 27, 2025 14:15 9m 35s jake-87:patch-1
jake-87:patch-1
June 27, 2025 14:15 9m 35s
chore: fix inconsistencies in Limit.Base Build #3921: Pull request #515 synchronize by jake-87
June 27, 2025 14:06 9m 16s jake-87:patch-1
jake-87:patch-1
June 27, 2025 14:06 9m 16s
chore: fix inconsistencies in Limit.Base Build #3920: Pull request #515 opened by jake-87
June 27, 2025 13:52 11m 37s jake-87:patch-1
jake-87:patch-1
June 27, 2025 13:52 11m 37s
chore: fixup Σ-contr{act,-eqv} Build #3919: Commit 5079d75 pushed by plt-amy
June 27, 2025 11:03 22m 39s aliao/cleanup
aliao/cleanup
June 27, 2025 11:03 22m 39s
fixup Build #3918: Commit b7ca5ab pushed by plt-amy
June 26, 2025 14:51 22m 29s aliao/cleanup
aliao/cleanup
June 26, 2025 14:51 22m 29s
chore: one billion naming fixes Build #3917: Commit ffaf483 pushed by plt-amy
June 26, 2025 14:29 19m 32s aliao/cleanup
aliao/cleanup
June 26, 2025 14:29 19m 32s
defn: conceptual proof that ΩS¹ ≃ Int (#513) Build #3916: Commit a82d35c pushed by plt-amy
June 26, 2025 13:02 5m 1s main
main
June 26, 2025 13:02 5m 1s
defn: conceptual proof that ΩS¹ ≃ Int Build #3915: Pull request #513 synchronize by plt-amy
June 26, 2025 12:57 3m 26s aliao/new-omega-s1
aliao/new-omega-s1
June 26, 2025 12:57 3m 26s
fixup: incorrect index Build #3914: Commit a584e2b pushed by plt-amy
June 26, 2025 12:57 4m 24s aliao/new-omega-s1
aliao/new-omega-s1
June 26, 2025 12:57 4m 24s
defn: conceptual proof that ΩS¹ ≃ Int Build #3913: Pull request #513 synchronize by plt-amy
June 26, 2025 12:31 4m 27s aliao/new-omega-s1
aliao/new-omega-s1
June 26, 2025 12:31 4m 27s
fixup: incorrect index Build #3912: Commit 86444c1 pushed by plt-amy
June 26, 2025 12:31 4m 38s aliao/new-omega-s1
aliao/new-omega-s1
June 26, 2025 12:31 4m 38s
defn: conceptual proof that ΩS¹ ≃ Int Build #3911: Pull request #513 synchronize by plt-amy
June 21, 2025 11:47 4m 41s aliao/new-omega-s1
aliao/new-omega-s1
June 21, 2025 11:47 4m 41s
0