Skip to content

Merge pull request #8 from GaloisInc/feature/ci-benchmarking-totals #43

Merge pull request #8 from GaloisInc/feature/ci-benchmarking-totals

Merge pull request #8 from GaloisInc/feature/ci-benchmarking-totals #43

Triggered via push September 18, 2024 20:54
Status Success
Total duration 41m 17s
Artifacts

ci-runtime.yml

on: push
Matrix: build
Fit to window
Zoom out
Zoom in

Annotations

1 warning
build (4.14.1)
Cache save failed.