Clean/Delete branches when removed from Decomp/PRs closed · Workflow runs · Muz-dev/OdysseyDecomp · GitHub

Actions

All workflows
Workflows
- Add "status:"-label to PRs based on current state Add "status:"-label to PRs based on current state
- Add "status:waiting for review"-label to new PRs Add "status:waiting for review"-label to new PRs
- Check and verify that setup works on NixOS Check and verify that setup works on NixOS
- Check that the commits of required PRs are in the git history Check that the commits of required PRs are in the git history
- Clean/Delete branches when removed from Decomp/PRs closed Clean/Delete branches when removed from Decomp/PRs closed
- Compile and verify functions Compile and verify functions
- Copy headers to separate repo Copy headers to separate repo
- decomp-dev decomp-dev
- lint lint
- PR-Review submitted PR-Review submitted
Management
- Caches

Clean/Delete branches when removed from Decomp/PRs closed

Actions

Loading...
Loading

clean-headers.yml

0 workflow runs

0 workflow runs

This workflow has no runs yet.