Lint GitHub Actions workflows

Update dependency: deps/z3 #1025

Sign in to view logs

Triggered via pull request January 7, 2025 12:31

synchronize #4720

_update-deps/runtimeverification/z3-images

Status Success

Total duration 17s

Artifacts –

run-actionlint.yml

on: pull_request