Skip to content
Juvix standard library CI

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

Sign in to view logs

CI: set bundled stdlib to the PR branch commit

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

Triggered via pull request January 16, 2025 11:35
@lukaszczlukaszcz
synchronize #161
fix-test
Status Cancelled
Total duration 6m 0s
Artifacts –

ci.yml

on: pull_request
build
5m 38s
build
Fit to window
Zoom out
Zoom in

Annotations

1 error
build
Canceling since a higher priority waiting request for 'Juvix standard library CI-fix-test' exists