Skip to content
.github/workflows/charon.yml

feat(ci): test rust by examples (extract to F*) #767

Sign in to view logs

feat(ci): test rust by examples (extract to F*)

feat(ci): test rust by examples (extract to F*) #767

Triggered via pull request October 31, 2024 17:43
@W95PspW95Psp
synchronize #1092
nix-rust-by-example
Status Success
Total duration 9m 20s
Artifacts –

charon.yml

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