Skip to content

Actions: UniMath/agda-unimath

Actions

Clean up caches generated by pull requests

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
clean-up.yaml
276 workflow runs
276 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fix typos Clean up caches generated by pull requests #454: Pull request #1156 closed by fredrik-bakke
June 20, 2024 12:36 19s pitmonticone:master
pitmonticone:master
June 20, 2024 12:36 19s
Noncoherent wild higher precategories Clean up caches generated by pull requests #453: Pull request #1099 closed by EgbertRijke
June 16, 2024 11:56 13s fredrik-bakke:wild-(∞,∞)-precategories
fredrik-bakke:wild-(∞,∞)-precategories
June 16, 2024 11:56 13s
Use box drawing characters in diagrams Clean up caches generated by pull requests #452: Pull request #1155 closed by fredrik-bakke
June 16, 2024 10:39 12s fredrik-bakke:boxdrawing
fredrik-bakke:boxdrawing
June 16, 2024 10:39 12s
Various website improvements Clean up caches generated by pull requests #451: Pull request #1154 closed by fredrik-bakke
June 6, 2024 16:46 14s VojtechStep:feature/papers-overview
VojtechStep:feature/papers-overview
June 6, 2024 16:46 14s
Identity systems of descent data for pushouts Clean up caches generated by pull requests #450: Pull request #1150 closed by EgbertRijke
June 6, 2024 13:20 17s VojtechStep:feature/identity-systems-descent-data-pushouts
VojtechStep:feature/identity-systems-descent-data-pushouts
June 6, 2024 13:20 17s
Overview of SvDR20 formalization Clean up caches generated by pull requests #449: Pull request #1144 closed by EgbertRijke
June 5, 2024 14:39 15s VojtechStep:feature/papers-overview
VojtechStep:feature/papers-overview
June 5, 2024 14:39 15s
Path-cosplit maps Clean up caches generated by pull requests #448: Pull request #1153 closed by EgbertRijke
June 5, 2024 14:19 17s fredrik-bakke:path-cosplit-maps
fredrik-bakke:path-cosplit-maps
June 5, 2024 14:19 17s
Characterization of various families over pushouts Clean up caches generated by pull requests #447: Pull request #1148 closed by EgbertRijke
June 5, 2024 13:38 14s VojtechStep:feature/various-families-over-pushouts
VojtechStep:feature/various-families-over-pushouts
June 5, 2024 13:38 14s
Fiberwise orthogonal maps and closure properties of the right class Clean up caches generated by pull requests #446: Pull request #1152 closed by EgbertRijke
June 4, 2024 15:11 13s fredrik-bakke:fiberwise-orthogonal-maps
fredrik-bakke:fiberwise-orthogonal-maps
June 4, 2024 15:11 13s
Quasiidempotence is not a proposition Clean up caches generated by pull requests #445: Pull request #1127 closed by EgbertRijke
June 4, 2024 14:42 12s fredrik-bakke:quasiidempotence-is-not-a-prop
fredrik-bakke:quasiidempotence-is-not-a-prop
June 4, 2024 14:42 12s
Change equiv-comp to comp-equiv Clean up caches generated by pull requests #444: Pull request #1151 closed by fredrik-bakke
June 3, 2024 12:45 32s EgbertRijke:comp
EgbertRijke:comp
June 3, 2024 12:45 32s
Characterize identity types of dependent sequential diagrams Clean up caches generated by pull requests #443: Pull request #1149 closed by fredrik-bakke
June 1, 2024 16:04 15s VojtechStep:feature/id-dependent-sequential-diagrams
VojtechStep:feature/id-dependent-sequential-diagrams
June 1, 2024 16:04 15s
comp-equiv Clean up caches generated by pull requests #442: Pull request #1147 closed by EgbertRijke
June 1, 2024 09:38 16s EgbertRijke:comp-equiv
EgbertRijke:comp-equiv
June 1, 2024 09:38 16s
Refactor the descent property of pushouts Clean up caches generated by pull requests #441: Pull request #1145 closed by EgbertRijke
May 31, 2024 08:40 16s VojtechStep:feature/refactor-descent-pushout
VojtechStep:feature/refactor-descent-pushout
May 31, 2024 08:40 16s
Zigzags of sequential diagrams Clean up caches generated by pull requests #440: Pull request #1129 closed by VojtechStep
May 23, 2024 16:02 13s VojtechStep:feature/zigzags-sequential-colimits
VojtechStep:feature/zigzags-sequential-colimits
May 23, 2024 16:02 13s
Fix citation tag configuration for some references Clean up caches generated by pull requests #439: Pull request #1143 closed by VojtechStep
May 23, 2024 15:46 15s fredrik-bakke:fix-citeas-references
fredrik-bakke:fix-citeas-references
May 23, 2024 15:46 15s
Add reference to MRR88 in files about apartness relations Clean up caches generated by pull requests #438: Pull request #1128 closed by EgbertRijke
May 23, 2024 15:19 13s fredrik-bakke:ref-MRR88
fredrik-bakke:ref-MRR88
May 23, 2024 15:19 13s
Null maps, null types and null type families Clean up caches generated by pull requests #437: Pull request #1088 closed by fredrik-bakke
May 23, 2024 14:56 14s fredrik-bakke:null
fredrik-bakke:null
May 23, 2024 14:56 14s
Fixing a link Clean up caches generated by pull requests #436: Pull request #1135 closed by fredrik-bakke
April 30, 2024 15:10 15s FernandoChu:master
FernandoChu:master
April 30, 2024 15:10 15s
Pin macOS version to one with Intel runners Clean up caches generated by pull requests #435: Pull request #1131 closed by VojtechStep
April 27, 2024 18:33 16s VojtechStep:hotfix/macos-arm64-runner
VojtechStep:hotfix/macos-arm64-runner
April 27, 2024 18:33 16s
The discrete field of rational numbers Clean up caches generated by pull requests #434: Pull request #1111 closed by fredrik-bakke
April 25, 2024 21:25 25s malarbol:positive-and-nonzero-rational-numbers
malarbol:positive-and-nonzero-rational-numbers
April 25, 2024 21:25 25s
Postulate components of coherent two-sided inverses for function extensionality and univalence Clean up caches generated by pull requests #433: Pull request #1119 closed by VojtechStep
April 25, 2024 13:26 13s fredrik-bakke:eq-htpy
fredrik-bakke:eq-htpy
April 25, 2024 13:26 13s
chore: Fix arrowheads in character diagrams Clean up caches generated by pull requests #432: Pull request #1124 closed by VojtechStep
April 25, 2024 12:48 13s fredrik-bakke:arrowheads
fredrik-bakke:arrowheads
April 25, 2024 12:48 13s
chore: Universal properties of colimits quantify over all universe levels Clean up caches generated by pull requests #431: Pull request #1126 closed by VojtechStep
April 25, 2024 12:23 17s fredrik-bakke:up-pushout
fredrik-bakke:up-pushout
April 25, 2024 12:23 17s
The loop of any circle is nontrivial Clean up caches generated by pull requests #430: Pull request #1115 closed by fredrik-bakke
April 23, 2024 14:46 13s EgbertRijke:loop
EgbertRijke:loop
April 23, 2024 14:46 13s