Skip to content

Actions: UniMath/agda-unimath

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Hom-ring, ℤ, ℚ, etc. agda-unimath CI #10468: Pull request #1452 synchronize by malarbol
July 20, 2025 14:29 3m 32s malarbol:hom-ring-Z-Q
malarbol:hom-ring-Z-Q
July 20, 2025 14:29 3m 32s
Hom-ring, ℤ, ℚ, etc. agda-unimath CI #10467: Pull request #1452 synchronize by malarbol
July 20, 2025 14:11 3m 15s malarbol:hom-ring-Z-Q
malarbol:hom-ring-Z-Q
July 20, 2025 14:11 3m 15s
Hom-ring, ℤ, ℚ, etc. agda-unimath CI #10466: Pull request #1452 synchronize by malarbol
July 20, 2025 13:22 3m 17s malarbol:hom-ring-Z-Q
malarbol:hom-ring-Z-Q
July 20, 2025 13:22 3m 17s
Hom-ring, ℤ, ℚ, etc. agda-unimath CI #10465: Pull request #1452 synchronize by malarbol
July 20, 2025 00:55 3m 32s malarbol:hom-ring-Z-Q
malarbol:hom-ring-Z-Q
July 20, 2025 00:55 3m 32s
Hom-ring, ℤ, ℚ, etc. agda-unimath CI #10464: Pull request #1452 synchronize by malarbol
July 18, 2025 23:37 3m 18s malarbol:hom-ring-Z-Q
malarbol:hom-ring-Z-Q
July 18, 2025 23:37 3m 18s
Hom-ring, ℤ, ℚ, etc. agda-unimath CI #10463: Pull request #1452 synchronize by malarbol
July 18, 2025 23:28 3m 25s malarbol:hom-ring-Z-Q
malarbol:hom-ring-Z-Q
July 18, 2025 23:28 3m 25s
Hom-ring, ℤ, ℚ, etc. agda-unimath CI #10462: Pull request #1452 synchronize by malarbol
July 18, 2025 23:14 3m 27s malarbol:hom-ring-Z-Q
malarbol:hom-ring-Z-Q
July 18, 2025 23:14 3m 27s
Hom-ring, ℤ, ℚ, etc. agda-unimath CI #10461: Pull request #1452 synchronize by malarbol
July 18, 2025 20:20 3m 21s malarbol:hom-ring-Z-Q
malarbol:hom-ring-Z-Q
July 18, 2025 20:20 3m 21s
Hom-ring, ℤ, ℚ, etc. agda-unimath CI #10460: Pull request #1452 synchronize by malarbol
July 18, 2025 19:51 3m 17s malarbol:hom-ring-Z-Q
malarbol:hom-ring-Z-Q
July 18, 2025 19:51 3m 17s
Hom-ring, ℤ, ℚ, etc. agda-unimath CI #10459: Pull request #1452 synchronize by malarbol
July 18, 2025 18:28 3m 28s malarbol:hom-ring-Z-Q
malarbol:hom-ring-Z-Q
July 18, 2025 18:28 3m 28s
Refactor metric spaces agda-unimath CI #10458: Pull request #1450 synchronize by malarbol
July 18, 2025 01:57 3m 59s malarbol:refactor-metric-spaces-next
malarbol:refactor-metric-spaces-next
July 18, 2025 01:57 3m 59s
Refactor metric spaces agda-unimath CI #10457: Pull request #1450 synchronize by malarbol
July 18, 2025 01:53 58s malarbol:refactor-metric-spaces-next
malarbol:refactor-metric-spaces-next
July 18, 2025 01:53 58s
The Whitehead principle agda-unimath CI #10456: Pull request #1453 ready_for_review by djspacewhale
July 17, 2025 13:14 3m 41s djspacewhale:whitehead-principle
djspacewhale:whitehead-principle
July 17, 2025 13:14 3m 41s
The Whitehead principle agda-unimath CI #10455: Pull request #1453 synchronize by djspacewhale
July 17, 2025 13:13 1m 5s djspacewhale:whitehead-principle
djspacewhale:whitehead-principle
July 17, 2025 13:13 1m 5s
Hom-ring, ℤ, ℚ, etc. agda-unimath CI #10454: Pull request #1452 synchronize by malarbol
July 17, 2025 00:25 3m 11s malarbol:hom-ring-Z-Q
malarbol:hom-ring-Z-Q
July 17, 2025 00:25 3m 11s
The Whitehead principle agda-unimath CI #10453: Pull request #1453 synchronize by djspacewhale
July 17, 2025 00:08 3m 41s djspacewhale:whitehead-principle
djspacewhale:whitehead-principle
July 17, 2025 00:08 3m 41s
The Whitehead principle agda-unimath CI #10452: Pull request #1453 opened by djspacewhale
July 17, 2025 00:06 1m 46s djspacewhale:whitehead-principle
djspacewhale:whitehead-principle
July 17, 2025 00:06 1m 46s
Rational abelian groups agda-unimath CI #10451: Pull request #1451 synchronize by djspacewhale
July 16, 2025 21:49 1m 34s djspacewhale:rational-abelian-groups
djspacewhale:rational-abelian-groups
July 16, 2025 21:49 1m 34s
Update category theory tables and define category of simplicial sets agda-unimath CI #10450: Pull request #1440 synchronize by fredrik-bakke
July 16, 2025 21:19 17m 15s fredrik-bakke:update-table
fredrik-bakke:update-table
July 16, 2025 21:19 17m 15s
Update category theory tables and define category of simplicial sets agda-unimath CI #10449: Pull request #1440 synchronize by fredrik-bakke
July 16, 2025 21:17 2m 44s fredrik-bakke:update-table
fredrik-bakke:update-table
July 16, 2025 21:17 2m 44s
Hom-ring, ℤ, ℚ, etc. agda-unimath CI #10448: Pull request #1452 synchronize by malarbol
July 16, 2025 21:00 3m 41s malarbol:hom-ring-Z-Q
malarbol:hom-ring-Z-Q
July 16, 2025 21:00 3m 41s
Refactor metric spaces agda-unimath CI #10447: Pull request #1450 synchronize by malarbol
July 16, 2025 19:15 3m 23s malarbol:refactor-metric-spaces-next
malarbol:refactor-metric-spaces-next
July 16, 2025 19:15 3m 23s
Refactor metric spaces agda-unimath CI #10446: Pull request #1450 synchronize by malarbol
July 16, 2025 17:55 4m 50s malarbol:refactor-metric-spaces-next
malarbol:refactor-metric-spaces-next
July 16, 2025 17:55 4m 50s
Refactor metric spaces agda-unimath CI #10445: Pull request #1450 synchronize by malarbol
July 16, 2025 16:42 3m 25s malarbol:refactor-metric-spaces-next
malarbol:refactor-metric-spaces-next
July 16, 2025 16:42 3m 25s
Refactor metric spaces agda-unimath CI #10444: Pull request #1450 synchronize by malarbol
July 16, 2025 02:53 4m 12s malarbol:refactor-metric-spaces-next
malarbol:refactor-metric-spaces-next
July 16, 2025 02:53 4m 12s