Skip to content

Actions: the1lab/1lab

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Finiteness in terms of lists
Build #3598: Pull request #477 synchronize by plt-amy
March 18, 2025 20:57 9m 47s aliao/list-sigma
March 18, 2025 20:57 9m 47s
Finiteness in terms of lists
PR Preview #952: Pull request #477 synchronize by plt-amy
March 18, 2025 20:57 2m 6s aliao/list-sigma
March 18, 2025 20:57 2m 6s
more feedback
Build #3597: Commit c9476cf pushed by plt-amy
March 18, 2025 20:57 9m 52s aliao/list-sigma
March 18, 2025 20:57 9m 52s
Finiteness in terms of lists
PR Preview #951: Pull request #477 synchronize by plt-amy
March 18, 2025 20:31 1m 56s aliao/list-sigma
March 18, 2025 20:31 1m 56s
Finiteness in terms of lists
Build #3596: Pull request #477 synchronize by plt-amy
March 18, 2025 20:31 23m 41s aliao/list-sigma
March 18, 2025 20:31 23m 41s
review feedback p1
Build #3595: Commit ce92617 pushed by plt-amy
March 18, 2025 20:31 23m 39s aliao/list-sigma
March 18, 2025 20:31 23m 39s
Finiteness in terms of lists
Build #3594: Pull request #477 synchronize by plt-amy
March 18, 2025 19:58 15m 36s aliao/list-sigma
March 18, 2025 19:58 15m 36s
Finiteness in terms of lists
PR Preview #950: Pull request #477 synchronize by plt-amy
March 18, 2025 19:58 7m 18s aliao/list-sigma
March 18, 2025 19:58 7m 18s
Update src/Data/Fin/Finite.lagda.md
Build #3593: Commit 0636d13 pushed by plt-amy
March 18, 2025 19:58 15m 46s aliao/list-sigma
March 18, 2025 19:58 15m 46s
Finiteness in terms of lists
Build #3592: Pull request #477 synchronize by plt-amy
March 18, 2025 19:51 7m 0s aliao/list-sigma
March 18, 2025 19:51 7m 0s
Finiteness in terms of lists
PR Preview #949: Pull request #477 synchronize by plt-amy
March 18, 2025 19:51 7m 42s aliao/list-sigma
March 18, 2025 19:51 7m 42s
Update src/Data/Fin/Finite.lagda.md
Build #3591: Commit c7f1d64 pushed by plt-amy
March 18, 2025 19:51 6m 58s aliao/list-sigma
March 18, 2025 19:51 6m 58s
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