coq-nix-toolbox
coq-nix-toolbox copied to clipboard
[design] re-use GH actions templates
It seems one can use a template GH action from another repo: https://docs.github.com/en/actions/how-tos/reuse-automations/reuse-workflows
What I really don't like of the nix CI is that:
- I have huge generated files committed in
- I have to run nix in order to update them (download stuff, install stuff...)
- modulo pinning, these files are the same on all my projects
I wonder if we could have these huge files part of this repo only, and reuse them from other projects. Example:
jobs:
call-workflow-passing-data:
uses: octo-org/example-repo/.github/workflows/reusable-workflow.yml@main
with:
config-path: .github/labeler.yml
secrets:
personal_access_token: ${{ secrets.token }}