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.

Sign up for GitHub

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

Jump to bottom

chore: update gitpod configuration #987

Merged
merged 8 commits into from
Jul 27, 2023
Merged

chore: update gitpod configuration #987

merged 8 commits into from
Jul 27, 2023

Conversation

moul
Copy link
Member

@moul moul commented Jul 21, 2023 •
edited
Loading

Can be tested here: https://gitpod.io/new/#https://github.com/gnolang/gno/tree/dev/moul/new-gitpod

Checklists...

Contributors Checklist

  • Added new tests, or not needed, or not feasible
  • Provided an example (e.g. screenshot) to aid review or the PR is self-explanatory
  • Updated the official documentation or not needed
  • No breaking changes were made, or a BREAKING CHANGE: xxx message was included in the description
  • Added references to related issues and PRs
  • Provided any useful hints for running manual tests
  • Added new benchmarks to generated graphs, if any. More info here.

@moul moul self-assigned this Jul 21, 2023
@moul moul marked this pull request as ready for review July 22, 2023 08:33
@moul moul requested a review from a team as a code owner July 22, 2023 08:33
zivkovicmilos
zivkovicmilos approved these changes Jul 27, 2023
View reviewed changes
Copy link
Member

@zivkovicmilos zivkovicmilos left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Looks good 💯

I've tried it out on the gitpod link you've provided ✅

.gitpod.yml Show resolved Hide resolved
.gitpod.yml Show resolved Hide resolved
@moul moul mentioned this pull request Jul 27, 2023
Open
3 tasks
@moul moul merged commit 73e59fb into gnolang:master Jul 27, 2023
7 checks passed
@moul moul deleted the dev/moul/new-gitpod branch July 27, 2023 20:24
Doozers pushed a commit to Doozers/gno that referenced this pull request Aug 31, 2023
@moul @Doozers
chore: update gitpod configuration (gnolang#987)
ffe3284
@moul moul added this to the 🌟 main.gno.land (wanted) milestone Sep 8, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@zivkovicmilos zivkovicmilos zivkovicmilos approved these changes

Assignees

@moul moul

Labels
None yet
Projects
😎 Manfred's Board
Status: ✅ Done
🚀 The Launch [DEPRECATED]
Archived in project
🧐 Review Meeting
Archived in project
Milestone
DEPRECATED:🌟 main.gno.land (wanted)
Development

Successfully merging this pull request may close these issues.
2 participants
@moul @zivkovicmilos