Chore: Make snapshots to work on Windows #11088
Annotations
1 warning
|
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
Set up job
2s
2s
Error:
This step has been truncated due to its large size. Download the full logs from the menu
once the workflow run has completed.
Setup dotnet
11s
11s
Error:
This step has been truncated due to its large size. Download the full logs from the menu
once the workflow run has completed.
Checkout Dafny
2s
2s
Error:
This step has been truncated due to its large size. Download the full logs from the menu
once the workflow run has completed.
Load Z3
1m 9s
1m 9s
Error:
This step has been truncated due to its large size. Download the full logs from the menu
once the workflow run has completed.
Build Dafny
1m 44s
1m 44s
Error:
This step has been truncated due to its large size. Download the full logs from the menu
once the workflow run has completed.
Check generated error catalog
0s
0s
Error:
This step has been truncated due to its large size. Download the full logs from the menu
once the workflow run has completed.
Check Error Catalog examples
3m 5s
3m 5s
Error:
This step has been truncated due to its large size. Download the full logs from the menu
once the workflow run has completed.
Check OnlineTutorial examples
3m 0s
3m 0s
Error:
This step has been truncated due to its large size. Download the full logs from the menu
once the workflow run has completed.
Check Reference Manual examples
5m 58s
5m 58s
Error:
This step has been truncated due to its large size. Download the full logs from the menu
once the workflow run has completed.
Check ProofOptimization examples
0s
0s
Error:
This step has been truncated due to its large size. Download the full logs from the menu
once the workflow run has completed.
Post Checkout Dafny
0s
0s
Error:
This step has been truncated due to its large size. Download the full logs from the menu
once the workflow run has completed.
Post Setup dotnet
0s
0s
Error:
This step has been truncated due to its large size. Download the full logs from the menu
once the workflow run has completed.
Complete job
0s
0s
Error:
This step has been truncated due to its large size. Download the full logs from the menu
once the workflow run has completed.
Loading