Skip to content
CI

remove const len rpc fields. encoding/decoding lemmas become a bit mo… #47

Sign in to view logs

remove const len rpc fields. encoding/decoding lemmas become a bit mo…

remove const len rpc fields. encoding/decoding lemmas become a bit mo… #47

Triggered via push June 27, 2024 21:47
@sanjit-bhatsanjit-bhat
pushed 15d97c4
main
Status Success
Total duration 46s
Billable time 3m
Artifacts –

ci.yml

on: push
go
38s
go
python
10s
python
other
24s
other
Fit to window
Zoom out
Zoom in