George Sapkin
|
9f6c16e722
formal: fix workflow permissions
|
1 月之前 |
Christian Marangi
|
0fd3a6c6c6
CI: formal: use shared workflow in actions-shared-workflows
|
1 年之前 |
Paul Spooren
|
2d4552a96c
ci: no longer require real name
|
1 年之前 |
Christian Marangi
|
87c69d73bb
CI: bump actions/checkout action to v3
|
3 年之前 |
Petr Štetiar
|
63ed733d30
ci: move scripts into separate directory
|
3 年之前 |
Alex Low
|
7152599407
build: harden GitHub workflow permissions
|
3 年之前 |
Paul Spooren
|
fb5d0dc362
CI: allow dots in commit subject area
|
3 年之前 |
Paul Spooren
|
3dc38823a2
CI: add formal checks
|
3 年之前 |