Longitudinal Benchmarks

Add workflow for publishing Agda Metatheory site (#6223) #599

Sign in to view logs

Triggered via push June 20, 2024 09:31

Status Success

Total duration 1h 43m 35s

Artifacts –

longitudinal-benchmark.yml

on: push

Performance regression check