Skip to content
Semantic Release Test Installation

chore(dafny): change nat to uint64 in many places #1797

Sign in to view logs

chore(dafny): change nat to uint64 in many places

chore(dafny): change nat to uint64 in many places #1797

Triggered via pull request May 1, 2025 23:02
@ajewellamzajewellamz
synchronize #1852
ajewell/bump-mpl2
Status Success
Total duration 1m 37s
Artifacts –

sem_ver.yml

on: pull_request
semantic-release
1m 31s
semantic-release
Fit to window
Zoom out
Zoom in