Skip to content

Actions: the1lab/1lab

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
Fix typoes in Cat.Monoidal.Instances.Day (#485) Build #3668: Commit 77f9a16 pushed by plt-amy
April 15, 2025 15:48 4m 20s main
main
April 15, 2025 15:48 4m 20s
Fix typoes in Cat.Monoidal.Instances.Day PR Preview #984: Pull request #485 opened by 4e554c4c
April 14, 2025 14:43 7m 16s 4e554c4c:typoes
4e554c4c:typoes
April 14, 2025 14:43 7m 16s
Fix typoes in Cat.Monoidal.Instances.Day Build #3667: Pull request #485 opened by 4e554c4c
April 14, 2025 14:43 4m 7s 4e554c4c:typoes
4e554c4c:typoes
April 14, 2025 14:43 4m 7s
Popups for header definitions Build #3666: Pull request #484 synchronize by plt-amy
April 11, 2025 13:07 2m 45s aliao/definition-cleanup
aliao/definition-cleanup
April 11, 2025 13:07 2m 45s
Popups for header definitions PR Preview #983: Pull request #484 synchronize by plt-amy
April 11, 2025 13:07 2m 6s aliao/definition-cleanup
aliao/definition-cleanup
April 11, 2025 13:07 2m 6s
fixup warning highlight Build #3665: Commit d31e396 pushed by plt-amy
April 11, 2025 13:07 2m 46s aliao/definition-cleanup
aliao/definition-cleanup
April 11, 2025 13:07 2m 46s
Popups for header definitions Build #3664: Pull request #484 synchronize by plt-amy
April 11, 2025 01:51 26m 11s aliao/definition-cleanup
aliao/definition-cleanup
April 11, 2025 01:51 26m 11s
Popups for header definitions PR Preview #982: Pull request #484 synchronize by plt-amy
April 11, 2025 01:51 8m 19s aliao/definition-cleanup
aliao/definition-cleanup
April 11, 2025 01:51 8m 19s
check markup validity in mangleMarkdown Build #3663: Commit 56581b8 pushed by plt-amy
April 11, 2025 01:51 26m 14s aliao/definition-cleanup
aliao/definition-cleanup
April 11, 2025 01:51 26m 14s