fix(edgedb)

closes #5776
This commit is contained in:
Jacob Heider 2024-04-02 15:43:00 -04:00 committed by Jacob Heider
parent c6596b72bd
commit f9609abda4

View file

@ -21,16 +21,12 @@ build:
# Required to avoid conflicts
- 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
- run: sed -i -e's|T::Argument => None|// T::Argument => None|' highlight.rs
working-directory: src
if: '>=4'
- cargo install --path . --root {{prefix}}
- cargo install --locked --path . --root {{prefix}}
test:
test "$(edgedb --version)" = "EdgeDB CLI {{version.raw}}"
test: test "$(edgedb --version)" = "EdgeDB CLI {{version.raw}}"
provides:
- bin/edgedb