Cygwin CI has started failing

CI is failing during the install step with this output:

Run choco install git gcc-core python38-devel python38-pip --source cygwin
Chocolatey v0.11.3
[NuGet] Could not connect to the feed specified at 'https://community.chocolatey.org/api/v2/'. Please verify that the package source (located in the Package Manager Settings) is valid and ensure your network connectivity.
cygwin not installed. The package was not found with the source(s) listed.
 Source(s): 'https://community.chocolatey.org/api/v2/'
 NOTE: When you specify explicit sources, it overrides default sources.
If the package version is a prerelease and you didn't specify `--pre`,
 the package may not be found.
Please see https://docs.chocolatey.org/en-us/troubleshooting for more
 assistance.
Installing the following packages:
git;gcc-core;python38-devel;python38-pip
By installing, you accept licenses for the packages.

Chocolatey installed 0/0 packages. 
 See the log for details (C:\ProgramData\chocolatey\logs\chocolatey.log).
The system cannot find the file specified
C:\\tools\\cygwin\\bin\\bash: D:\a\_temp\9a3f62ea-c178-4826-b186-e16cec4eb03b.ps1:3
Line |
   3 |  C:\\tools\\cygwin\\bin\\bash -l -x -c 'python3.8 -m pip install tox'
     |  ~~~~~~~~~~~~~~~~~~~~~~~~~~~~
     | The term 'C:\\tools\\cygwin\\bin\\bash' is not recognized as a name of a cmdlet, function, script
     | file, or executable program. Check the spelling of the name, or if a path was included, verify that
     | the path is correct and try again.

Error: Process completed with exit code 1.

[lazka]

I’ve created #3033 either way. Feel free to merge or close.

[mkoeppe]

I would think this was just an intermittent problem. Cygwin tests based on choco continue to work normally for us (https://github.com/sagemath/sage/runs/4752774122)