Skip to content
Pull Request

feat: creating an SMT verification module #842

Sign in to view logs

feat: creating an SMT verification module

feat: creating an SMT verification module #842

Triggered via pull request September 1, 2023 11:28
@SarkoxedSarkoxed
synchronize #712
as/smt-verification
Status Success
Total duration 10s
Artifacts –

pull-request.yml

on: pull_request
Validate PR title is Conventional Commit
2s
Validate PR title is Conventional Commit
Fit to window
Zoom out
Zoom in