Skip to content
Golden Test

Implement fact export for manually-written and inferred function contracts #247

Sign in to view logs

Implement fact export for manually-written and inferred function contracts

Implement fact export for manually-written and inferred function contracts #247

Triggered via pull request July 19, 2024 15:17
@yuxincsyuxincs
synchronize #240
yuxincs/store-manual-and-inferred-contracts
Status Success
Total duration 8m 19s
Artifacts –

golden-test.yml

on: pull_request
Golden Test
8m 11s
Golden Test
Fit to window
Zoom out
Zoom in