Skip to content

Move to intall-kontrol action and run kontrol intead of foundry #3

Move to intall-kontrol action and run kontrol intead of foundry

Move to intall-kontrol action and run kontrol intead of foundry #3

Workflow file for this run

name: Kontrol CI Demo
on:
pull_request:
branches:
- master
workflow_dispatch:
env:
FOUNDRY_PROFILE: ci
jobs:
check:
strategy:
fail-fast: true
name: Kontrol Demo Project
runs-on: [self-hosted, linux, normal]
steps:
- uses: actions/checkout@v4
with:
submodules: recursive
- name: Install Kontrol
uses: runtimeverification/[email protected]
with:
version: latest
- name: Run Kontrol Tests
run: |
./run-kontrol.sh