Skip to content
build

Make imports part of the module header. (#351) #1756

Sign in to view logs

Make imports part of the module header. (#351)

Make imports part of the module header. (#351) #1756

Triggered via push January 17, 2025 18:31
@typeswitch-devtypeswitch-dev
pushed 9fea70f
main
Status Success
Total duration 4m 2s
Artifacts –

build.yml

on: push
bootstrap
47s
bootstrap
Matrix: build-bat
Matrix: build-san
Matrix: build
Fit to window
Zoom out
Zoom in

Annotations

3 warnings
build-san (ubuntu-latest)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
bootstrap
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
build (ubuntu-latest)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636