Skip to content
Juvix standard library CI

CI: set bundled stdlib to the PR branch commit (#161) #714

Sign in to view logs

CI: set bundled stdlib to the PR branch commit (#161)

CI: set bundled stdlib to the PR branch commit (#161) #714

Triggered via push January 16, 2025 13:46
@lukaszczlukaszcz
pushed c5d4fcd
main
Status Success
Total duration 21m 23s
Artifacts –

ci.yml

on: push
build
21m 12s
build
Fit to window
Zoom out
Zoom in

Annotations

1 warning
build
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636