Skip to content

🤖 Sync org-wide files to upstream repo (#204) #484

🤖 Sync org-wide files to upstream repo (#204)

🤖 Sync org-wide files to upstream repo (#204) #484

Workflow file for this run

# Requires scripts:
# - scripts/ci-check (in the future)
# - scripts/ci
name: wren / main
on:
push:
branches:
- main
pull_request:
branches:
- main
workflow_dispatch:
jobs:
ci:
runs-on: ubuntu-20.04
steps:
- name: Checkout wren-console
uses: actions/checkout@b4ffde65f46336ab88eb53be808477a3936bae11
with:
repository: joshgoebel/wren-console
path: wren-console
ref: v0.3.1
- name: Pin dependencies
shell: bash
run: |
cat wren-console/WREN_ESSENTIALS >> $GITHUB_ENV
- name: Checkout wren-essentials
uses: actions/checkout@b4ffde65f46336ab88eb53be808477a3936bae11
with:
repository: joshgoebel/wren-essentials
path: wren-console/deps/wren-essentials
ref: ${{env.WREN_ESSENTIALS}}
- name: Build wren-console
run: |
cd wren-console
make -j4 -C projects/make/
mkdir -p $GITHUB_WORKSPACE/usr/bin
cp bin/wrenc $GITHUB_WORKSPACE/usr/bin
echo "$GITHUB_WORKSPACE/usr/bin" >> $GITHUB_PATH
- name: Checkout wren track
uses: actions/checkout@b4ffde65f46336ab88eb53be808477a3936bae11
with:
path: track
- name: Install deps and run CI
run: |
cd track
wrenc package.wren install
scripts/ci