Skip to content
.github/workflows/ci.yml

Merge pull request #52 from AeneasVerif/son_improves #73

Sign in to view logs

Merge pull request #52 from AeneasVerif/son_improves

Merge pull request #52 from AeneasVerif/son_improves #73

Triggered via push November 27, 2023 15:12
@sonmarchosonmarcho
pushed a635cdc
main
Status Success
Total duration 22s
Artifacts –

ci.yml

on: push
nix
11s
nix
Fit to window
Zoom out
Zoom in