Skip to content

fix: added wifi details#67

Merged
JoshuaKGoldberg merged 3 commits intoSquiggleTools:mainfrom
Yonava:main
Sep 18, 2025
Merged

fix: added wifi details#67
JoshuaKGoldberg merged 3 commits intoSquiggleTools:mainfrom
Yonava:main

Conversation

@Yonava
Copy link
Copy Markdown
Contributor

@Yonava Yonava commented Sep 18, 2025

PR Checklist

Overview

🛜

@vercel
Copy link
Copy Markdown

vercel Bot commented Sep 18, 2025

The latest updates on your projects. Learn more about Vercel for GitHub.

Project Deployment Preview Comments Updated (UTC)
squiggleconf Ready Ready Preview Comment Sep 18, 2025 0:34am

@github-actions
Copy link
Copy Markdown

github-actions Bot commented Sep 18, 2025

👋 Hi @Yonava, thanks for the pull request! A scan flagged some concerns with it. Could you please take a look?

[pr-body-not-empty] This PR's description doesn't contain any content beyond the template. This repository expects pull requests to include a description explaining the changes. The description should have at least one word not in the PR template, or any content if no template exists. Please add a description explaining the purpose and changes in this PR.

[pr-branch-non-default] This PR is sent from the head repository's default branch Sending a PR from a default branch means the head repository can't easily be updated after the PR is merged. Sending a PR from a repository's default branch, commonly main, means that repository will have a hard time pulling in updates from the upstream repository. It's generally recommended to instead create a new branch per pull request. You'll need to:

  1. Create a new branch on your fork
  2. Send a new pull request from that branch
  3. Close this pull request

🗺️ This message was posted automatically by OctoGuide: a bot for GitHub repository best practices.

@JoshuaKGoldberg JoshuaKGoldberg merged commit bd44750 into SquiggleTools:main Sep 18, 2025
9 checks passed
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