Github CI anomaly zoo

[andres-erbsen]

Let's use this issue to track unexpected execution outcomes on Github CI. Feel free to unsubscribe.

Previously: mit-plv/fiat-crypto#1394

First entry: Error: Missing download info for actions/checkout@v4

[andres-erbsen]

The job was not acquired by Runner of type hosted even after multiple attempts