Skip to content
cleanup caches generated by pull requests

Reverse the direction of the equivalences on hom-sets in adjunctions #295

Sign in to view logs

Reverse the direction of the equivalences on hom-sets in adjunctions

Reverse the direction of the equivalences on hom-sets in adjunctions #295

Triggered via pull request November 25, 2023 17:28
@VojtechStepVojtechStep
closed #943
EgbertRijke:reverse-adjunctions
Status Success
Total duration 14s
Artifacts –

clean-up.yaml

on: pull_request
cleanup
6s
cleanup
Fit to window
Zoom out
Zoom in