Skip to content
ci

Improved Windows support in Makefile #161

Sign in to view logs

Improved Windows support in Makefile

Improved Windows support in Makefile #161

Triggered via pull request January 20, 2025 05:13
@nateinactionnateinaction
synchronize #99
windows-make
Status Success
Total duration 34s
Artifacts 1

ci.yaml

on: pull_request
lint
25s
lint
test
17s
test
archive
18s
archive
Fit to window
Zoom out
Zoom in

Annotations

3 warnings
test
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
archive
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
lint
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636

Artifacts

Produced during runtime
Name Size
proves.zip
101 KB