Merge main to nightly

fix: don't cast to `Option` in `List.get_zero` (#758) #323

Sign in to view logs

Triggered via push April 30, 2024 06:42

kim-em

main

Status Success

Total duration 16s

Artifacts –

nightly_merge_master.yml

on: push

merge-to-nightly