Skip to content

Disable window pipelines until I can fix them #400

Disable window pipelines until I can fix them

Disable window pipelines until I can fix them #400

Workflow file for this run

name: Linux
on:
push:
branches: [ "master" ]
pull_request:
branches: [ "master" ]
jobs:
build:
runs-on: ubuntu-latest
steps:
- name: Checkout
uses: actions/checkout@v4
with:
submodules: 'true'
- name: Restore configure results
id: cached-configure-restore
uses: actions/cache/restore@v4
with:
path: |
include/deemon/config.h
config.mk
key: ${{ runner.os }}-configure
- name: Configure
if: steps.cached-configure-restore.outputs.cache-hit != 'true'
run: bash configure --without-libffi
- name: Save configure results
if: steps.cached-configure-restore.outputs.cache-hit != 'true'
id: cached-configure-save
uses: actions/cache/save@v4
with:
path: |
include/deemon/config.h
config.mk
key: ${{ runner.os }}-configure
- name: Bind GCC problem matcher
uses: ammaraskar/gcc-problem-matcher@master
- name: Make
run: make -j $(nproc)
- name: Test
run: ./deemon util/test.dee
- name: Prepare lib folder for artifact
run: |
find "lib" -name '*.dec' -delete
find "lib" -name '.gitignore' -delete
unlink lib/LANGUAGE.txt || true
- name: Save executable as artifact
if: success() || failure()
uses: actions/upload-artifact@v4
with:
name: ${{ runner.os }}-${{ github.sha }}-build
if-no-files-found: ignore
path: |
include/deemon/config.h
config.mk
deemon
deemon.*
lib