Skip to content

Merge pull request #4 from pedromxavier/px/sysimage #10

Merge pull request #4 from pedromxavier/px/sysimage

Merge pull request #4 from pedromxavier/px/sysimage #10

Workflow file for this run

name: Create Sysimage
on:
workflow_dispatch:
push:
branches: '**'
jobs:
benchmark:
if: ${{ !(github.event_name == 'push') || contains(github.event.head_commit.message, '[sysimage]') }}
name: Julia ${{ matrix.julia-version }}, @ ${{ matrix.os }}/${{ matrix.arch }}/${{ github.event_name }}
runs-on: ${{ matrix.os }}
strategy:
fail-fast: false
matrix:
include:
- julia-version: '1.9.1'
os: ubuntu-22.04
arch: x64
steps:
- uses: actions/checkout@v3
- uses: julia-actions/setup-julia@v1
with:
version: ${{ matrix.julia-version }}
arch: ${{ matrix.arch }}
- name: Create Sysimage
run: |
julia --project=sysimage ./scripts/create_sysimage.jl
du -s ./sysimage/sysimage.so
# - name: Upload Sysimage
# env:
# GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} # For authentication with GitHub Actions token
# run: |
# git config --global user.name "github-actions[bot]"
# git config --global user.email "41898282+github-actions[bot]@users.noreply.github.com"
# git lfs track ./sysimage/sysimage.so
# git add ./sysimage/sysimage.so
# git commit -m "Generate Sysimage [actions]"
# git push