Skip to content
CodeQL

feat: ask for proof type when creating (#95) #227

Sign in to view logs

feat: ask for proof type when creating (#95)

feat: ask for proof type when creating (#95) #227

Triggered via push December 22, 2023 14:21
@raphodnraphodn
pushed 529cdce
main
Status Success
Total duration 5m 33s
Artifacts –

codeql.yml

on: push
Matrix: Analyze
Fit to window
Zoom out
Zoom in