projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 4f82b6e) | patch
[CI] Update package list (#4906)
authorAndres Noetzli <andres.noetzli@gmail.com>
Mon, 17 Aug 2020 22:22:34 +0000 (15:22 -0700)
committerGitHub <noreply@github.com>
Mon, 17 Aug 2020 22:22:34 +0000 (15:22 -0700)
commite89dbac726ba53a7202929fddadb8cd024ec6791
treef699c84b537f5901513abe07eeed5641f014d166tree
parent4f82b6eb7cc921ba2c6470a5ca0027be8dfc04e9commit | diff
[CI] Update package list (#4906)

Since
https://github.com/CVC4/LFSC/commit/1d1c55fa17b08e2bc8cb686b9d07ec63bf0dd4a2
LFSC requires Flex, so we need to install the corresponding packages in
our CI environment. This commit also removes SWIG from the list of
packages to install since we do not use it anymore.
.github/workflows/ci.yml diff | blob | history