Skip to content

[flat.multiset.defn] Fix indentation #11386

[flat.multiset.defn] Fix indentation

[flat.multiset.defn] Fix indentation #11386

Triggered via pull request December 26, 2025 09:10
Status Success
Total duration 7m 8s
Artifacts 1

check.yml

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

Artifacts

Produced during runtime
Name Size Digest
draft-snapshot Expired
9.03 MB
sha256:21a6f0bbb4416b33a7b857adf3b6899a073662ec6ab4f5e04a8b087bef22ec12