Dario Nieuwenhuis
|
9e844dc5ac
|
prevent "fatal: gc is already running" errors
|
2024-02-01 18:27:05 +01:00 |
|
Dario Nieuwenhuis
|
ff1d6a6277
|
ci fix.
|
2024-01-08 00:09:48 +01:00 |
|
xoviat
|
8ae9a1f2a9
|
quiet clones
|
2023-11-05 17:05:25 -06:00 |
|
xoviat
|
2e3736a558
|
ci: cache sources
|
2023-11-05 16:52:45 -06:00 |
|
Dario Nieuwenhuis
|
3f7663279f
|
generated: add --allow-empty
|
2023-11-05 22:56:05 +01:00 |
|
xoviat
|
1638192e54
|
ci: clone with more depth
|
2023-10-02 15:57:14 -05:00 |
|
Dario Nieuwenhuis
|
9b5d631059
|
wtf
|
2023-09-16 02:34:03 +02:00 |
|
Dario Nieuwenhuis
|
2304100192
|
ci: fix diff generation for PRs from forks.
|
2023-09-15 00:47:15 +02:00 |
|
Dario Nieuwenhuis
|
b77943a547
|
ci: upload generated json diff, and generated data+metapac as artifacts.
|
2023-09-14 03:36:16 +02:00 |
|
Dario Nieuwenhuis
|
e54c3d70de
|
Automatically commit build results to the stm32-data-generated repo.
|
2023-07-02 15:41:59 +02:00 |
|
Dario Nieuwenhuis
|
e2cad81497
|
Build docs with more threads.
|
2023-06-28 18:05:13 +02:00 |
|
Dario Nieuwenhuis
|
5f90914cb9
|
build docs in Ci.
|
2023-06-28 17:59:25 +02:00 |
|
Dario Nieuwenhuis
|
883442f2ad
|
Switch to bender CI
|
2023-06-28 17:44:05 +02:00 |
|