Push halmos package

Push halmos package #9

Sign in to view logs

Summary
Jobs
- push
Run details
- Usage
- Workflow file

Triggered via workflow run November 8, 2024 23:49

completed ⁠ 4e82a90

Status Success

Total duration 56s

Artifacts –

publish-halmos-package.yml

on: workflow_run