Skip to content
Miking CI

Update the compiler after changes to the typechecker and mlang transformation #803

Sign in to view logs

Update the compiler after changes to the typechecker and mlang transformation

Update the compiler after changes to the typechecker and mlang transformation #803

Triggered via pull request November 15, 2023 17:58
@elegioselegios
synchronize #809
elegios:nominal-mlang
Status Failure
Total duration 20m 7s
Artifacts –

main.yml

on: pull_request
build-and-test-linux
5m 12s
build-and-test-linux
build-and-test-mac-os
19m 54s
build-and-test-mac-os
Fit to window
Zoom out
Zoom in

Annotations

2 errors
build-and-test-linux
Process completed with exit code 2.
build-and-test-mac-os
Process completed with exit code 2.