Builds, tests & co

Only build the benchmarking tool when the bench dune profile is used #17

Sign in to view logs

Triggered via pull request October 9, 2025 19:07

kit-ty-kate

opened #11

kit-ty-kate:bench-dune-profile

Status Failure

Total duration 2m 14s

Artifacts –

main.yml

on: pull_request

Matrix: build

Annotations

2 errors

build (ubuntu-latest, 4.08)

Process completed with exit code 1.

build (ubuntu-latest, 5)

Process completed with exit code 1.