Skip to content
.github/workflows/ci.yml

Merge pull request #54 from AeneasVerif/son_closures #142

Sign in to view logs

Merge pull request #54 from AeneasVerif/son_closures

Merge pull request #54 from AeneasVerif/son_closures #142

Triggered via push December 5, 2023 15:31
@sonmarchosonmarcho
pushed 71fe503
main
Status Success
Total duration 23s
Artifacts –
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

ci.yml

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