Skip to content
check-uniq-keep-ids

[Refinement Types] Resize images #69

Sign in to view logs

[Refinement Types] Resize images

[Refinement Types] Resize images #69

Triggered via push September 11, 2025 12:35
@ice-phoenixice-phoenix
pushed 8deb1a2
main
Status Success
Total duration 30s
Artifacts –

check-uniq-keep-ids.yml

on: push
check-uniq-keep-ids
22s
check-uniq-keep-ids
Fit to window
Zoom out
Zoom in