Skip to content
Build and test FStar

Tactics: refactor a bit to avoid a cycle #4171

Sign in to view logs

Tactics: refactor a bit to avoid a cycle

Tactics: refactor a bit to avoid a cycle #4171

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build
10m 18s
10m 18s