Skip to content
Miking CI

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

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

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

main.yml

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