automaton::simplify::Total: No op for FSM with total transition function (Closes #177)
merge request
12 jobs
12 minutes 45 seconds, queued for 843 seconds
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.