Merge main to nightly

chore: add `@[simp]` for `Fin.foldl_zero` and `Fin.foldr_zero` (#820) #359

Sign in to view logs

Triggered via push June 5, 2024 21:06

digama0

main

Status Success

Total duration 12s

Artifacts –

nightly_merge_master.yml

on: push

merge-to-nightly