Skip to content

CI

CI #792

Workflow file for this run

name: CI
on:
schedule: [{cron: '0 0 * * *'}]
push: {branches: master}
jobs:
build-deploy:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v3
- uses: omelkonian/setup-agda@master
with:
agda-version: 2.6.3
stdlib-version: 1.7.2
libraries: omelkonian/formal-prelude#d59bbfc
main: BitML
token: ${{ secrets.GITHUB_TOKEN }}
measure-typechecking: true
ribbon: true
rts: -K256M -H1G -M8G -A128M