Skip to content

Add console guide#181

Merged
alcuadrado merged 2 commits intomainfrom
add-console-guide
Feb 17, 2026
Merged

Add console guide#181
alcuadrado merged 2 commits intomainfrom
add-console-guide

Conversation

@fvictorio
Copy link
Copy Markdown
Contributor

No description provided.

@vercel
Copy link
Copy Markdown

vercel Bot commented Nov 18, 2025

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

Project Deployment Actions Updated (UTC)
hardhat-website Ready Ready Preview, Comment Feb 17, 2026 7:30pm

Request Review

Copy link
Copy Markdown
Contributor

Copilot AI left a comment

Choose a reason for hiding this comment

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

Pull Request Overview

This PR adds comprehensive documentation for the Hardhat console feature by converting a placeholder TODO file into a complete guide. The guide explains how to start and use the interactive REPL environment, including advanced features like running startup commands and creating custom console tasks.

Key Changes:

  • Replaced placeholder TODO file with complete console guide documentation
  • Enabled the console guide in the documentation navigation

Reviewed Changes

Copilot reviewed 3 out of 3 changed files in this pull request and generated 1 comment.

File Description
src/content/docs/docs/guides/hardhat-console.todo Removed the placeholder TODO file
src/content/docs/docs/guides/hardhat-console.mdx Added complete documentation guide for using the Hardhat console
astro.config.ts Uncommented the navigation entry to make the console guide visible

💡 Add Copilot custom instructions for smarter, more guided reviews. Learn how to get started.

Comment thread src/content/docs/docs/guides/hardhat-console.mdx Outdated
@alcuadrado alcuadrado added this pull request to the merge queue Feb 17, 2026
@github-merge-queue github-merge-queue Bot removed this pull request from the merge queue due to a conflict with the base branch Feb 17, 2026
@alcuadrado alcuadrado enabled auto-merge February 17, 2026 19:29
@alcuadrado alcuadrado added this pull request to the merge queue Feb 17, 2026
Merged via the queue into main with commit 03bead3 Feb 17, 2026
3 checks passed
@alcuadrado alcuadrado deleted the add-console-guide branch February 17, 2026 19:32
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