Gijs Burghoorn 8a23f93e8b Fix: #1464 for rv64 zk

2023-09-22 10:08:56 +08:00

..

docker

Fix: #1464 for rv64 zk

2023-09-22 10:08:56 +08:00

build-std-detect.sh

ci: Build std_detect on non-Linux & non-x86 targets

2023-04-24 12:50:27 -07:00

dox.sh

Remove MIPS from CI

2023-07-29 22:38:57 +01:00

gba.json

Revert the regression, add a GBA target to avoid this again

2019-03-18 08:57:03 +01:00

run-docker.sh

Impr: Add a usage check for the ci/run-docker.sh script

2023-09-01 21:43:29 +02:00

run.sh

Fix: #1464 for rv64 zk

2023-09-22 10:08:56 +08:00

style.sh

Migrate CI to GitHub Actions (#813)

2019-09-24 09:03:56 -05:00