Skip to content
Push halmos-builder package

Push halmos-builder package #18

Sign in to view logs

Push halmos-builder package

Push halmos-builder package #18

Manually triggered November 8, 2024 23:07
@karmacoma-ethkarmacoma-eth
⁠ 29d9484
main
Status Success
Total duration 1m 32s
Artifacts –

publish-halmos-builder-package.yml

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