Skip to content
Golden Test

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

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 #208

Triggered via pull request May 13, 2024 23:46
@yuxincsyuxincs
synchronize #240
yuxincs/store-manual-and-inferred-contracts
Status Success
Total duration 8m 9s
Artifacts –

golden-test.yml

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