Skip to content
Lint GitHub Actions workflows

Update dependency: deps/llvm-backend_release #837

Sign in to view logs

Update dependency: deps/llvm-backend_release

Update dependency: deps/llvm-backend_release #837

Triggered via pull request October 18, 2024 14:55
@RobertorosmaninhoRobertorosmaninho
synchronize #4667
_update-deps/runtimeverification/llvm-backend
Status Success
Total duration 19s
Artifacts –

run-actionlint.yml

on: pull_request
Run actionlint
9s
Run actionlint
Fit to window
Zoom out
Zoom in