Skip to content

Merge pull request #10 from jonhoo/soundness #73

Merge pull request #10 from jonhoo/soundness

Merge pull request #10 from jonhoo/soundness #73

Triggered via push October 19, 2024 10:52
Status Success
Total duration 33s
Artifacts

scheduled.yml

on: push
ubuntu / nightly
23s
ubuntu / nightly
ubuntu / beta / updated
22s
ubuntu / beta / updated
Fit to window
Zoom out
Zoom in