Finlay Davidson fdad3fc985 Fix Docker workflow not pushing on manual trigger ... Also fix issue where workflow fails on pull requests when the user who made the pull request doesn't have the secrets set. Also allow other workflows to be triggered manually. Also don't trigger any workflows on pull requests to master, as there shouldn't be any pull requests against master.		2022-07-19 11:53:56 +02:00
..
docker.yml	Fix Docker workflow not pushing on manual trigger	2022-07-19 11:53:56 +02:00
format.yml	Fix Docker workflow not pushing on manual trigger	2022-07-19 11:53:56 +02:00
lv_sim.yml	Fix Docker workflow not pushing on manual trigger	2022-07-19 11:53:56 +02:00
main.yml	Fix Docker workflow not pushing on manual trigger	2022-07-19 11:53:56 +02:00