Skip to content
Merge main to nightly

feat: proofs for Batteries.Data.Array/Vector.Monadic (#1109) #576

Sign in to view logs

feat: proofs for Batteries.Data.Array/Vector.Monadic (#1109)

feat: proofs for Batteries.Data.Array/Vector.Monadic (#1109) #576

Triggered via push February 7, 2025 03:15
@github-merge-queuegithub-merge-queue[bot]
pushed 24cbb07
main
Status Success
Total duration 15s
Artifacts –

nightly_merge_master.yml

on: push
merge-to-nightly
7s
merge-to-nightly
Fit to window
Zoom out
Zoom in