Skip to content
Halmos

chore: fix typo #152

Sign in to view logs

chore: fix typo

chore: fix typo #152

This workflow is awaiting approval from a maintainer in #716
Triggered via pull request January 20, 2025 12:09
@jiangmencityjiangmencity
opened #716
jiangmencity:main
Status Action required
Total duration –
Artifacts –
This workflow is awaiting approval from a maintainer in #716

halmos.yml

on: pull_request
verify
verify
Fit to window
Zoom out
Zoom in