Open whatnick opened 3 years ago
@whatnick : Getting similar error with other repositories as well. i think its issue at the server side.
@whatnick : Facing same issue.
For example, these channels are also affected: https://github.com/plotly/plotly.py/issues/3046 https://github.com/pytorch/pytorch/issues/51029
Seems to be fixed now.
I will rebuild this, however having pre-built ones in DockerHub would be great in lowering the barrier in getting this tooling and getting started. Docker being set as default container registry and all. I see the issue for this already. I happy to make a PR on the GitHub actions side with the push to DockerHub setup. I do it a lot for other projects.
Running
fails with
and
The container builds successfully but does not have yosys tooling installed.