Skip to content
CI

Add some core rules of the Strings theory that reason about RegEx #125

Sign in to view logs

Add some core rules of the Strings theory that reason about RegEx

Add some core rules of the Strings theory that reason about RegEx #125

Run time

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