Skip to content
enforce-format

fix "there exists"/"such that" not followed by a var name (#538) #63

Sign in to view logs

fix "there exists"/"such that" not followed by a var name (#538)

fix "there exists"/"such that" not followed by a var name (#538) #63

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Enforce spec format
18s
18s