Skip to content
build

Make imports part of the module header. #1755

Sign in to view logs

Make imports part of the module header.

Make imports part of the module header. #1755

Triggered via pull request January 17, 2025 18:26
@typeswitch-devtypeswitch-dev
synchronize #351
module-header
Status Success
Total duration 4m 6s
Artifacts –

build.yml

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

Annotations

3 warnings
bootstrap
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
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
build (ubuntu-latest)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636