Skip to content
Check licenses

Upstream fstar core changes from cryspen-sandwich. #359

Sign in to view logs

Upstream fstar core changes from cryspen-sandwich.

Upstream fstar core changes from cryspen-sandwich. #359

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

licenses.yml

on: pull_request
nix-action
3m 59s
nix-action
Fit to window
Zoom out
Zoom in