Skip to content
Rust Tests

Add simple ensures, requires, safety predicates (#15) #9

Sign in to view logs

Add simple ensures, requires, safety predicates (#15)

Add simple ensures, requires, safety predicates (#15) #9

Triggered via push June 12, 2024 03:48
@celinvalcelinval
pushed 614eb77
main
Status Success
Total duration 11m 34s
Artifacts –

rustc.yml

on: push
Matrix: build
Fit to window
Zoom out
Zoom in