Skip to content

Commit

Permalink
Enable running encode_ceno.sh in CI
Browse files Browse the repository at this point in the history
  • Loading branch information
matthiasgoergens committed Nov 19, 2024
1 parent 62de573 commit d08ad76
Showing 1 changed file with 1 addition and 2 deletions.
3 changes: 1 addition & 2 deletions .github/workflows/ci.yml
Original file line number Diff line number Diff line change
Expand Up @@ -96,5 +96,4 @@ jobs:
run: |
set -euxo pipefail
./setup.sh
# TODO: fix, then enable it.
# ./encode_ceno.sh
./encode_ceno.sh

0 comments on commit d08ad76

Please sign in to comment.