Skip to content
Back to pull request #367421

[Backport release-24.11] Improve dafny packaging #43587

Sign in to view logs

[Backport release-24.11] Improve dafny packaging

[Backport release-24.11] Improve dafny packaging #43587

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Request
1m 18s
get-merge-commit / resolve-merge-commit
3s
Check
1m 0s
2m 21s