Skip to content

Merge pull request #394 from moka-rs/remove-actions-rs/v0.12.x #426

Merge pull request #394 from moka-rs/remove-actions-rs/v0.12.x

Merge pull request #394 from moka-rs/remove-actions-rs/v0.12.x #426

Workflow file for this run

name: Kani CI
on:
pull_request:
paths-ignore:
- '.devcontainer/**'
- '.gitpod.yml'
- '.vscode/**'
- CHANGELOG.md
- README.md
push:
paths-ignore:
- '.devcontainer/**'
- '.gitpod.yml'
- '.vscode/**'
- CHANGELOG.md
- README.md
jobs:
pre_job:
runs-on: ubuntu-latest
outputs:
should_skip: ${{ steps.skip_check.outputs.should_skip }}
steps:
- id: skip_check
# https://github.com/marketplace/actions/skip-duplicate-actions
uses: fkirc/skip-duplicate-actions@v5
with:
concurrent_skipping: 'same_content'
do_not_skip: '["pull_request", "workflow_dispatch", "schedule"]'
run-kani:
needs: pre_job
if: needs.pre_job.outputs.should_skip != 'true'
runs-on: ubuntu-20.04
steps:
- name: Checkout Moka
uses: actions/checkout@v4
- name: Show CPU into
run: |
nproc
lscpu
free -m
- name: Run Kani
uses: model-checking/[email protected]
with:
args: --features 'sync, future'