Skip to content

Bump actions/checkout from 4.1.4 to 4.1.6 #207

Bump actions/checkout from 4.1.4 to 4.1.6

Bump actions/checkout from 4.1.4 to 4.1.6 #207

Workflow file for this run

name: Linux Build
on:
push:
branches: [ master ]
pull_request:
branches: [ master ]
jobs:
build:
runs-on: ubuntu-latest
steps:
- uses: actions/[email protected]
- name: tag version date
run: /bin/sh ./tag.sh
- name: Install packages
run: sudo apt-get install doxygen graphviz ;
- name: autoreconf
run: autoreconf -vfi
- name: Prepare install folder
run: mkdir usr && mkdir usr/local
- name: configure
run: ./configure --prefix=$PWD/usr/local/ || cat config.log
- name: make lib
run: cd ddd ; make -j ; cd ..
- name: make demo
run: make -j
- name: make install
run: make install
- name: prepare artefact
run: rm usr/local/lib/libDDD_d* ; tar cvzf linux.tgz usr/ ; mv linux.tgz website/
- name: make dist
run: make dist ; mv ddd*.tar.gz website/ ;
- name: make doc
run: cd doc ; make ; cd .. ; mv doc/libddd.html/ website/ ;
- name: Deploy to GitHub Pages
uses: JamesIves/[email protected]
with:
branch: gh-pages # The branch the action should deploy to.
folder: website/ # The folder the action should deploy.
clean: true # Automatically remove deleted files from the deploy branch
single-commit: true
- name: Trigger libITS
uses: mvasigh/dispatch-action@main
with:
# You should create a personal access token and store it in your repository
token: ${{ secrets.NOTIF_PAT }}
repo: libITS
owner: lip6
event_type: ${{ runner.os }}