Skip to content

Actions: the1lab/1lab

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

defn: Subobject classifiers (#411)
Build #3590: Commit 8a20dfc pushed by plt-amy
March 17, 2025 23:13 24m 43s main
March 17, 2025 23:13 24m 43s
Finiteness in terms of lists
PR Preview #948: Pull request #477 synchronize by plt-amy
March 17, 2025 13:45 2m 4s aliao/list-sigma
March 17, 2025 13:45 2m 4s
Finiteness in terms of lists
Build #3589: Pull request #477 synchronize by plt-amy
March 17, 2025 13:45 3m 13s aliao/list-sigma
March 17, 2025 13:45 3m 13s
finish powerset
Build #3588: Commit 0c52b14 pushed by plt-amy
March 17, 2025 13:45 3m 14s aliao/list-sigma
March 17, 2025 13:45 3m 14s
defn: free groups in terms of words
Build #3587: Pull request #470 synchronize by plt-amy
March 17, 2025 13:45 3m 10s aliao/free-group-words
March 17, 2025 13:45 3m 10s
defn: free groups in terms of words
PR Preview #947: Pull request #470 synchronize by plt-amy
March 17, 2025 13:45 2m 2s aliao/free-group-words
March 17, 2025 13:45 2m 2s
defn: free groups in terms of words
Build #3586: Commit 7f598e9 pushed by plt-amy
March 17, 2025 13:45 3m 12s aliao/free-group-words
March 17, 2025 13:45 3m 12s
Elementary topos nonsense
Build #3585: Pull request #411 synchronize by plt-amy
March 17, 2025 13:45 3m 15s aliao/elementary-topoi
March 17, 2025 13:45 3m 15s
Elementary topos nonsense
PR Preview #946: Pull request #411 synchronize by plt-amy
March 17, 2025 13:45 1m 59s aliao/elementary-topoi
March 17, 2025 13:45 1m 59s
normalise names
Build #3584: Commit 5478063 pushed by plt-amy
March 17, 2025 13:45 3m 11s aliao/elementary-topoi
March 17, 2025 13:45 3m 11s
chore: adotalypse
Build #3583: Commit 2806523 pushed by plt-amy
March 17, 2025 12:40 19m 51s main
March 17, 2025 12:40 19m 51s
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
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
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
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
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
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
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
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
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
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
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
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
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
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
March 17, 2025 11:39 20m 22s