Files
Automata/.github/workflows/docker-images-benchmark.yml