Skip to content

Commit 13f7df9

Browse files
committed
Added Shale, first commit
1 parent fcdea96 commit 13f7df9

16 files changed

Lines changed: 5127 additions & 0 deletions
Lines changed: 51 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,51 @@
1+
name: Build standalone
2+
3+
on:
4+
push:
5+
paths:
6+
- "src/**"
7+
- "tools/build.lua"
8+
workflow_dispatch:
9+
10+
permissions:
11+
contents: write
12+
13+
concurrency:
14+
group: build-standalone-${{ github.ref }}
15+
cancel-in-progress: false
16+
17+
jobs:
18+
build:
19+
name: Rebuild shale.lua
20+
runs-on: ubuntu-latest
21+
22+
steps:
23+
- name: Check out branch
24+
uses: actions/checkout@v6
25+
with:
26+
fetch-depth: 0
27+
ref: ${{ github.ref_name }}
28+
29+
- name: Update to latest branch revision
30+
run: git pull --ff-only origin "$GITHUB_REF_NAME"
31+
32+
- name: Install Lua 5.1
33+
run: |
34+
sudo apt-get update
35+
sudo apt-get install --yes lua5.1
36+
37+
- name: Build standalone file
38+
run: lua5.1 tools/build.lua
39+
40+
- name: Commit generated standalone file
41+
run: |
42+
if git diff --quiet -- shale.lua; then
43+
echo "shale.lua is already up to date."
44+
exit 0
45+
fi
46+
47+
git config user.name "github-actions[bot]"
48+
git config user.email "41898282+github-actions[bot]@users.noreply.github.com"
49+
git add shale.lua
50+
git commit -m "chore: rebuild standalone shale.lua"
51+
git push origin "HEAD:${GITHUB_REF_NAME}"

0 commit comments

Comments
 (0)