Skip to content
Push halmos-builder package

Merge branch 'main' into feat/truncated-hashes #27

Sign in to view logs

Merge branch 'main' into feat/truncated-hashes

Merge branch 'main' into feat/truncated-hashes #27

Triggered via push November 13, 2024 21:50
@karmacoma-ethkarmacoma-eth
pushed 9b57d15
feat/truncated-hashes
Status Success
Total duration 1m 20s
Artifacts –

publish-halmos-builder-package.yml

on: push
push
1m 9s
push
Fit to window
Zoom out
Zoom in