RPC failed; HTTP 500 curl 22 The requested URL returned error: 500

expected 'packfile'

clone of 'https://github.com/dafny-lang/libraries.git' into submodule path '/home/runner/work/dafny/dafny/dafny/Source/IntegrationTests/TestFiles/LitTests/LitTest/libraries' failed

RPC failed; HTTP 500 curl 22 The requested URL returned error: 500

expected 'packfile'

clone of 'https://github.com/dafny-lang/libraries.git' into submodule path '/home/runner/work/dafny/dafny/dafny/Source/IntegrationTests/TestFiles/LitTests/LitTest/libraries' failed

The process '/usr/bin/git' failed with exit code 1

unable to access 'https://github.com/dafny-lang/libraries.git/': The requested URL returned error: 500

Process completed with exit code 1.

Canceling since there was an unexpected error with the concurrency group 'Build and Test-refs/pull/4740/merge'.

Canceling since there was an unexpected error with the concurrency group 'Build and Test-refs/pull/4740/merge'.

GitHub Actions has encountered an internal error when running your job.

No files were found with the provided path: dafny/Source/*/TestResults/*.trx dafny/Source/*/TestResults/*/coverage.cobertura.xml. No artifacts will be uploaded.

No files were found with the provided path: dafny/Source/*/TestResults/*.trx dafny/Source/*/TestResults/*/coverage.cobertura.xml. No artifacts will be uploaded.

Failed to download action 'https://api.github.com/repos/actions/setup-python/tarball/0a5c61591373683505ea898e09a3ea4f39ef2b9c'. Error: Response status code does not indicate success: 500 (Internal Server Error).

Back off 21.528 seconds before retry.

The assembly 'content/Microsoft.TestPlatform.PlatformAbstractions.dll' is not inside the 'lib' folder and hence it won't be added as a reference when the package is installed into a project. Move it into the 'lib' folder if it needs to be referenced.

The assembly 'contentFiles/any/net6.0/Microsoft.TestPlatform.PlatformAbstractions.dll' is not inside the 'lib' folder and hence it won't be added as a reference when the package is installed into a project. Move it into the 'lib' folder if it needs to be referenced.

File '/home/runner/work/dafny/dafny/dafny/Binaries/net6.0/publish/DafnyRuntimeRust/.gitignore' was not added to the package. Files and folders starting with '.' or ending with '.nupkg' are excluded by default. To include this file, use -NoDefaultExcludes from the commandline

Failed to download action 'https://api.github.com/repos/actions/setup-java/tarball/387ac29b308b003ca37ba93a6cab5eb57c8f5f93'. Error: Response status code does not indicate success: 500 (Internal Server Error).

Back off 29.267 seconds before retry.

Failed to download action 'https://api.github.com/repos/actions/setup-python/tarball/0a5c61591373683505ea898e09a3ea4f39ef2b9c'. Error: Response status code does not indicate success: 500 (Internal Server Error).

Back off 25.061 seconds before retry.

Failed to download action 'https://api.github.com/repos/actions/setup-dotnet/zipball/4d6c8fcf3c8f7a60068d26b594648e99df24cee3'. Error: Response status code does not indicate success: 500 (Internal Server Error).