manual CI

vincejv · Oct 14, 2023 · 797ad16 · 797ad16
1 parent bd4f415
commit 797ad16
Show file tree

Hide file tree

Showing 16 changed files with 94 additions and 1,413 deletions.
diff --git a/.github/workflows/Dockerfile.tools b/.github/workflows/Dockerfile.tools
diff --git a/.github/workflows/build-tools.yml b/.github/workflows/build-tools.yml