Skip to content
Lint GitHub Actions workflows

Reusing backend information to construct KCFGs more efficiently #529

Sign in to view logs

Reusing backend information to construct KCFGs more efficiently

Reusing backend information to construct KCFGs more efficiently #529

Triggered via pull request August 19, 2024 12:45
@PetarMaxPetarMax
synchronize #4590
petar/streamlining-branching
Status Success
Total duration 15s
Artifacts –

run-actionlint.yml

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