Is that possible to create a CI which can automatically release some downloadable images directly?

[Readon]

If the use method can be reduced to "download and use", would help a lot.

[Readon]

For example, push docker image every time SpinalHDL has released a new version.
The same as sbt images.

Both include verilator, ghdl, cocotb and yosys with formal verification tools as oss-cad-tools included.

[Dolu1990]

Very likely possible. Would mostly require somebody implementing the CI.

[Readon]

Very likely possible. Would mostly require somebody implementing the CI.

I tried the sbt makefile on Windows through MSys2, where .cache/JNA and cache directories are missing.

[Dolu1990]

For sure can be added :)