Skip to content
.github/workflows/charon.yml

Upstream fstar core changes from cryspen-sandwich. #911

Sign in to view logs

Upstream fstar core changes from cryspen-sandwich.

Upstream fstar core changes from cryspen-sandwich. #911

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

charon.yml

on: pull_request
charon
9m 8s
charon
Fit to window
Zoom out
Zoom in