Skip to content
check

[flat.multiset.defn] Fix format #10154

Sign in to view logs

[flat.multiset.defn] Fix format

[flat.multiset.defn] Fix format #10154

Triggered via pull request September 6, 2025 09:48
@hewillkhewillk
opened #8215
hewillk:main-flat.multiset.defn
Status Success
Total duration 8m 27s
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
8.98 MB
sha256:d748138e47ded92b3cee40837868e4991a742176dc61938c084d4c5e17f38584