diff options
author | Haniel Barbosa <hanielbbarbosa@gmail.com> | 2021-03-16 10:16:31 -0300 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-03-16 13:16:31 +0000 |
commit | 5a879f4315d0105f8487c8718659a4f060ea634e (patch) | |
tree | 9feca79448b646469906f694fa40ebefcf745e76 /COPYING | |
parent | 3dda54ba7e6952060766775c56969ab920430a8a (diff) |
[proof-new] Disabling proofs on regressions with known bug (#6151)
This is so that we can use CI in master for proofs.
Diffstat (limited to 'COPYING')
0 files changed, 0 insertions, 0 deletions