Skip to content

chore(ci): use GITHUB_SHA env var instead of github.sha#579

Merged
jansegre merged 1 commit intomasterfrom
chore/fix-ci-tags
May 3, 2023
Merged

chore(ci): use GITHUB_SHA env var instead of github.sha#579
jansegre merged 1 commit intomasterfrom
chore/fix-ci-tags

Conversation

@jansegre
Copy link
Copy Markdown
Member

@jansegre jansegre commented Apr 28, 2023

@jansegre jansegre requested a review from luislhl April 28, 2023 14:48
@jansegre jansegre self-assigned this Apr 28, 2023
@jansegre jansegre requested a review from msbrogli as a code owner April 28, 2023 14:48
@jansegre jansegre force-pushed the chore/fix-ci-tags branch from ae39b5f to 8df3e1d Compare April 28, 2023 14:50
@codecov
Copy link
Copy Markdown

codecov bot commented Apr 28, 2023

Codecov Report

Merging #579 (c726bd9) into master (bfd6e04) will decrease coverage by 0.02%.
The diff coverage is n/a.

@@            Coverage Diff             @@
##           master     #579      +/-   ##
==========================================
- Coverage   83.45%   83.44%   -0.02%     
==========================================
  Files         221      221              
  Lines       19144    19144              
  Branches     2623     2623              
==========================================
- Hits        15977    15974       -3     
- Misses       2589     2591       +2     
- Partials      578      579       +1     

see 3 files with indirect coverage changes

@jansegre jansegre force-pushed the chore/fix-ci-tags branch from 8df3e1d to c726bd9 Compare May 3, 2023 12:46
@jansegre jansegre merged commit a3c2d46 into master May 3, 2023
@jansegre jansegre deleted the chore/fix-ci-tags branch May 3, 2023 13:15
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants