Tomáš Pecka
authored
- Note that this requires arand executable which is not finished yet, but obtainable from branch genRandAutomata.
From 1. 4., DockerHub introduces new very strict rate limitations on docker image pulls.
Consider changing FROM tags in dockerfiles to use altenative providers or add login step at the beginning of CI/CD job as authenticated requests aren't affected.
- Note that this requires arand executable which is not finished yet, but obtainable from branch genRandAutomata.