Skip to content
cleanup caches generated by pull requests

Implicit function extensionality #246

Sign in to view logs

Implicit function extensionality

Implicit function extensionality #246

Triggered via pull request October 28, 2023 12:37
@fredrik-bakkefredrik-bakke
closed #891
fredrik-bakke:implicit-functions
Status Success
Total duration 16s
Artifacts –

clean-up.yaml

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