Skip to content

gawk-3.0.4: remove a pregenerated file #695

gawk-3.0.4: remove a pregenerated file

gawk-3.0.4: remove a pregenerated file #695

Triggered via pull request February 8, 2025 00:40
Status Success
Total duration 19s
Artifacts

lint.yml

on: pull_request
Lint Python files
10s
Lint Python files
Lint shell files
6s
Lint shell files
Lint reuse information
7s
Lint reuse information
Fit to window
Zoom out
Zoom in