remove unused .github directory

Signed-off-by: Masaya Kataoka <[email protected]>
tier4 · Mar 29, 2024 · f245e19 · f245e19
1 parent da40e34
commit f245e19
Show file tree

Hide file tree

Showing 5 changed files with 0 additions and 151 deletions.
diff --git a/external/embree_vendor/.github/workflows/BuildTest.yaml b/external/embree_vendor/.github/workflows/BuildTest.yaml
diff --git a/external/embree_vendor/.github/workflows/Docker.yaml b/external/embree_vendor/.github/workflows/Docker.yaml
diff --git a/external/embree_vendor/.github/workflows/docker/.gitignore b/external/embree_vendor/.github/workflows/docker/.gitignore
diff --git a/external/embree_vendor/.github/workflows/docker/Dockerfile b/external/embree_vendor/.github/workflows/docker/Dockerfile
diff --git a/external/embree_vendor/.github/workflows/docker/docker-bake.hcl b/external/embree_vendor/.github/workflows/docker/docker-bake.hcl