Skip to content
Cryptol typecheck

Merge pull request #151 from smithdtyler/patch-1 #530

Sign in to view logs

Merge pull request #151 from smithdtyler/patch-1

Merge pull request #151 from smithdtyler/patch-1 #530

Triggered via push October 15, 2024 14:57
@marsellamarsella
pushed e9c5305
master
Status Success
Total duration 1m 49s
Artifacts –

ci.yml

on: push
check
1m 38s
check
Fit to window
Zoom out
Zoom in