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 |
|
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
|
883442f2ad
|
Switch to bender CI
|
2023-06-28 17:44:05 +02:00 |
|