Skip to content
Pull Request

feat: creating an SMT verification module #841

Sign in to view logs

feat: creating an SMT verification module

feat: creating an SMT verification module #841

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

pull-request.yml

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