Skip to content

Merge branch 'master' of https://github.com/chaotic-society/theoretica #195

Merge branch 'master' of https://github.com/chaotic-society/theoretica

Merge branch 'master' of https://github.com/chaotic-society/theoretica #195

Workflow file for this run

name: Benchmark
on:
push:
branches: [ master ]
pull_request:
branches: [ master ]
jobs:
build:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v3
- name: benchmark
run: make benchmark