[Backport release-24.11] Improve dafny packaging #69546
Triggered via pull request
December 22, 2024 18:21
nixpkgs-ci[bot]
nixpkgs-ci[bot]
opened
#367421
Status
Success
Total duration
2m 13s
Artifacts
–
check-shell.yml
on: pull_request_target
shell-check-x86_64-linux
44s
shell-check-aarch64-darwin
2m 4s
Annotations
1 warning
|
shell-check-x86_64-linux
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|