Skip to content

feat: improvements to serialization (PROOF-927) #783

feat: improvements to serialization (PROOF-927)

feat: improvements to serialization (PROOF-927) #783

Triggered via pull request February 5, 2025 04:19
@rnburnrnburn
synchronize #243
slz3-PROOF-927
Status Success
Total duration 19m 52s
Artifacts

test-check-lint.yml

on: pull_request
Check code
42s
Check code
C++ code
3m 37s
C++ code
C++ code with optimizations
10m 54s
C++ code with optimizations
C++ code with address sanitizer
48s
C++ code with address sanitizer
Rust Sys Crate
2m 40s
Rust Sys Crate
Fit to window
Zoom out
Zoom in