projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 18e5236) | patch
Fix release action.
authorMathias Preiner <mathias.preiner@gmail.com>
Mon, 11 Oct 2021 23:53:17 +0000 (16:53 -0700)
committerMathias Preiner <mathias.preiner@gmail.com>
Mon, 11 Oct 2021 23:53:41 +0000 (16:53 -0700)
commit79b4f47b5d988af3931e3ca4f199d1bb946d1f4f
treeb29f630859d180c50558b3ef0314c22ee4114f81tree
parent18e52361a8109c62de3636b3a261b25e3991734bcommit | diff
Fix release action.
.github/actions/add-to-release/action.yml diff | blob | history