github/circ
1
1
Fork 0
mirror of https://github.com/circify/circ.git synced 2026-04-21 03:00:54 -04:00
Code Issues Packages Projects Releases Wiki Activity

locating libcrypto in ci machine

Browse Source
This commit is contained in:
Edward Chen
2025-02-09 17:13:02 -05:00
parent a36eb1faa5
commit b201ecfbcb
1 changed files with 5 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
.github/workflows/ci.yml vendored
View File

@@ -17,7 +17,11 @@ jobs:
- uses: actions/checkout@v3
- name: Install dependencies
if: runner.os == 'Linux'
run: sudo apt-get update; sudo apt-get install zsh cvc4 libboost-all-dev libssl-dev coinor-cbc coinor-libcbc-dev
run: sudo apt-get update; sudo apt-get install zsh cvc4 libboost-all-dev libssl-dev coinor-cbc coinor-libcbc-dev
- name: Locate libcrypto 1
run: dpkg -L libssl-dev | grep libcrypto
- name: Locate libcrypto 2
run: ldconfig -p | grep libcrypto.so
- uses: actions-rs/toolchain@v1
with:
toolchain: stable