Skip to content
CI

Fix proofgen to handle imports, axioms, trusted decls, non-structs #310

Sign in to view logs

Fix proofgen to handle imports, axioms, trusted decls, non-structs

Fix proofgen to handle imports, axioms, trusted decls, non-structs #310

Triggered via push February 6, 2025 18:28
@upamanyusupamanyus
pushed 04017e2
new-global-funcs
Status Success
Total duration 1m 4s
Artifacts –

build.yml

on: push
Matrix: test
Fit to window
Zoom out
Zoom in