projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 2dc245a) | patch
Make squasing more robust (#6713)
authorGereon Kremer <nafur42@gmail.com>
Wed, 9 Jun 2021 19:25:04 +0000 (21:25 +0200)
committerGitHub <noreply@github.com>
Wed, 9 Jun 2021 19:25:04 +0000 (19:25 +0000)
commit181a175839e3af50a8cf7f80adf635fe612aeaba
tree4d1fafbff77f02306dae22642b5ee536dbde7cc5tree
parent2dc245a5922e660b6f44032d55d452ad27dfc20fcommit | diff
Make squasing more robust (#6713)

This PR makes squashing olds commits in the docs-cleanup CI job more robust: it makes sure that the squash commit has a proper commit date and that we gracefully handle if there is nothing to squash.
.github/workflows/docs_cleanup.yml diff | blob | history