Skip to content
Update stage0

feat: change Array.set to take a Nat and a tactic provided bound (#5988) #37

Sign in to view logs

feat: change Array.set to take a Nat and a tactic provided bound (#5988)

feat: change Array.set to take a Nat and a tactic provided bound (#5988) #37

Triggered via push November 11, 2024 09:06
@luisacicoliniluisacicolini
pushed 258d372
master
Status Success
Total duration 34s
Artifacts –

update-stage0.yml

on: push
update-stage0
20s
update-stage0
Fit to window
Zoom out
Zoom in