Skip to content

Actions: the1lab/1lab

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

defn: free groups in terms of words PR Preview #945: Pull request #470 synchronize by plt-amy
March 17, 2025 12:34 6m 51s aliao/free-group-words
aliao/free-group-words
March 17, 2025 12:34 6m 51s
defn: free groups in terms of words Build #3582: Pull request #470 synchronize by plt-amy
March 17, 2025 12:34 19m 47s aliao/free-group-words
aliao/free-group-words
March 17, 2025 12:34 19m 47s
defn: free groups in terms of words Build #3581: Commit ae2a56b pushed by plt-amy
March 17, 2025 12:34 19m 41s aliao/free-group-words
aliao/free-group-words
March 17, 2025 12:34 19m 41s
Finiteness in terms of lists PR Preview #944: Pull request #477 synchronize by plt-amy
March 17, 2025 12:33 2m 0s aliao/list-sigma
aliao/list-sigma
March 17, 2025 12:33 2m 0s
Finiteness in terms of lists Build #3580: Pull request #477 synchronize by plt-amy
March 17, 2025 12:33 20m 16s aliao/list-sigma
aliao/list-sigma
March 17, 2025 12:33 20m 16s
finish powerset Build #3579: Commit 32e395d pushed by plt-amy
March 17, 2025 12:33 20m 23s aliao/list-sigma
aliao/list-sigma
March 17, 2025 12:33 20m 23s
Elementary topos nonsense Build #3578: Pull request #411 synchronize by plt-amy
March 17, 2025 12:28 19m 38s aliao/elementary-topoi
aliao/elementary-topoi
March 17, 2025 12:28 19m 38s
Elementary topos nonsense PR Preview #943: Pull request #411 synchronize by plt-amy
March 17, 2025 12:28 2m 11s aliao/elementary-topoi
aliao/elementary-topoi
March 17, 2025 12:28 2m 11s
normalise names Build #3577: Commit d91abf6 pushed by plt-amy
March 17, 2025 12:28 19m 36s aliao/elementary-topoi
aliao/elementary-topoi
March 17, 2025 12:28 19m 36s
chore: adotalypse PR Preview #942: Pull request #480 opened by plt-amy
March 17, 2025 12:20 7m 8s aliao/dots
aliao/dots
March 17, 2025 12:20 7m 8s
chore: adotalypse Build #3576: Pull request #480 opened by plt-amy
March 17, 2025 12:20 19m 39s aliao/dots
aliao/dots
March 17, 2025 12:20 19m 39s
chore: adotalypse Build #3575: Commit 8887e85 pushed by plt-amy
March 17, 2025 12:20 18m 52s aliao/dots
aliao/dots
March 17, 2025 12:20 18m 52s
Elementary topos nonsense PR Preview #941: Pull request #411 synchronize by plt-amy
March 17, 2025 11:39 2m 15s aliao/elementary-topoi
aliao/elementary-topoi
March 17, 2025 11:39 2m 15s
Elementary topos nonsense Build #3574: Pull request #411 synchronize by plt-amy
March 17, 2025 11:39 20m 22s aliao/elementary-topoi
aliao/elementary-topoi
March 17, 2025 11:39 20m 22s
normalise names Build #3573: Commit 27bd698 pushed by plt-amy
March 17, 2025 11:39 20m 44s aliao/elementary-topoi
aliao/elementary-topoi
March 17, 2025 11:39 20m 44s
Elementary topos nonsense PR Preview #940: Pull request #411 synchronize by plt-amy
March 17, 2025 11:30 2m 19s aliao/elementary-topoi
aliao/elementary-topoi
March 17, 2025 11:30 2m 19s
Elementary topos nonsense Build #3572: Pull request #411 synchronize by plt-amy
March 17, 2025 11:30 9m 46s aliao/elementary-topoi
aliao/elementary-topoi
March 17, 2025 11:30 9m 46s
typos run Build #3571: Commit 170e724 pushed by plt-amy
March 17, 2025 11:30 9m 46s aliao/elementary-topoi
aliao/elementary-topoi
March 17, 2025 11:30 9m 46s
defn: funext≃ Build #3570: Commit 6440ba4 pushed by plt-amy
March 16, 2025 19:55 19m 18s main
main
March 16, 2025 19:55 19m 18s
Based identity systems and other small things PR Preview #939: Pull request #479 synchronize by ncfavier
March 16, 2025 18:14 1m 54s based-identity-systems
based-identity-systems
March 16, 2025 18:14 1m 54s
Based identity systems and other small things Build #3569: Pull request #479 synchronize by ncfavier
March 16, 2025 18:14 18m 54s based-identity-systems
based-identity-systems
March 16, 2025 18:14 18m 54s
defn: funext≃ Build #3568: Commit 21f6404 pushed by ncfavier
March 16, 2025 18:14 19m 8s based-identity-systems
based-identity-systems
March 16, 2025 18:14 19m 8s
reflection.induction: handle erased constructors (#478) Build #3567: Commit 4571f46 pushed by plt-amy
March 16, 2025 18:06 19m 30s main
main
March 16, 2025 18:06 19m 30s
Based identity systems and other small things Build #3566: Pull request #479 opened by ncfavier
March 16, 2025 14:04 19m 11s based-identity-systems
based-identity-systems
March 16, 2025 14:04 19m 11s
Based identity systems and other small things PR Preview #938: Pull request #479 opened by ncfavier
March 16, 2025 14:04 7m 3s based-identity-systems
based-identity-systems
March 16, 2025 14:04 7m 3s