Régis Behmo
|
fe3742a0f0
|
ci: don't even try to auto-add PRs to github project
Auto-adding PRs to the Github project is not working because the
github-token is not available there.
|
2024-03-05 12:03:03 +05:00 |
|
Régis Behmo
|
02c7719c32
|
ci: auto-add issues and items to github project
|
2024-01-12 12:33:35 +01:00 |
|
Emad Rad
|
7038313d7e
|
ci: test action added
|
2023-12-09 15:56:42 +01:00 |
|
Régis Behmo
|
6cf8776b29
|
ci: improve compatibility with main & nightly
|
2023-05-26 16:49:26 +02:00 |
|
Régis Behmo
|
cf9bae63da
|
ci: upgrade checkout action
|
2023-02-27 11:55:37 +01:00 |
|
Régis Behmo
|
17841b207a
|
ci: both way repo sync
|
2021-09-02 14:28:47 +02:00 |
|
