Build docker on PRs, and inline docker GHA config#584
Merged
DMRobertson merged 6 commits intomainfrom dmr/docker-debugNov 20, 2023
+58-9
Commits
Commits on Nov 20, 2023
- committedDavid Robertson
- committedDavid Robertson
- committedDavid Robertson
- committedDavid Robertson
- committedDavid Robertson
- committedDavid Robertson