Update SHA

This commit is contained in:
Diego Hurtado
2024-07-24 20:17:07 -06:00
parent a47810c2a2
commit 1a01be22f0
4 changed files with 4 additions and 4 deletions

View File

@ -6,7 +6,7 @@ on:
- 'release/*'
pull_request:
env:
CORE_REPO_SHA: main
CORE_REPO_SHA: 7b1d318f84604bf46112c744b6f781ddb9e27b75
jobs:
instrumentations-0:

View File

@ -6,7 +6,7 @@ on:
- 'release/*'
pull_request:
env:
CORE_REPO_SHA: main
CORE_REPO_SHA: 7b1d318f84604bf46112c744b6f781ddb9e27b75
jobs:
instrumentations-1:

View File

@ -6,7 +6,7 @@ on:
- 'release/*'
pull_request:
env:
CORE_REPO_SHA: main
CORE_REPO_SHA: 7b1d318f84604bf46112c744b6f781ddb9e27b75
jobs:
lint-3_12:

View File

@ -6,7 +6,7 @@ on:
- 'release/*'
pull_request:
env:
CORE_REPO_SHA: main
CORE_REPO_SHA: 7b1d318f84604bf46112c744b6f781ddb9e27b75
jobs:
misc: