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

docs: test3 -> portal loop #2897

Merged
merged 5 commits into from
Oct 4, 2024
Merged

Conversation

moul
Copy link
Member

@moul moul commented Oct 3, 2024

Update links from test3 to portal loop where appropriate.

Signed-off-by: moul <94029+moul@users.noreply.github.com>
@moul moul self-assigned this Oct 3, 2024
@moul moul marked this pull request as ready for review October 3, 2024 16:22
@moul moul requested review from thehowl, jaekwon, piux2, gfanton and a team as code owners October 3, 2024 16:22
@github-actions github-actions bot added 📦 🤖 gnovm Issues or PRs gnovm related 📦 ⛰️ gno.land Issues or PRs gno.land package related labels Oct 3, 2024
Copy link

codecov bot commented Oct 3, 2024

Codecov Report

All modified and coverable lines are covered by tests ✅

Project coverage is 60.95%. Comparing base (8a62a28) to head (70d430e).
Report is 1 commits behind head on master.

Additional details and impacted files
@@           Coverage Diff           @@
##           master    #2897   +/-   ##
=======================================
  Coverage   60.95%   60.95%           
=======================================
  Files         564      564           
  Lines       75273    75273           
=======================================
  Hits        45884    45884           
+ Misses      26019    26018    -1     
- Partials     3370     3371    +1     
Flag Coverage Δ
contribs/gnodev 61.46% <ø> (ø)
contribs/gnofaucet 14.46% <ø> (ø)
gno.land 67.92% <ø> (ø)
gnovm 65.78% <100.00%> (+<0.01%) ⬆️
misc/genstd 80.54% <ø> (ø)
misc/logos 19.88% <ø> (ø)
tm2 62.07% <ø> (+<0.01%) ⬆️

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

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

Signed-off-by: moul <94029+moul@users.noreply.github.com>
@moul moul requested a review from a team as a code owner October 3, 2024 16:27
@github-actions github-actions bot added the 🧾 package/realm Tag used for new Realms or Packages. label Oct 3, 2024
@moul moul changed the title chore: test3 -> portal loop docs: test3 -> portal loop Oct 3, 2024
@thehowl
Copy link
Member

thehowl commented Oct 4, 2024

Please fix CI and we're good to go

Signed-off-by: moul <94029+moul@users.noreply.github.com>
Signed-off-by: moul <94029+moul@users.noreply.github.com>
@moul moul merged commit d3049ae into gnolang:master Oct 4, 2024
122 checks passed
@moul moul deleted the dev/moul/portal-loop-links branch October 4, 2024 20:45
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
📦 ⛰️ gno.land Issues or PRs gno.land package related 📦 🤖 gnovm Issues or PRs gnovm related 🧾 package/realm Tag used for new Realms or Packages.
Projects
Status: Done
Status: ✅ Done
Status: Done
Development

Successfully merging this pull request may close these issues.

3 participants