Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Bump GitHub workflow actions to latest versions #5026

Merged
merged 1 commit into from
Nov 9, 2023

Conversation

deining
Copy link
Contributor

@deining deining commented Nov 9, 2023

📑 Summary

This PR bumps GitHub workflow actions to their latest versions.

Make sure you

Copy link

netlify bot commented Nov 9, 2023

Deploy Preview for mermaid-js ready!

Name Link
🔨 Latest commit 6fb5641
🔍 Latest deploy log https://app.netlify.com/sites/mermaid-js/deploys/654cc9508a4cef00080112a6
😎 Deploy Preview https://deploy-preview-5026--mermaid-js.netlify.app
📱 Preview on mobile
Toggle QR Code...

QR Code

Use your smartphone camera to open QR code link.

To edit notification comments on pull requests, go to your Netlify site configuration.

Copy link

codecov bot commented Nov 9, 2023

Codecov Report

Merging #5026 (6fb5641) into develop (1571b25) will increase coverage by 0.41%.
The diff coverage is n/a.

Additional details and impacted files

Impacted file tree graph

@@             Coverage Diff             @@
##           develop    #5026      +/-   ##
===========================================
+ Coverage    79.66%   80.07%   +0.41%     
===========================================
  Files          164      164              
  Lines        13862    13862              
  Branches       698      698              
===========================================
+ Hits         11043    11100      +57     
+ Misses        2668     2610      -58     
- Partials       151      152       +1     
Flag Coverage Δ
e2e 86.17% <ø> (+0.51%) ⬆️
unit 42.91% <ø> (ø)

Flags with carried forward coverage won't be shown. Click here to find out more.

see 4 files with indirect coverage changes

@sidharthv96 sidharthv96 added this pull request to the merge queue Nov 9, 2023
Merged via the queue into mermaid-js:develop with commit c89557d Nov 9, 2023
18 checks passed
Copy link

mermaid-bot bot commented Nov 9, 2023

@deining, Thank you for the contribution!
You are now eligible for a year of Premium account on MermaidChart.
Sign up with your GitHub account to activate.

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.

2 participants