projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 437405d) | patch
Avoid uploading docs if they did not change (#6621)
authorGereon Kremer <nafur42@gmail.com>
Thu, 27 May 2021 07:38:12 +0000 (09:38 +0200)
committerGitHub <noreply@github.com>
Thu, 27 May 2021 07:38:12 +0000 (07:38 +0000)
commitcd386643b1113c92775950b3683c2b48f7f2bf13
tree0d7799171e8a4761cc997d4c4d1693087dac645atree
parent437405dca0e1a393a8fa1eda900bc0bc469091c6commit | diff
Avoid uploading docs if they did not change (#6621)

Fixes an oversight from #6601.
.github/workflows/docs_upload.yml diff | blob | history