Skip to content
Quint

[ci] Run all benchmarks in benchmarks job #2872

Sign in to view logs

[ci] Run all benchmarks in benchmarks job

[ci] Run all benchmarks in benchmarks job #2872

Triggered via pull request October 5, 2025 22:20
@clabbyclabby
opened #1810
cl/bench-heavy-fix
Status Success
Total duration 1m 3s
Artifacts –

quint.yml

on: pull_request
Tests
1m 0s
Tests
Fit to window
Zoom out
Zoom in