Skip to content
Pull Request

feat: creating an SMT verification module #843

Sign in to view logs

feat: creating an SMT verification module

feat: creating an SMT verification module #843

Triggered via pull request September 1, 2023 15:04
@SarkoxedSarkoxed
synchronize #712
as/smt-verification
Status Success
Total duration 14s
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