Skip to content

Actions: the1lab/1lab

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Elementary topos nonsense PR Preview #931: Pull request #411 synchronize by plt-amy
March 8, 2025 14:31 1m 56s aliao/elementary-topoi
aliao/elementary-topoi
March 8, 2025 14:31 1m 56s
Elementary topos nonsense Build #3548: Pull request #411 synchronize by plt-amy
March 8, 2025 14:31 5m 9s aliao/elementary-topoi
aliao/elementary-topoi
March 8, 2025 14:31 5m 9s
ඞ Build #3547: Commit 4427036 pushed by plt-amy
March 8, 2025 14:31 4m 56s aliao/elementary-topoi
aliao/elementary-topoi
March 8, 2025 14:31 4m 56s
Elementary topos nonsense Build #3546: Pull request #411 synchronize by plt-amy
March 8, 2025 14:31 51s aliao/elementary-topoi
aliao/elementary-topoi
March 8, 2025 14:31 51s
Elementary topos nonsense PR Preview #930: Pull request #411 synchronize by plt-amy
March 8, 2025 14:31 1m 54s aliao/elementary-topoi
aliao/elementary-topoi
March 8, 2025 14:31 1m 54s
first, clean up the first first. Build #3545: Commit 08b465a pushed by plt-amy
March 8, 2025 14:31 54s aliao/elementary-topoi
aliao/elementary-topoi
March 8, 2025 14:31 54s
Elementary topos nonsense Build #3544: Pull request #411 synchronize by plt-amy
March 8, 2025 14:29 1m 56s aliao/elementary-topoi
aliao/elementary-topoi
March 8, 2025 14:29 1m 56s
Elementary topos nonsense PR Preview #929: Pull request #411 synchronize by plt-amy
March 8, 2025 14:29 1m 50s aliao/elementary-topoi
aliao/elementary-topoi
March 8, 2025 14:29 1m 50s
merge right-adjoint→is-monic Build #3543: Commit 70577a4 pushed by plt-amy
March 8, 2025 14:29 1m 55s aliao/elementary-topoi
aliao/elementary-topoi
March 8, 2025 14:29 1m 55s
Elementary topos nonsense Build #3542: Pull request #411 synchronize by plt-amy
March 8, 2025 14:26 3m 0s aliao/elementary-topoi
aliao/elementary-topoi
March 8, 2025 14:26 3m 0s
Elementary topos nonsense PR Preview #928: Pull request #411 synchronize by plt-amy
March 8, 2025 14:26 1m 57s aliao/elementary-topoi
aliao/elementary-topoi
March 8, 2025 14:26 1m 57s
connect generic subobjects and generic sub-objects Build #3541: Commit ddaccf7 pushed by plt-amy
March 8, 2025 14:26 2m 58s aliao/elementary-topoi
aliao/elementary-topoi
March 8, 2025 14:26 2m 58s
Elementary topos nonsense Build #3540: Pull request #411 synchronize by plt-amy
March 7, 2025 19:46 3m 38s aliao/elementary-topoi
aliao/elementary-topoi
March 7, 2025 19:46 3m 38s
Elementary topos nonsense PR Preview #927: Pull request #411 synchronize by plt-amy
March 7, 2025 19:46 1m 57s aliao/elementary-topoi
aliao/elementary-topoi
March 7, 2025 19:46 1m 57s
defn: subobject classifier for finite sets Build #3539: Commit 63aaafe pushed by plt-amy
March 7, 2025 19:46 3m 40s aliao/elementary-topoi
aliao/elementary-topoi
March 7, 2025 19:46 3m 40s
Discrete cocartesian fibrations Build #3538: Pull request #458 synchronize by TOTBWF
March 7, 2025 18:29 19m 57s discrete-cocartesian
discrete-cocartesian
March 7, 2025 18:29 19m 57s
Discrete cocartesian fibrations PR Preview #926: Pull request #458 synchronize by TOTBWF
March 7, 2025 18:29 2m 50s discrete-cocartesian
discrete-cocartesian
March 7, 2025 18:29 2m 50s
Merge branch 'main' into discrete-cocartesian Build #3537: Commit e5236cd pushed by TOTBWF
March 7, 2025 18:29 20m 6s discrete-cocartesian
discrete-cocartesian
March 7, 2025 18:29 20m 6s
Elementary topos nonsense PR Preview #925: Pull request #411 synchronize by plt-amy
March 7, 2025 18:11 1m 58s aliao/elementary-topoi
aliao/elementary-topoi
March 7, 2025 18:11 1m 58s
Elementary topos nonsense Build #3536: Pull request #411 synchronize by plt-amy
March 7, 2025 18:11 3m 52s aliao/elementary-topoi
aliao/elementary-topoi
March 7, 2025 18:11 3m 52s
cleanup Build #3535: Commit 376903d pushed by plt-amy
March 7, 2025 18:11 4m 10s aliao/elementary-topoi
aliao/elementary-topoi
March 7, 2025 18:11 4m 10s
Elementary topos nonsense PR Preview #924: Pull request #411 synchronize by plt-amy
March 7, 2025 18:06 1m 55s aliao/elementary-topoi
aliao/elementary-topoi
March 7, 2025 18:06 1m 55s
Elementary topos nonsense Build #3534: Pull request #411 synchronize by plt-amy
March 7, 2025 18:06 3m 15s aliao/elementary-topoi
aliao/elementary-topoi
March 7, 2025 18:06 3m 15s
cleanup Build #3533: Commit 297f881 pushed by plt-amy
March 7, 2025 18:06 3m 21s aliao/elementary-topoi
aliao/elementary-topoi
March 7, 2025 18:06 3m 21s
Elementary topos nonsense PR Preview #923: Pull request #411 synchronize by plt-amy
March 7, 2025 17:40 1m 57s aliao/elementary-topoi
aliao/elementary-topoi
March 7, 2025 17:40 1m 57s