Commit graph

5 commits

Author SHA1 Message Date
Sean Cross
c85925ef87
gh actions: fetch tags
The build system now requires tags, so fetch those
2022-07-13 20:27:03 +08:00
bunnie
290188f36b try to fix the gh automation 2022-03-28 15:49:22 +08:00
Gianguido Sorà
ae2762e7f5 fix: on non-TTY terminals if forced, proceed with toolchain download and install
This is a corner case in Github CI.
2022-03-18 17:17:34 +01:00
Gianguido Sorà
d9f5fd0c6a use force on install toolkit 2022-03-18 16:47:12 +01:00
Gianguido Sorà
cbd412a461 compile for hosted and real hardware on main push 2022-03-18 15:51:58 +01:00