Skip to content
TLA

Gather statistics on the average number of uncommitted log entries fo… #108

Sign in to view logs

Gather statistics on the average number of uncommitted log entries fo…

Gather statistics on the average number of uncommitted log entries fo… #108

Run time

Learn about OS pricing on GitHub Actions
Job Run time
tlc-simulate
20m 5s
tlc-verify
20m 7s
40m 12s