Skip to content
Golden Test

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

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

Triggered via pull request May 14, 2024 00:01
@yuxincsyuxincs
synchronize #240
yuxincs/store-manual-and-inferred-contracts
Status Success
Total duration 8m 33s
Artifacts –

golden-test.yml

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