55 Commits (11b55d3f5bde1a18aa9a40094ccdba18c7bccb16)

Author SHA1 Message Date
Willem Melching e2c784740a
CI: remove header hacks when checking out submodules (#995) 6 years ago
Willem Melching fb8efbed2d always upload artifacts 6 years ago
Willem Melching 50e859e6b1 Add timeout to github actions and remove old azure-pipelines file 6 years ago
Adeeb 28af44d199 GitHub Actions for CI (#986) 6 years ago
Willem Melching 20745fe1d7 add bug report template 6 years ago