Dafny Nightly #392
robin-awsnightly_dafny.yml
on: schedule
dafny-nightly-java
/
populate-matrix-dimensions
0s
dafny-nightly-net
/
populate-matrix-dimensions
0s
dafny-nightly-python
/
populate-matrix-dimensions
0s
dafny-nightly-rust
/
populate-matrix-dimensions
0s
dafny-nightly-verification
/
populate-matrix-dimensions
0s
Matrix: dafny-nightly-java / testJava
Matrix: dafny-nightly-net / testDotNet
Matrix: dafny-nightly-python / testPython
Matrix: dafny-nightly-rust / testRust
Matrix: dafny-nightly-verification / verification
cut-issue-on-failure
0s
Annotations
103 warnings
|
dafny-nightly-java / populate-matrix-dimensions
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
dafny-nightly-rust / populate-matrix-dimensions
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
dafny-nightly-verification / populate-matrix-dimensions
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
dafny-nightly-net / populate-matrix-dimensions
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
dafny-nightly-python / populate-matrix-dimensions
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
dafny-nightly-verification / verification (nightly-latest, 5, ubuntu-latest)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
dafny-nightly-verification / verification (nightly-latest, 9, ubuntu-latest)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
dafny-nightly-verification / verification (nightly-latest, 10, ubuntu-latest)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
dafny-nightly-net / testDotNet (nightly-latest, 9, 6.0.x, ubuntu-latest)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
dafny-nightly-net / testDotNet (nightly-latest, 9, 6.0.x, ubuntu-latest)
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
|
|
dafny-nightly-net / testDotNet (nightly-latest, 5, 6.0.x, ubuntu-latest)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
dafny-nightly-net / testDotNet (nightly-latest, 5, 6.0.x, ubuntu-latest)
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
|
|
dafny-nightly-net / testDotNet (nightly-latest, 10, 6.0.x, ubuntu-latest)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
dafny-nightly-net / testDotNet (nightly-latest, 10, 6.0.x, ubuntu-latest)
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
|
|
dafny-nightly-java / testJava (5)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
dafny-nightly-java / testJava (5)
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
|
|
dafny-nightly-verification / verification (nightly-latest, 1, ubuntu-latest)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
dafny-nightly-python / testPython (4)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
dafny-nightly-python / testPython (4)
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
|
|
dafny-nightly-net / testDotNet (nightly-latest, 3, 6.0.x, ubuntu-latest)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
dafny-nightly-net / testDotNet (nightly-latest, 3, 6.0.x, ubuntu-latest)
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
|
|
dafny-nightly-verification / verification (nightly-latest, 6, ubuntu-latest)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
dafny-nightly-verification / verification (nightly-latest, 3, ubuntu-latest)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
dafny-nightly-net / testDotNet (nightly-latest, 8, 6.0.x, ubuntu-latest)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
dafny-nightly-net / testDotNet (nightly-latest, 8, 6.0.x, ubuntu-latest)
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
|
|
dafny-nightly-verification / verification (nightly-latest, 4, ubuntu-latest)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
dafny-nightly-verification / verification (nightly-latest, 8, ubuntu-latest)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
dafny-nightly-net / testDotNet (nightly-latest, 4, 6.0.x, ubuntu-latest)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
dafny-nightly-net / testDotNet (nightly-latest, 4, 6.0.x, ubuntu-latest)
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
|
|
dafny-nightly-python / testPython (5)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
dafny-nightly-python / testPython (5)
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
|
|
dafny-nightly-java / testJava (2)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
dafny-nightly-java / testJava (2)
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
|
|
dafny-nightly-java / testJava (2)
Failed to download action 'https://api.github.com/repos/actions/setup-java/tarball/0ab4596768b603586c0de567f2430c30f5b0d2b0'. Error: The request was canceled due to the configured HttpClient.Timeout of 100 seconds elapsing.
|
|
dafny-nightly-java / testJava (2)
Back off 16.176 seconds before retry.
|
|
dafny-nightly-java / testJava (1)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
dafny-nightly-java / testJava (1)
Failed to download action 'https://api.github.com/repos/aws-actions/configure-aws-credentials/tarball/67fbcbb121271f7775d2e7715933280b06314838'. Error: The request was canceled due to the configured HttpClient.Timeout of 100 seconds elapsing.
|
|
dafny-nightly-java / testJava (1)
Back off 16.203 seconds before retry.
|
|
dafny-nightly-java / testJava (1)
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
|
|
dafny-nightly-python / testPython (1)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
dafny-nightly-python / testPython (1)
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
|
|
dafny-nightly-java / testJava (3)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
dafny-nightly-java / testJava (3)
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
|
|
dafny-nightly-python / testPython (3)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
dafny-nightly-python / testPython (3)
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
|
|
dafny-nightly-rust / testRust (4)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
dafny-nightly-rust / testRust (4)
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
|
|
dafny-nightly-net / testDotNet (nightly-latest, 2, 6.0.x, ubuntu-latest)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
dafny-nightly-net / testDotNet (nightly-latest, 2, 6.0.x, ubuntu-latest)
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
|
|
dafny-nightly-rust / testRust (5)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
dafny-nightly-rust / testRust (5)
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
|
|
dafny-nightly-verification / verification (nightly-latest, 2, ubuntu-latest)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
dafny-nightly-verification / verification (nightly-latest, 2, ubuntu-latest)
Failed to download action 'https://api.github.com/repos/dafny-lang/setup-dafny-action/tarball/f2a62432e820c6b0519d308c440b88d7eee411e4'. Error: The request was canceled due to the configured HttpClient.Timeout of 100 seconds elapsing.
|
|
dafny-nightly-verification / verification (nightly-latest, 2, ubuntu-latest)
Back off 13.256 seconds before retry.
|
|
dafny-nightly-java / testJava (4)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
dafny-nightly-java / testJava (4)
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
|
|
dafny-nightly-net / testDotNet (nightly-latest, 7, 6.0.x, ubuntu-latest)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
dafny-nightly-net / testDotNet (nightly-latest, 7, 6.0.x, ubuntu-latest)
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
|
|
dafny-nightly-net / testDotNet (nightly-latest, 1, 6.0.x, ubuntu-latest)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
dafny-nightly-net / testDotNet (nightly-latest, 1, 6.0.x, ubuntu-latest)
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
|
|
dafny-nightly-net / testDotNet (nightly-latest, 1, 6.0.x, ubuntu-latest)
Failed to download action 'https://api.github.com/repos/aws-actions/configure-aws-credentials/tarball/67fbcbb121271f7775d2e7715933280b06314838'. Error: The request was canceled due to the configured HttpClient.Timeout of 100 seconds elapsing.
|
|
dafny-nightly-net / testDotNet (nightly-latest, 1, 6.0.x, ubuntu-latest)
Back off 12.085 seconds before retry.
|
|
dafny-nightly-net / testDotNet (nightly-latest, 1, 6.0.x, ubuntu-latest)
Failed to download action 'https://api.github.com/repos/aws-actions/configure-aws-credentials/tarball/67fbcbb121271f7775d2e7715933280b06314838'. Error: The request was canceled due to the configured HttpClient.Timeout of 100 seconds elapsing.
|
|
dafny-nightly-net / testDotNet (nightly-latest, 1, 6.0.x, ubuntu-latest)
Back off 14.792 seconds before retry.
|
|
dafny-nightly-rust / testRust (6)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
dafny-nightly-rust / testRust (6)
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
|
|
dafny-nightly-verification / verification (nightly-latest, 7, ubuntu-latest)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
dafny-nightly-verification / verification (nightly-latest, 7, ubuntu-latest)
Failed to download action 'https://api.github.com/repos/dafny-lang/setup-dafny-action/tarball/f2a62432e820c6b0519d308c440b88d7eee411e4'. Error: The request was canceled due to the configured HttpClient.Timeout of 100 seconds elapsing.
|
|
dafny-nightly-verification / verification (nightly-latest, 7, ubuntu-latest)
Back off 11.32 seconds before retry.
|
|
dafny-nightly-verification / verification (nightly-latest, 7, ubuntu-latest)
Failed to download action 'https://api.github.com/repos/dafny-lang/setup-dafny-action/tarball/f2a62432e820c6b0519d308c440b88d7eee411e4'. Error: The request was canceled due to the configured HttpClient.Timeout of 100 seconds elapsing.
|
|
dafny-nightly-verification / verification (nightly-latest, 7, ubuntu-latest)
Back off 21.112 seconds before retry.
|
|
dafny-nightly-net / testDotNet (nightly-latest, 6, 6.0.x, ubuntu-latest)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
dafny-nightly-net / testDotNet (nightly-latest, 6, 6.0.x, ubuntu-latest)
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
|
|
dafny-nightly-net / testDotNet (nightly-latest, 6, 6.0.x, ubuntu-latest)
Failed to download action 'https://api.github.com/repos/aws-actions/configure-aws-credentials/tarball/67fbcbb121271f7775d2e7715933280b06314838'. Error: The request was canceled due to the configured HttpClient.Timeout of 100 seconds elapsing.
|
|
dafny-nightly-net / testDotNet (nightly-latest, 6, 6.0.x, ubuntu-latest)
Back off 22.726 seconds before retry.
|
|
dafny-nightly-net / testDotNet (nightly-latest, 6, 6.0.x, ubuntu-latest)
Failed to download action 'https://api.github.com/repos/aws-actions/configure-aws-credentials/tarball/67fbcbb121271f7775d2e7715933280b06314838'. Error: The request was canceled due to the configured HttpClient.Timeout of 100 seconds elapsing.
|
|
dafny-nightly-net / testDotNet (nightly-latest, 6, 6.0.x, ubuntu-latest)
Back off 13.638 seconds before retry.
|
|
dafny-nightly-rust / testRust (9)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
dafny-nightly-rust / testRust (9)
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
|
|
dafny-nightly-rust / testRust (2)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
dafny-nightly-rust / testRust (2)
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
|
|
dafny-nightly-rust / testRust (1)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
dafny-nightly-rust / testRust (1)
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
|
|
dafny-nightly-python / testPython (2)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
dafny-nightly-python / testPython (2)
Failed to download action 'https://api.github.com/repos/aws-actions/configure-aws-credentials/tarball/67fbcbb121271f7775d2e7715933280b06314838'. Error: The request was canceled due to the configured HttpClient.Timeout of 100 seconds elapsing.
|
|
dafny-nightly-python / testPython (2)
Back off 21.072 seconds before retry.
|
|
dafny-nightly-python / testPython (2)
Failed to download action 'https://api.github.com/repos/aws-actions/configure-aws-credentials/tarball/67fbcbb121271f7775d2e7715933280b06314838'. Error: The request was canceled due to the configured HttpClient.Timeout of 100 seconds elapsing.
|
|
dafny-nightly-python / testPython (2)
Back off 29.475 seconds before retry.
|
|
dafny-nightly-python / testPython (2)
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
|
|
dafny-nightly-rust / testRust (8)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
dafny-nightly-rust / testRust (8)
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
|
|
dafny-nightly-rust / testRust (10)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
dafny-nightly-rust / testRust (10)
Failed to download action 'https://api.github.com/repos/aws-actions/configure-aws-credentials/tarball/67fbcbb121271f7775d2e7715933280b06314838'. Error: The request was canceled due to the configured HttpClient.Timeout of 100 seconds elapsing.
|
|
dafny-nightly-rust / testRust (10)
Back off 25.703 seconds before retry.
|
|
dafny-nightly-rust / testRust (10)
Failed to download action 'https://api.github.com/repos/aws-actions/configure-aws-credentials/tarball/67fbcbb121271f7775d2e7715933280b06314838'. Error: The request was canceled due to the configured HttpClient.Timeout of 100 seconds elapsing.
|
|
dafny-nightly-rust / testRust (10)
Back off 24.24 seconds before retry.
|
|
dafny-nightly-rust / testRust (10)
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
|
|
dafny-nightly-rust / testRust (7)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
dafny-nightly-rust / testRust (7)
Failed to download action 'https://api.github.com/repos/aws-actions/configure-aws-credentials/tarball/67fbcbb121271f7775d2e7715933280b06314838'. Error: The request was canceled due to the configured HttpClient.Timeout of 100 seconds elapsing.
|
|
dafny-nightly-rust / testRust (7)
Back off 12.856 seconds before retry.
|
|
dafny-nightly-rust / testRust (7)
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
|
|
dafny-nightly-rust / testRust (3)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
dafny-nightly-rust / testRust (3)
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
|