Skip to content

Actions: UniMath/agda-unimath

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
3,653 workflow runs
3,653 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Refactor metric spaces agda-unimath CI #10492: Pull request #1450 synchronize by malarbol
July 25, 2025 01:10 4m 6s malarbol:refactor-metric-spaces-next
malarbol:refactor-metric-spaces-next
July 25, 2025 01:10 4m 6s
Refactor metric spaces agda-unimath CI #10491: Pull request #1450 synchronize by malarbol
July 25, 2025 01:04 3m 38s malarbol:refactor-metric-spaces-next
malarbol:refactor-metric-spaces-next
July 25, 2025 01:04 3m 38s
Refactor metric spaces agda-unimath CI #10490: Pull request #1450 synchronize by malarbol
July 25, 2025 00:14 3m 57s malarbol:refactor-metric-spaces-next
malarbol:refactor-metric-spaces-next
July 25, 2025 00:14 3m 57s
Make rational arithmetic opaque agda-unimath CI #10489: Pull request #1457 synchronize by lowasser
July 24, 2025 23:22 3m 47s lowasser:opacify-rational
lowasser:opacify-rational
July 24, 2025 23:22 3m 47s
Make rational arithmetic opaque agda-unimath CI #10488: Pull request #1457 opened by lowasser
July 24, 2025 23:22 12s lowasser:opacify-rational
lowasser:opacify-rational
July 24, 2025 23:22 12s
Update category theory tables and define category of simplicial sets Clean up caches generated by pull requests #686: Pull request #1440 closed by VojtechStep
July 24, 2025 20:05 13s fredrik-bakke:update-table
fredrik-bakke:update-table
July 24, 2025 20:05 13s
Update category theory tables and define category of simplicial sets … Profile Library Typechecking #283: Commit b198c68 pushed by VojtechStep
July 24, 2025 20:05 13m 15s master
master
July 24, 2025 20:05 13m 15s
Update category theory tables and define category of simplicial sets … agda-unimath CI #10487: Commit b198c68 pushed by VojtechStep
July 24, 2025 20:05 20m 54s master
master
July 24, 2025 20:05 20m 54s
Update category theory tables and define category of simplicial sets … Build and deploy library website #742: Commit b198c68 pushed by VojtechStep
July 24, 2025 20:05 23m 11s master
master
July 24, 2025 20:05 23m 11s
Some standard results on rings and modules agda-unimath CI #10486: Pull request #1454 synchronize by malarbol
July 23, 2025 23:03 3m 35s malarbol:rings-modules-etc
malarbol:rings-modules-etc
July 23, 2025 23:03 3m 35s
The Whitehead principle agda-unimath CI #10485: Pull request #1453 synchronize by djspacewhale
July 23, 2025 17:22 3m 35s djspacewhale:whitehead-principle
djspacewhale:whitehead-principle
July 23, 2025 17:22 3m 35s
Some standard results on rings and modules agda-unimath CI #10484: Pull request #1454 ready_for_review by malarbol
July 22, 2025 23:28 3m 27s malarbol:rings-modules-etc
malarbol:rings-modules-etc
July 22, 2025 23:28 3m 27s
Some standard results on rings and modules agda-unimath CI #10483: Pull request #1454 synchronize by malarbol
July 22, 2025 23:21 4m 17s malarbol:rings-modules-etc
malarbol:rings-modules-etc
July 22, 2025 23:21 4m 17s
Some standard results on rings and modules agda-unimath CI #10482: Pull request #1454 synchronize by malarbol
July 22, 2025 23:11 3m 45s malarbol:rings-modules-etc
malarbol:rings-modules-etc
July 22, 2025 23:11 3m 45s
Some standard results on rings and modules agda-unimath CI #10481: Pull request #1454 synchronize by malarbol
July 22, 2025 23:01 4m 31s malarbol:rings-modules-etc
malarbol:rings-modules-etc
July 22, 2025 23:01 4m 31s
The Whitehead principle agda-unimath CI #10480: Pull request #1453 synchronize by djspacewhale
July 22, 2025 22:28 3m 21s djspacewhale:whitehead-principle
djspacewhale:whitehead-principle
July 22, 2025 22:28 3m 21s
The Whitehead principle agda-unimath CI #10479: Pull request #1453 synchronize by djspacewhale
July 22, 2025 21:54 24m 46s djspacewhale:whitehead-principle
djspacewhale:whitehead-principle
July 22, 2025 21:54 24m 46s
Some standard results on rings and modules agda-unimath CI #10478: Pull request #1454 opened by malarbol
July 22, 2025 19:25 27m 5s malarbol:rings-modules-etc
malarbol:rings-modules-etc
July 22, 2025 19:25 27m 5s
Hom-ring, ℤ, ℚ, etc. agda-unimath CI #10477: Pull request #1452 synchronize by malarbol
July 21, 2025 19:33 3m 18s malarbol:hom-ring-Z-Q
malarbol:hom-ring-Z-Q
July 21, 2025 19:33 3m 18s
Hom-ring, ℤ, ℚ, etc. agda-unimath CI #10476: Pull request #1452 synchronize by malarbol
July 21, 2025 18:55 3m 24s malarbol:hom-ring-Z-Q
malarbol:hom-ring-Z-Q
July 21, 2025 18:55 3m 24s
Hom-ring, ℤ, ℚ, etc. agda-unimath CI #10475: Pull request #1452 synchronize by malarbol
July 21, 2025 18:33 3m 46s malarbol:hom-ring-Z-Q
malarbol:hom-ring-Z-Q
July 21, 2025 18:33 3m 46s
Hom-ring, ℤ, ℚ, etc. agda-unimath CI #10474: Pull request #1452 synchronize by malarbol
July 21, 2025 18:18 3m 46s malarbol:hom-ring-Z-Q
malarbol:hom-ring-Z-Q
July 21, 2025 18:18 3m 46s
Hom-ring, ℤ, ℚ, etc. agda-unimath CI #10473: Pull request #1452 synchronize by malarbol
July 20, 2025 23:19 3m 33s malarbol:hom-ring-Z-Q
malarbol:hom-ring-Z-Q
July 20, 2025 23:19 3m 33s
Hom-ring, ℤ, ℚ, etc. agda-unimath CI #10472: Pull request #1452 synchronize by malarbol
July 20, 2025 22:41 3m 26s malarbol:hom-ring-Z-Q
malarbol:hom-ring-Z-Q
July 20, 2025 22:41 3m 26s
Hom-ring, ℤ, ℚ, etc. agda-unimath CI #10471: Pull request #1452 synchronize by malarbol
July 20, 2025 20:33 3m 34s malarbol:hom-ring-Z-Q
malarbol:hom-ring-Z-Q
July 20, 2025 20:33 3m 34s