Commit 2d0141c
authored
chore: update GitHub Actions workflow for documentation deployment (#808)
* chore: update GitHub Actions workflow for documentation deployment
- Change default branch from 'master' to 'main'
- Add 'workflow_dispatch' trigger for manual workflow execution
- Set permissions for contents and pages
* chore: remove CodeQL workflow for GitHub Actions
- Deleted the CodeQL scan configuration file from the workflows directory.1 parent 5ca3fa7 commit 2d0141c
2 files changed
+6
-33
lines changedThis file was deleted.
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
1 | 1 | | |
2 | 2 | | |
3 | 3 | | |
| 4 | + | |
4 | 5 | | |
5 | 6 | | |
6 | | - | |
| 7 | + | |
| 8 | + | |
| 9 | + | |
| 10 | + | |
| 11 | + | |
7 | 12 | | |
8 | 13 | | |
9 | 14 | | |
| |||
0 commit comments