Skip to content
check

[flat.multiset.defn] Remove superfluous whitespace (#8688) #11390

Sign in to view logs

[flat.multiset.defn] Remove superfluous whitespace (#8688)

[flat.multiset.defn] Remove superfluous whitespace (#8688) #11390

Triggered via push December 26, 2025 13:50
@jensmaurerjensmaurer
pushed 0d886f0
main
Status Success
Total duration 6m 23s
Artifacts 1

check.yml

on: push
Matrix: run-checks
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
draft-snapshot
9.03 MB
sha256:88fd34afb67331deb78b94bdd2920cbb91e8a13bcd1101b5f86826b8a9aed4b3