Skip to content
Run make check

Sign commits and bump create-pull-request to v7 in update-syntax-description workflow #352

Sign in to view logs

Sign commits and bump create-pull-request to v7 in update-syntax-description workflow

Sign commits and bump create-pull-request to v7 in update-syntax-description workflow #352

Run time

Learn about OS pricing on GitHub Actions
Job Run time
check (3.14)
1m 51s
check (3.12)
1m 19s
check (3.13)
1m 29s
check (3.10)
1m 37s
check (3.11)
2m 4s
8m 20s