# documentation.
# Only trigger manually
-#######################
-# on:
-# workflow_dispatch:
-# # Rebuild when changing the stable branch
-# push:
-# branches:
-# - master
+on: workflow_dispatch
jobs:
- simgrid-regular-debian11:
-
- runs-on: debian:11
+ simgrid-regular:
+ runs-on: ubuntu-latest
permissions:
contents: read
packages: write
- name: build
run: |
+ apt install ninja libboost-dev libboost-context-dev libns3-dev
cmake -GNinja -Denable_debug=ON -Denable_documentation=OFF -Denable_coverage=OFF \
-Denable_compile_optimizations=ON -Denable_compile_warnings=ON \
-Denable_model-checking=OFF -Denable_smpi_MBI_testsuite=OFF \
MATTERMOST_WEBHOOK_URL: ${{ secrets.MATTERMOST_WEBHOOK_URL }}
MATTERMOST_CHANNEL: ${{ secrets.MATTERMOST_CHANNEL}}
- simgrid-modelchecker-debian11:
+ simgrid-modelcheck-ubuntu:
- runs-on: debian:11
+ runs-on: ubuntu-latest
permissions:
contents: read
packages: write
- name: build
run: |
+ apt install ninja libboost-dev libboost-context-dev
cmake -GNinja -Denable_debug=ON -Denable_documentation=OFF -Denable_coverage=OFF \
-Denable_compile_optimizations=ON -Denable_compile_warnings=ON \
-Denable_model-checking=ON -Denable_smpi_MBI_testsuite=OFF \