Implement CI improvements outlined in #3925#5301

Closed

galargh wants to merge 11 commits intoNomicFoundation:mainfrom galargh:chore/3925-ci-improvements

Commits on Jun 8, 2024

Restore pull_request_target trigger in lint workflow
galargh
committed

Commits on Jun 25, 2024

Merge remote-tracking branch 'origin/main' into chore/3925-ci-improvements
galargh
committed

Commits on Jul 29, 2024

Merge remote-tracking branch 'origin/main' into chore/3925-ci-improvements
galargh
committed