Skip to content

Update badge

Update badge #70

Workflow file for this run

name: CI
on:
push:
branches:
- main
pull_request:
branches:
- main
jobs:
build:
runs-on: ubuntu-latest
container:
image: aantunes/clang-wasm:latest
steps:
- name: Checkout code
uses: actions/checkout@v4
with:
submodules: recursive
fetch-depth: 0
- name: Tests
run: |
git config --global --add safe.directory $GITHUB_WORKSPACE
git log --graph --decorate --oneline --all --simplify-by-decoration --pretty=format:"%h %d"
git fetch --tags --force
git describe --tags --abbrev=0 --match "v*"
make test
make assets
- name: Upload coverage
uses: codecov/codecov-action@v5
with:
files: start_lang.c.gcov
disable_search: true
plugins: noop
env:
CODECOV_TOKEN: ${{ secrets.CODECOV_TOKEN }}
- name: Cleanup codecov artifacts
run: rm -f codecov codecov.SHA256SUM codecov.SHA256SUM.sig codecov-*
- name: Update assets
run: |
git config --global --add safe.directory $GITHUB_WORKSPACE
git fetch origin assets
git switch assets
git pull --rebase origin assets
cp -rf build/assets/* .
git config user.name "github-actions"
git config user.email "[email protected]"
ls -la
git add .
git commit -m "Update assets" || echo "No new changes"
git push origin assets