Skip to content
Lint GitHub Actions workflows

Adding preserves-definedness attributes to domains.md #871

Sign in to view logs

Adding preserves-definedness attributes to domains.md

Adding preserves-definedness attributes to domains.md #871

Triggered via pull request November 20, 2024 13:36
@palinatolmachpalinatolmach
synchronize #4680
petar/pres-def
Status Success
Total duration 16s
Artifacts –

run-actionlint.yml

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