Skip to content
Miking CI

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

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

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

main.yml

on: pull_request
build-and-test-linux
5m 14s
build-and-test-linux
build-and-test-mac-os
8m 29s
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.