Purge CUE from the repository

This ended up being more complicated than it was worth, and I've been working toward defining the GitHub Actions using an alternative method of reusable workflows instead. This is just the first step in the conversion process to try and minimize breakages. See: - https://github.com/EarthmanMuons/reusable-workflows
EarthmanMuons · Jul 20, 2023 · 06cb440 · 06cb440
1 parent 4cb7672
commit 06cb440
Show file tree

Hide file tree

Showing 25 changed files with 17 additions and 1,933 deletions.
diff --git a/.github/cue/ci_tool.cue b/.github/cue/ci_tool.cue
diff --git a/.github/cue/cue.mod/module.cue b/.github/cue/cue.mod/module.cue
diff --git a/.github/cue/cue.mod/pkg/json.schemastore.org/github/github-workflow.cue b/.github/cue/cue.mod/pkg/json.schemastore.org/github/github-workflow.cue
diff --git a/.github/cue/cue.mod/usr/.gitkeep b/.github/cue/cue.mod/usr/.gitkeep
diff --git a/.github/cue/github-actions.cue b/.github/cue/github-actions.cue
diff --git a/.github/cue/github-pages.cue b/.github/cue/github-pages.cue
diff --git a/.github/cue/labeler.cue b/.github/cue/labeler.cue
diff --git a/.github/cue/preload-caches.cue b/.github/cue/preload-caches.cue