lint/lib
Marco Ferrari 1d5ed2c386
fix: fix GITHUB_BEFORE_SHA diff on push events (#5096)
- Fix GITHUB_BEFORE_SHA initialization on push events by setting the
  correct key.
- Add an additional check against setting GITHUB_BEFORE_SHA to null.
- Run the CI workflow on push events to trigger required status checks
  when using the merge queue.
2024-01-04 22:54:47 +01:00
..
functions fix: fix GITHUB_BEFORE_SHA diff on push events (#5096) 2024-01-04 22:54:47 +01:00
linter.sh fix: fix GITHUB_BEFORE_SHA diff on push events (#5096) 2024-01-04 22:54:47 +01:00