Merge main to nightly

feat: add lemmas `Fin.foldl_rev`, `Fin.foldr_rev` (#821) #361

Sign in to view logs

Triggered via push June 5, 2024 21:08

digama0

main

Status Success

Total duration 17s

Artifacts –

nightly_merge_master.yml

on: push

merge-to-nightly