Kichura
20c0f3dd6a
Update GitHub workflows ( #358 )
2024-01-28 13:15:27 -05:00
embeddedt
d14ae9d2c1
Fix formatting issue
2023-07-12 19:36:52 -04:00
embeddedt
5fd02ffc96
Very bad hack for wiki race condition
...
GitHub's "concurrency" system just cancels pending jobs instead
of scheduling them
2023-07-12 19:35:23 -04:00
Kichura
d36cc4acc1
Fix python3 not having friendly name. ( #160 )
2023-07-12 11:37:46 -04:00
Kichura
09aae6e34c
Enhance the workflow scripts and update Gradle. ( #159 )
...
* Update workflow actions and Gradle.
* Introduce friendly names to wiki_update and release scripts.
* Only embeddedt can run release and update wiki workflows.
2023-07-12 11:19:19 -04:00
embeddedt
08daaa38e9
Do not cancel running wiki jobs [skip ci]
2023-07-11 22:16:07 -04:00
embeddedt
b31381ed4d
Prevent race condition when updating wikis
2023-07-11 22:14:54 -04:00
embeddedt
423a550303
Add wiki update action
2023-07-11 22:12:15 -04:00
