Skip to content

Commit d011579

Browse files
committed
use checkout action
1 parent 7190689 commit d011579

File tree

1 file changed

+3
-2
lines changed

1 file changed

+3
-2
lines changed

.github/workflows/build.yml

Lines changed: 3 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -7,6 +7,7 @@ jobs:
77
linux:
88
runs-on: ubuntu-22.04
99
steps:
10+
- uses: actions/checkout@v4
1011
- name: Install build dependencies
1112
run: sudo apt install mkdocs python3-pip libtinfo5
1213
- name: Acquire sources
@@ -21,7 +22,7 @@ jobs:
2122
ARTIFACT_NAME="scopes-unstable-linux-$(date "+%Y-%m-%d")-$(hg identify --template '{id|short}')-default"
2223
echo "artifact-name-default=$ARTIFACT_NAME" >> $GITHUB_OUTPUT
2324
# patch genie recipe
24-
wget "https://raw.githubusercontent.com/ScopesCommunity/scopes-unstable/main/workarounds/genie.eo" -O ./external/recipes/genie.eo
25+
cp -f ../workarounds/genie.eo ./external/recipes/genie.eo
2526
yes | ./build.sh --silent-progress
2627
tar -czf $ARTIFACT_NAME.tar.gz --exclude "bin/eo" bin/ doc/ include/ lib/ testing/ CREDITS.md LICENSE.md
2728
- name: Artifact (default)
@@ -38,7 +39,7 @@ jobs:
3839
ARTIFACT_NAME="scopes-unstable-linux-$(date "+%Y-%m-%d")-$(hg identify --template '{id|short}')-based"
3940
echo "artifact-name-based=$ARTIFACT_NAME" >> $GITHUB_OUTPUT
4041
# patch genie recipe
41-
wget "https://raw.githubusercontent.com/ScopesCommunity/scopes-unstable/main/workarounds/genie.eo" -O ./external/recipes/genie.eo
42+
cp -f ../workarounds/genie.eo ./external/recipes/genie.eo
4243
yes | ./build.sh --silent-progress
4344
rm ./bin/eo
4445
tar -czf $ARTIFACT_NAME.tar.gz --exclude "bin/eo" bin/ doc/ include/ lib/ testing/ CREDITS.md LICENSE.md

0 commit comments

Comments
 (0)