Skip to content
Test Workspace

Proof libs (F*): fix trait inheritance in rand-core #3958

Sign in to view logs

Proof libs (F*): fix trait inheritance in rand-core

Proof libs (F*): fix trait inheritance in rand-core #3958

Triggered via pull request February 21, 2025 01:18
@karthikbhargavankarthikbhargavan
opened #1322
rand-core-traits
Status Success
Total duration 7m 35s
Artifacts –

test.yml

on: pull_request
no-std-lib
45s
no-std-lib
Matrix: test-workspace
Fit to window
Zoom out
Zoom in