Skip to content
CI

Gelato Oracle Certora Spec #107

Sign in to view logs

Gelato Oracle Certora Spec

Gelato Oracle Certora Spec #107

Re-run triggered November 12, 2025 10:50
@miguelmtzinfmiguelmtzinf
#17
TokenLogic-com-au:gelato-oracle
Status Success
Total duration 3m 4s
Artifacts 3

test.yml

on: pull_request
lint  /  Lint code
22s
lint / Lint code
test  /  Foundry build n test
2m 56s
test / Foundry build n test
Fit to window
Zoom out
Zoom in

Annotations

2 warnings
lint / Lint code
Could not determine node version from /home/runner/work/gho-origin/gho-origin/package.json. Falling back
test / Foundry build n test
Could not determine node version from /home/runner/work/gho-origin/gho-origin/package.json. Falling back

Artifacts

Produced during runtime
Name Size Digest
contentdefault
16.9 KB
sha256:478299d4683c667bbef4d6561635b44aa3690bcf426642467e0580910d20be70
lcov-report
14.4 KB
sha256:f4e09533b665ea7d08fcbaaeccf2059c538bff97a545a1b69749938f626fcd13
sizes-report
3.78 KB
sha256:772aec2ee8ffc25e5c5f716cb6e651fc331462591e81958ac2086e096a316eab