Skip to content
core library

feat: Start proving termination of NFA constructs (#707) #3860

Sign in to view logs

feat: Start proving termination of NFA constructs (#707)

feat: Start proving termination of NFA constructs (#707) #3860

Run time

Learn about OS pricing on GitHub Actions
Job Run time
core library
8m 26s
8m 26s