Skip to content
Juvix standard library CI

CI: set bundled stdlib to the PR branch commit #705

Sign in to view logs

CI: set bundled stdlib to the PR branch commit

CI: set bundled stdlib to the PR branch commit #705

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build
8s
8s