Skip to content
Install & test

Upstream fstar core changes from cryspen-sandwich. #3464

Sign in to view logs

Upstream fstar core changes from cryspen-sandwich.

Upstream fstar core changes from cryspen-sandwich. #3464

Triggered via pull request November 28, 2024 09:23
@maximebuysemaximebuyse
synchronize #1117
sandwich-core-changes
Status Success
Total duration 13m 5s
Artifacts –

install_and_test.yml

on: pull_request
nix-action
12m 53s
nix-action
Fit to window
Zoom out
Zoom in