Skip to content
certora-stata

add golang native implementation #10

Sign in to view logs

add golang native implementation

add golang native implementation #10

This workflow is awaiting approval from a maintainer in #4
Triggered via pull request December 15, 2025 03:24
@unclezorounclezoro
synchronize #4
unclezoro:native
Status Action required
Total duration –
Artifacts –
This workflow is awaiting approval from a maintainer in #4

certora-stata.yml

on: pull_request
verify
verify
Fit to window
Zoom out
Zoom in