Skip to content

Rename server_state_in_phase to state_in_server_phase #211

Rename server_state_in_phase to state_in_server_phase

Rename server_state_in_phase to state_in_server_phase #211

name: 'Automated quick-and-dirty build'
on: [push]
jobs:
quick-and-dirty-build:
runs-on: ubuntu-latest
container: texlive/texlive:latest
steps:
- name: 'Check out repository'
uses: actions/checkout@v3
- name: 'Build'
uses: jeltsch/actions-isabelle-build@master
with:
session-name: Ouroboros
chapter-name: IOG
source-path: src
isabelle-version: 2022
afp-sessions:
ZFC_in_HOL:2022-10-27
Finite-Map-Extras:2022-10-27
github-sessions:
input-output-hk/equivalence-reasoner:src
input-output-hk/transition-systems:src
input-output-hk/thorn-calculus:src