Skip to content
Build

Split the Erc20.v file #12

Sign in to view logs

Split the Erc20.v file

Split the Erc20.v file #12

Triggered via pull request March 28, 2025 14:57
@clarusclarus
synchronize #4
guillaume-claret@split-files
Status Success
Total duration 1m 22s
Artifacts –

build.yml

on: pull_request
build
1m 17s
build
Fit to window
Zoom out
Zoom in

Annotations

1 warning
build
Failed to remove 'http.https://github.com/.extraheader' from the git config