ci: extract .github/workflows/compile_discordv.sh, enable its CI step again

This commit is contained in:
Delyan Angelov 2024-12-05 10:52:48 +02:00
parent ed639da0d6
commit e8e6c7608a
No known key found for this signature in database
GPG Key ID: 66886C0F12D595ED
2 changed files with 25 additions and 13 deletions

22
.github/workflows/compile_discordv.sh vendored Executable file
View File

@ -0,0 +1,22 @@
#!/usr/bin/env bash
set -e
function show() {
printf "\u001b[35m$1\u001b[0m\n"
}
rm -rf discord/
show "Clone https://github.com/DarpHome/discord.v"
v retry -- git clone --filter=blob:none --quiet https://github.com/DarpHome/discord.v discord/
cd discord/
show "Checkout last known good commit"
git checkout ce9ff457fce92d5bb15df2974440cd8292457ee0
show "Execute Tests"
v test .
show "Execute Tests with -skip-unused"
v -skip-unused test .
cd ..
rm -rf discord/

View File

@ -68,19 +68,9 @@ jobs:
echo "Run vsql/connection_test.v with -skip-unused" echo "Run vsql/connection_test.v with -skip-unused"
v -skip-unused vsql/connection_test.v v -skip-unused vsql/connection_test.v
## - name: Test discord.v - name: Test discord.v
## if: ${{ !cancelled() && steps.build.outcome == 'success' }} if: ${{ !cancelled() && steps.build.outcome == 'success' }}
## run: | run: .github/workflows/compile_discordv.sh
## echo "Clone https://github.com/DarpHome/discord.v"
## v retry -- v install https://github.com/DarpHome/discord.v
## cd ~/.vmodules/discord
## echo "Checkout last known good commit"
## git checkout 458261508af66fa971207c8af10ee4e1b59fbf2f
## echo "Execute Tests"
## v test .
## echo "Execute Tests with -skip-unused"
## v -skip-unused test .
- name: Build vlang/vab - name: Build vlang/vab
if: ${{ !cancelled() && steps.build.outcome == 'success' }} if: ${{ !cancelled() && steps.build.outcome == 'success' }}
run: | run: |