automaton::::Total adds a new state to an automaton even if it is already total
Is it correct behaviour?
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.
Is it correct behaviour?
Will be fixed by not altering string automata with total transition function.
mentioned in commit 614e9d9d
mentioned in merge request !112 (merged)
mentioned in commit dfd357b6
closed via merge request !112 (merged)