Skip to content
Pull Request

feat: creating an SMT verification module #837

Sign in to view logs

feat: creating an SMT verification module

feat: creating an SMT verification module #837

Triggered via pull request August 31, 2023 18:31
@SarkoxedSarkoxed
synchronize #712
as/smt-verification
Status Success
Total duration 12s
Artifacts –

pull-request.yml

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