Skip to content
Miking CI

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

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 #806

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

main.yml

on: pull_request
build-and-test-linux
5m 10s
build-and-test-linux
build-and-test-mac-os
9m 19s
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.