Skip to content

Commit

Permalink
Fix CI: fix pre-install command
Browse files Browse the repository at this point in the history
  • Loading branch information
blitz-1306 committed Jan 31, 2024
1 parent ae8d529 commit 28552ed
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion .github/workflows/ci.yaml
Original file line number Diff line number Diff line change
Expand Up @@ -34,7 +34,7 @@ jobs:
# See https://github.com/souffle-lang/souffle/releases
- name: Install Soufflé
run: |
sudo apt update && sudo apt-install -y libffi7 mcpp
sudo apt update && sudo apt install -y libffi7 mcpp
wget https://github.com/souffle-lang/souffle/releases/download/2.4.1/x86_64-ubuntu-2004-souffle-2.4.1-Linux.deb -O /tmp/souffle.deb
sudo dpkg -i /tmp/souffle.deb
souffle --version
Expand Down

0 comments on commit 28552ed

Please sign in to comment.