Skip to content

isabelle: fix darwin build #20174

isabelle: fix darwin build

isabelle: fix darwin build #20174

Triggered via pull request December 5, 2024 22:20
@LiamoluckoLiamolucko
synchronize #348092
Status Success
Total duration 27s
Artifacts

nix-parse-v2.yml

on: pull_request_target
nix-files-parseable-check
16s
nix-files-parseable-check
Fit to window
Zoom out
Zoom in

Annotations

1 warning
nix-files-parseable-check
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636