Skip to content
formal

don't start at 0, make enough room for states #52

Sign in to view logs

don't start at 0, make enough room for states

don't start at 0, make enough room for states #52

Run time

Learn about OS pricing on GitHub Actions
Job Run time
formal
34s
34s