Skip to content

WIP - Permutation Groupoid #917

WIP - Permutation Groupoid

WIP - Permutation Groupoid #917

Workflow file for this run

name: Benchmarks
on: [pull_request]
jobs:
benchmark:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v2
- name: Set up Julia
uses: julia-actions/setup-julia@latest
with:
version: "1"
- name: Install dependencies
run: julia -e 'using Pkg; pkg"add PkgBenchmark BenchmarkCI@0.1"'
- name: Run benchmarks
run: julia -e 'using BenchmarkCI; BenchmarkCI.judge(; baseline = "origin/main")'
- name: Print results
run: julia -e 'using BenchmarkCI; BenchmarkCI.displayjudgement()'