214 Commits (4998b600ecebf712b127b1e132d249a1b51a90bc)

Author SHA1 Message Date
Adeeb f198624ca2
Fix condition on CI push stage (#1149) 5 years ago
Adeeb d2970fd2da
Fix artifact upload in CI when step fails (#1139) 5 years ago
Adeeb 50944d305f
cat process replay diff (#1112) 5 years ago
Willem Melching e2253b072e fix fingerprint test 5 years ago
Willem Melching 5388878dac
Push container to dockerhub (#1075) 5 years ago
Willem Melching 118198605f Use full name for docker caching 5 years ago
Willem Melching 5ea95c3d87 Use dockerhub 5 years ago
Willem Melching 58f4f5aac4 use base docker container when building 5 years ago
Willem Melching 822b32656b Add fingerprint test to ci 5 years ago
Willem Melching e2c784740a
CI: remove header hacks when checking out submodules (#995) 5 years ago
Willem Melching fb8efbed2d always upload artifacts 5 years ago
Willem Melching 50e859e6b1 Add timeout to github actions and remove old azure-pipelines file 5 years ago
Adeeb 28af44d199 GitHub Actions for CI (#986) 5 years ago
Willem Melching 20745fe1d7 add bug report template 5 years ago