diff options
| author | Blaž Hrastnik | 2023-10-25 16:37:27 +0000 |
|---|---|---|
| committer | Blaž Hrastnik | 2023-10-25 16:37:27 +0000 |
| commit | f6021dd0cdd8cf6795f024e396241cb0af2ca368 (patch) | |
| tree | 2158a6a404b65dfc1ef0d51328255d73b853f1fd /runtime/queries/edoc/highlights.scm | |
| parent | c7e15dd87e932934f5807065bdf2de2c382a6b09 (diff) | |
ci: Disable riscv release build (currently broken)
Diffstat (limited to 'runtime/queries/edoc/highlights.scm')
0 files changed, 0 insertions, 0 deletions