lint workflows

Update dependency halmos to v0.1.14 and Python to 3.11 #707

Sign in to view logs

Summary
Jobs
- lint
Run details
- Usage
- Workflow file

Triggered via pull request August 22, 2024 22:06

cairoeth

synchronize #5147

renovate/halmos-0.x

Status Success

Total duration 17s

Artifacts –

actionlint.yml

on: pull_request