Lint GitHub Actions workflows

Refactor `from_spec_modules` in `APRProof` #11

Sign in to view logs

Triggered via pull request June 24, 2024 19:13

tothtamas28

synchronize #4447

refactor-proof-from-modules

Status Success

Total duration 21s

Artifacts –

run-actionlint.yml

on: pull_request