Gabriel Ferreira
|
1add8dd814
|
ci: Install sed for GitHub's MinGW job
|
2023-06-03 02:05:16 +00:00 |
|
Gabriel Ferreira
|
4e954c4b58
|
CI: update python version
|
2022-12-01 21:56:12 -03:00 |
|
Gabriel Ferreira
|
c5aa4dbd34
|
ci: do not reuse Ubuntu job cache in CodeQL job
|
2022-11-13 21:17:39 +00:00 |
|
Gabriel Ferreira
|
354a839a85
|
ci: update GitHub CI to use up-to-date actions and syntax
|
2022-10-18 02:39:01 -03:00 |
|
Gabriel Ferreira
|
d3b011b0db
|
CI: add Github CI jobs for Windows, MacOS, code coverage and CodeQL
|
2022-10-10 20:09:59 -03:00 |
|