Skip to content

Actions: UniMath/agda-unimath

Actions

agda-unimath CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yaml
1,406 workflow run results
1,406 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Swap order of arguments for lifts of families of elements agda-unimath CI #5476: Pull request #981 synchronize by VojtechStep
December 12, 2023 19:10 13m 59s VojtechStep:refactor/lifts-elements-order
VojtechStep:refactor/lifts-elements-order
December 12, 2023 19:10 13m 59s
Refactor functoriality and various infrastructure for sequential colimits agda-unimath CI #5475: Pull request #978 synchronize by VojtechStep
December 12, 2023 19:10 9m 0s VojtechStep:refactor/functoriality-sequential-colimits
VojtechStep:refactor/functoriality-sequential-colimits
December 12, 2023 19:10 9m 0s
Flattening lemma for sequential colimits agda-unimath CI #5474: Pull request #972 synchronize by VojtechStep
December 12, 2023 19:08 15m 30s VojtechStep:feature/flattening-lemma-sequential-colimits
VojtechStep:feature/flattening-lemma-sequential-colimits
December 12, 2023 19:08 15m 30s
Some minor refactoring surrounding Dedekind reals (#983) agda-unimath CI #5473: Commit 400575e pushed by VojtechStep
December 12, 2023 18:51 14m 15s master
master
December 12, 2023 18:51 14m 15s
Some minor refactoring surrounding Dedekind reals agda-unimath CI #5472: Pull request #983 synchronize by fredrik-bakke
December 12, 2023 18:29 2m 32s fredrik-bakke:format-dedekind
fredrik-bakke:format-dedekind
December 12, 2023 18:29 2m 32s
Some minor refactoring surrounding Dedekind reals agda-unimath CI #5471: Pull request #983 synchronize by fredrik-bakke
December 12, 2023 18:28 1m 34s fredrik-bakke:format-dedekind
fredrik-bakke:format-dedekind
December 12, 2023 18:28 1m 34s
Some minor refactoring surrounding Dedekind reals agda-unimath CI #5470: Pull request #983 ready_for_review by fredrik-bakke
December 12, 2023 18:02 2m 15s fredrik-bakke:format-dedekind
fredrik-bakke:format-dedekind
December 12, 2023 18:02 2m 15s
Some minor refactoring surrounding Dedekind reals agda-unimath CI #5469: Pull request #983 synchronize by fredrik-bakke
December 12, 2023 17:35 15m 49s fredrik-bakke:format-dedekind
fredrik-bakke:format-dedekind
December 12, 2023 17:35 15m 49s
Some minor refactoring surrounding Dedekind reals agda-unimath CI #5468: Pull request #983 ready_for_review by fredrik-bakke
December 12, 2023 17:30 5m 19s fredrik-bakke:format-dedekind
fredrik-bakke:format-dedekind
December 12, 2023 17:30 5m 19s
Some minor refactoring surrounding Dedekind reals agda-unimath CI #5467: Pull request #983 synchronize by fredrik-bakke
December 12, 2023 17:21 9m 12s fredrik-bakke:format-dedekind
fredrik-bakke:format-dedekind
December 12, 2023 17:21 9m 12s
Some minor refactoring surrounding Dedekind reals agda-unimath CI #5466: Pull request #983 synchronize by fredrik-bakke
December 12, 2023 17:05 16m 14s fredrik-bakke:format-dedekind
fredrik-bakke:format-dedekind
December 12, 2023 17:05 16m 14s
Some minor refactoring surrounding Dedekind reals agda-unimath CI #5465: Pull request #983 opened by fredrik-bakke
December 12, 2023 16:55 10m 46s fredrik-bakke:format-dedekind
fredrik-bakke:format-dedekind
December 12, 2023 16:55 10m 46s
Swap order of arguments for lifts of families of elements agda-unimath CI #5464: Pull request #981 synchronize by VojtechStep
December 12, 2023 16:12 15m 2s VojtechStep:refactor/lifts-elements-order
VojtechStep:refactor/lifts-elements-order
December 12, 2023 16:12 15m 2s
Refactor functoriality and various infrastructure for sequential colimits agda-unimath CI #5463: Pull request #978 synchronize by VojtechStep
December 12, 2023 16:04 18m 17s VojtechStep:refactor/functoriality-sequential-colimits
VojtechStep:refactor/functoriality-sequential-colimits
December 12, 2023 16:04 18m 17s
Flattening lemma for sequential colimits agda-unimath CI #5462: Pull request #972 synchronize by VojtechStep
December 12, 2023 15:58 18m 36s VojtechStep:feature/flattening-lemma-sequential-colimits
VojtechStep:feature/flattening-lemma-sequential-colimits
December 12, 2023 15:58 18m 36s
Swap order of arguments for lifts of families of elements agda-unimath CI #5461: Pull request #981 opened by VojtechStep
December 12, 2023 15:28 6m 49s VojtechStep:refactor/lifts-elements-order
VojtechStep:refactor/lifts-elements-order
December 12, 2023 15:28 6m 49s
Rebase infrastructure for pushouts to span diagrams agda-unimath CI #5460: Pull request #885 synchronize by EgbertRijke
December 12, 2023 14:46 46s EgbertRijke:spans
EgbertRijke:spans
December 12, 2023 14:46 46s
Rebase infrastructure for pushouts to span diagrams agda-unimath CI #5459: Pull request #885 synchronize by EgbertRijke
December 12, 2023 14:46 17s EgbertRijke:spans
EgbertRijke:spans
December 12, 2023 14:46 17s
Fix urls (#980) agda-unimath CI #5458: Commit f7e623c pushed by VojtechStep
December 11, 2023 21:05 2m 27s master
master
December 11, 2023 21:05 2m 27s
Fix urls agda-unimath CI #5457: Pull request #980 opened by tomdjong
December 11, 2023 16:48 2m 11s tomdjong:fix-links
tomdjong:fix-links
December 11, 2023 16:48 2m 11s
Basic properties of orthogonal maps agda-unimath CI #5456: Pull request #979 synchronize by fredrik-bakke
December 10, 2023 18:14 4m 43s fredrik-bakke:orthogonal-maps
fredrik-bakke:orthogonal-maps
December 10, 2023 18:14 4m 43s
Basic properties of orthogonal maps agda-unimath CI #5455: Pull request #979 synchronize by fredrik-bakke
December 10, 2023 16:50 11m 28s fredrik-bakke:orthogonal-maps
fredrik-bakke:orthogonal-maps
December 10, 2023 16:50 11m 28s
Basic properties of orthogonal maps agda-unimath CI #5454: Pull request #979 opened by fredrik-bakke
December 10, 2023 16:20 13m 12s fredrik-bakke:orthogonal-maps
fredrik-bakke:orthogonal-maps
December 10, 2023 16:20 13m 12s
Refactor universal properties for various limits (#963) agda-unimath CI #5453: Commit 1d782a7 pushed by fredrik-bakke
December 10, 2023 14:51 14m 10s master
master
December 10, 2023 14:51 14m 10s
Refactor universal properties for various limits agda-unimath CI #5452: Pull request #963 synchronize by fredrik-bakke
December 10, 2023 14:37 14m 29s fredrik-bakke:refactor-up-limits
fredrik-bakke:refactor-up-limits
December 10, 2023 14:37 14m 29s