Skip to content
Lint GitHub Workflows

Merge pull request #8217 from neondatabase/rc/2024-07-01 #1761

Sign in to view logs

Merge pull request #8217 from neondatabase/rc/2024-07-01

Merge pull request #8217 from neondatabase/rc/2024-07-01 #1761

Run time

Learn about OS pricing on GitHub Actions
Job Run time
check-permissions / check-permissions
1s
actionlint
6s
7s