Skip to content
check

[flat.multiset.defn] Fix minor errors and inconsistencies #5523

Sign in to view logs

[flat.multiset.defn] Fix minor errors and inconsistencies

[flat.multiset.defn] Fix minor errors and inconsistencies #5523

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Run checks on Linux
6m 15s
Run checks on MacOS
7m 31s
13m 46s