fix(edgedb)

This commit is contained in:
Jacob Heider 2023-10-24 19:10:04 -04:00
parent 618e2a22af
commit 1c318a377c
No known key found for this signature in database
GPG key ID: 51E3FD0EE62677B6

View file

@ -17,10 +17,17 @@ build:
- -A warnings
# Reduce build size by excluding debug symbols.
- -C debuginfo=0
script: |
script:
# Required to avoid conflicts
mv build.rs build.rs.bak
cargo install --path . --root {{prefix}}
- mv build.rs build.rs.bak || true
# match contains an unknown arm
- run: |
sed -i.bak -e's|T::Argument => None|// T::Argument => None|' \
highlight.rs
rm highlight.rs.bak
working-directory: src
if: '>=4'
- cargo install --path . --root {{prefix}}
test:
test "$(edgedb --version)" = "EdgeDB CLI {{version.raw}}"