Skip to content
Build and test Karamel based on a FStar image

Support Assumed Declaration in MiniRust translation #2084

Sign in to view logs

Support Assumed Declaration in MiniRust translation

Support Assumed Declaration in MiniRust translation #2084

Triggered via pull request February 11, 2025 10:54
@R1kMR1kM
opened #533
afromher_rust2
Status Success
Total duration 18m 18s
Artifacts 1

linux-x64-hierarchic.yaml

on: pull_request
build
16m 51s
build
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
log Expired
103 KB
sha256:d0659c2e17d2f6f7db5fe3a1e1693c18deca83e5923d6b391d8ed0c1cfeca4c2