Skip to content
cleanup caches generated by pull requests

Equality in iterated Sigma types #268

Sign in to view logs

Equality in iterated Sigma types

Equality in iterated Sigma types #268

Triggered via pull request November 9, 2023 12:22
@fredrik-bakkefredrik-bakke
closed #899
maybemabeline:equality-iterated-sum-types
Status Success
Total duration 15s
Artifacts –

clean-up.yaml

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