Skip to content
check

[flat.multiset.defn] Fix indentation (#8687) #11389

Sign in to view logs

[flat.multiset.defn] Fix indentation (#8687)

[flat.multiset.defn] Fix indentation (#8687) #11389

Triggered via push December 26, 2025 13:49
@jensmaurerjensmaurer
pushed 1bb092d
main
Status Success
Total duration 6m 44s
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:7f4eda3918d386a723e85b2d0b1ccc4588d84f72763ca3b8cffd1bbc0f64791e