312 Commits (05dc0b51e6597fb83aed14f5a390fa4254751c98)

Author SHA1 Message Date
Adeeb d2970fd2da
Fix artifact upload in CI when step fails (#1139) 6 years ago
Adeeb 50944d305f
cat process replay diff (#1112) 6 years ago
Willem Melching e2253b072e fix fingerprint test 6 years ago
Willem Melching 5388878dac
Push container to dockerhub (#1075) 6 years ago
Willem Melching 118198605f Use full name for docker caching 6 years ago
Willem Melching 5ea95c3d87 Use dockerhub 6 years ago
Willem Melching 58f4f5aac4 use base docker container when building 6 years ago
Willem Melching 822b32656b Add fingerprint test to ci 6 years ago
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