Skip to content
Clean up caches generated by pull requests

Minimum and maximum for decidable total orders #575

Sign in to view logs

Minimum and maximum for decidable total orders

Minimum and maximum for decidable total orders #575

Triggered via pull request February 7, 2025 20:39
@EgbertRijkeEgbertRijke
closed #1291
lowasser:total-min-max
Status Success
Total duration 13s
Artifacts –

clean-up.yaml

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