Skip to content
CI

[rules] [clausification, tautologies] Support for arguments (#48) #352

Sign in to view logs

[rules] [clausification, tautologies] Support for arguments (#48)

[rules] [clausification, tautologies] Support for arguments (#48) #352

Run time

Learn about OS pricing on GitHub Actions
Job Run time
test
1m 52s
build
1m 39s
format
9s
3m 40s