Skip to content
CI

fix(ci): reconcile actions.lock so the lockfile validates (#130) #428

Sign in to view logs

fix(ci): reconcile actions.lock so the lockfile validates (#130)

fix(ci): reconcile actions.lock so the lockfile validates (#130) #428

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Idris2 core tests
6m 35s
6m 35s