certora-basic

add golang native implementation #9

Sign in to view logs

This workflow is awaiting approval from a maintainer in #4

Triggered via pull request December 17, 2025 15:29

unclezoro

synchronize #4

unclezoro:native

Status Action required

Total duration –

Artifacts –

This workflow is awaiting approval from a maintainer in #4

certora-basic.yml

on: pull_request