projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a078e19) | patch
Remove deprecated add-path commands and use $GITHUB_PATH instead. (#5232)
authorMathias Preiner <mathias.preiner@gmail.com>
Fri, 9 Oct 2020 18:42:25 +0000 (11:42 -0700)
committerGitHub <noreply@github.com>
Fri, 9 Oct 2020 18:42:25 +0000 (11:42 -0700)
commit290272719d7a773ea681a420dea3632914f6809c
tree9e353b92ac01eebbb6c09ae6fb0576af03ad0ba2tree
parenta078e193eb13e398f663eff2d0b9a2ef145ca75fcommit | diff
Remove deprecated add-path commands and use $GITHUB_PATH instead. (#5232)
.github/workflows/ci.yml diff | blob | history