fsm: replace error-prone lack of transition f assert by returnin 0 ST… #72
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
name: ci | |
on: | |
pull_request: | |
push: | |
branches: | |
[ main, master ] | |
jobs: | |
deploy-gh-pages: | |
runs-on: ubuntu-latest | |
steps: | |
- name: Checkout repository and submodules | |
uses: actions/checkout@v3 | |
with: | |
submodules: recursive | |
# Build the HTML documentation | |
- name: Doxygen Action | |
run: | | |
sudo apt-get install -y doxygen | |
doxygen Doxyfile | |
# Deploy the HTML documentation to GitHub Pages | |
- name: GH Pages Deployment | |
uses: peaceiris/actions-gh-pages@v3 # https://github.com/peaceiris/actions-gh-pages | |
with: | |
github_token: ${{ secrets.GITHUB_TOKEN }} | |
publish_dir: ./html #deploy ./html directory to the remote gh-pages branch. | |
enable_jekyll: false | |
allow_empty_commit: false | |
force_orphan: true | |
publish_branch: gh-pages | |
run-tests: | |
runs-on: ubuntu-latest | |
steps: | |
- name: Checkout code | |
uses: actions/checkout@v3 | |
with: | |
submodules: recursive | |
- name: Install dependencies | |
run: sudo apt-get install gcc make | |
- name: Run tests | |
run: make -C test tests |