Skip to content

Actions: the1lab/1lab

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,576 workflow runs
1,576 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

cleanup is-iso PR Preview #992: Pull request #487 synchronize by plt-amy
April 20, 2025 16:42 1m 57s aliao/iso-cleanup
aliao/iso-cleanup
April 20, 2025 16:42 1m 57s
cleanup is-iso Build #3685: Pull request #487 synchronize by plt-amy
April 20, 2025 16:42 20m 17s aliao/iso-cleanup
aliao/iso-cleanup
April 20, 2025 16:42 20m 17s
realign those Build #3684: Commit ff5d710 pushed by plt-amy
April 20, 2025 16:42 20m 58s aliao/iso-cleanup
aliao/iso-cleanup
April 20, 2025 16:42 20m 58s
cleanup is-iso PR Preview #991: Pull request #487 synchronize by plt-amy
April 20, 2025 16:39 2m 0s aliao/iso-cleanup
aliao/iso-cleanup
April 20, 2025 16:39 2m 0s
cleanup is-iso Build #3683: Pull request #487 synchronize by plt-amy
April 20, 2025 16:39 3m 32s aliao/iso-cleanup
aliao/iso-cleanup
April 20, 2025 16:39 3m 32s
realign those Build #3682: Commit a3e6fb8 pushed by plt-amy
April 20, 2025 16:39 3m 32s aliao/iso-cleanup
aliao/iso-cleanup
April 20, 2025 16:39 3m 32s
chore: dot typo Build #3681: Commit 88a18ad pushed by plt-amy
April 18, 2025 22:38 20m 24s main
main
April 18, 2025 22:38 20m 24s
chore: dot typo Build #3680: Pull request #488 opened by 4e554c4c
April 18, 2025 22:17 19m 41s 4e554c4c:dott
4e554c4c:dott
April 18, 2025 22:17 19m 41s
chore: dot typo PR Preview #990: Pull request #488 opened by 4e554c4c
April 18, 2025 22:17 7m 8s 4e554c4c:dott
4e554c4c:dott
April 18, 2025 22:17 7m 8s
cleanup is-iso Build #3679: Pull request #487 synchronize by plt-amy
April 16, 2025 14:05 20m 58s aliao/iso-cleanup
aliao/iso-cleanup
April 16, 2025 14:05 20m 58s
cleanup is-iso PR Preview #989: Pull request #487 synchronize by plt-amy
April 16, 2025 14:05 7m 20s aliao/iso-cleanup
aliao/iso-cleanup
April 16, 2025 14:05 7m 20s
cleanup is-iso Build #3678: Commit 6427936 pushed by plt-amy
April 16, 2025 14:05 21m 3s aliao/iso-cleanup
aliao/iso-cleanup
April 16, 2025 14:05 21m 3s
defn: initial objects as limits Build #3677: Commit 646b0e6 pushed by plt-amy
April 16, 2025 13:59 4m 14s main
main
April 16, 2025 13:59 4m 14s
cleanup is-iso Build #3676: Pull request #487 opened by plt-amy
April 16, 2025 13:59 6m 3s aliao/iso-cleanup
aliao/iso-cleanup
April 16, 2025 13:59 6m 3s
cleanup is-iso PR Preview #988: Pull request #487 opened by plt-amy
April 16, 2025 13:59 7m 13s aliao/iso-cleanup
aliao/iso-cleanup
April 16, 2025 13:59 7m 13s
cleanup is-iso Build #3675: Commit 0ddc089 pushed by plt-amy
April 16, 2025 13:58 7m 20s aliao/iso-cleanup
aliao/iso-cleanup
April 16, 2025 13:58 7m 20s
basics of realizability PR Preview #987: Pull request #482 synchronize by plt-amy
April 16, 2025 12:09 7m 4s aliao/realisability
aliao/realisability
April 16, 2025 12:09 7m 4s
basics of realizability Build #3674: Pull request #482 synchronize by plt-amy
April 16, 2025 12:09 25m 46s aliao/realisability
aliao/realisability
April 16, 2025 12:09 25m 46s
defn: Asm(𝔸) is not univalent Build #3673: Commit 97376da pushed by plt-amy
April 16, 2025 12:09 26m 11s aliao/realisability
aliao/realisability
April 16, 2025 12:09 26m 11s
defn: free groups in terms of words Build #3672: Pull request #470 synchronize by plt-amy
April 16, 2025 12:07 21m 13s aliao/free-group-words
aliao/free-group-words
April 16, 2025 12:07 21m 13s
defn: free groups in terms of words PR Preview #986: Pull request #470 synchronize by plt-amy
April 16, 2025 12:07 7m 1s aliao/free-group-words
aliao/free-group-words
April 16, 2025 12:07 7m 1s
defn: free groups in terms of words Build #3671: Commit 474f918 pushed by plt-amy
April 16, 2025 12:07 21m 26s aliao/free-group-words
aliao/free-group-words
April 16, 2025 12:07 21m 26s
defn: initial objects as limits Build #3670: Pull request #486 opened by plt-amy
April 16, 2025 12:06 3m 51s aliao/initial-as-limit
aliao/initial-as-limit
April 16, 2025 12:06 3m 51s
defn: initial objects as limits PR Preview #985: Pull request #486 opened by plt-amy
April 16, 2025 12:06 7m 9s aliao/initial-as-limit
aliao/initial-as-limit
April 16, 2025 12:06 7m 9s
defn: initial objects as limits Build #3669: Commit 8c350ce pushed by plt-amy
April 16, 2025 12:06 3m 33s aliao/initial-as-limit
aliao/initial-as-limit
April 16, 2025 12:06 3m 33s