Skip to content
Test Workspace

add F* core arch type #2007

Sign in to view logs

add F* core arch type

add F* core arch type #2007

Triggered via pull request April 29, 2024 13:10
@franziskuskieferfranziskuskiefer
synchronize #641
franziskus/fstar-core-arch-start
Status Success
Total duration 4m 4s
Artifacts –

test.yml

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