Skip to content
cleanup caches generated by pull requests

Several facts about k-equivalences #282

Sign in to view logs

Several facts about k-equivalences

Several facts about k-equivalences #282

Triggered via pull request November 24, 2023 03:45
@EgbertRijkeEgbertRijke
closed #936
tomdjong:truncations
Status Success
Total duration 16s
Artifacts –

clean-up.yaml

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