Skip to content
cleanup caches generated by pull requests

Acyclic types are closed under equivalences #261

Sign in to view logs

Acyclic types are closed under equivalences

Acyclic types are closed under equivalences #261

Triggered via pull request November 6, 2023 12:07
@fredrik-bakkefredrik-bakke
closed #901
tomdjong:being-acyclic-closed-under-equivalence
Status Success
Total duration 19s
Artifacts –

clean-up.yaml

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