Skip to content

Merge pull request #8 from LeanMachineLearning/computable #66

Merge pull request #8 from LeanMachineLearning/computable

Merge pull request #8 from LeanMachineLearning/computable #66

Triggered via push September 23, 2026 11:05
Status Success
Total duration 3m 36s
Artifacts –

build.yml

on: push
Fit to window
Zoom out
Zoom in

Annotations

1 notice
Build project
"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"