Skip to content
ci

feat: proofs for Batteries.Data.Array/Vector.Monadic #10819

Sign in to view logs

feat: proofs for Batteries.Data.Array/Vector.Monadic

feat: proofs for Batteries.Data.Array/Vector.Monadic #10819

Re-run triggered February 1, 2025 09:25
@fgdoraisfgdorais
#1109
Rob23oba:array-vec-monadic
Status Failure
Total duration 50s
Artifacts –

build.yml

on: pull_request
Build
41s
Build
Fit to window
Zoom out
Zoom in

Annotations

1 error
Build
Process completed with exit code 1.