code2rocq/crocq
code2rocq/crocq
Watch
3
2
Fork
You've already forked crocq
 0
Code Issues 18 Pull requests 3 Projects 1 Releases 1 Packages 2 Activity Actions

Publish extension #74

New issue
Open
opened 2026-10-23 15:47:53 +02:00 by EatOreo · 0 comments
EatOreo commented 2026-10-23 15:47:53 +02:00
Owner

https://code.visualstudio.com/api/working-with-extensions/publishing-extension

  • Test Windows support
  • Fix extension README to include usage guide and examples
  • Publish v0.1.0 to VS Code Marketplace via CI/Forgejo Release
  • Invite testers
https://code.visualstudio.com/api/working-with-extensions/publishing-extension - [x] Test Windows support - [x] Fix extension README to include usage guide and examples - [x] Publish v0.1.0 to VS Code Marketplace via CI/Forgejo Release - [x] Invite testers
EatOreo changed title from publish to marketplace to publish to vscode marketplace 2026-10-23 15:55:34 +02:00
marfavi changed title from publish to vscode marketplace to publish to vscode marketplace & invite testers 2026-10-28 10:25:11 +01:00
EatOreo changed title from publish to vscode marketplace & invite testers to publish to vscode marketplace & invite testers & tutorial in readme 2026-10-28 12:47:16 +01:00
marfavi changed title from publish to vscode marketplace & invite testers & tutorial in readme to Publish extension 2026-10-28 12:59:16 +01:00
Sign in to join this conversation.
No Branch/Tag specified
Branches Tags
main
release/0.1.0
fix/resync-on-v-rename
feat/infer-inline-declare
feat/grammar-highlighting
feat/clightgen-command-in-status
fix/code-lens-annotation-top
feature/proof-status
fix/inline-clauses-review-findings
v0.1.0
Labels
Clear labels   
blocked
should wait for another issue to be addressed

  
bug

   
priority!

   
quick-pick
No labels
blocked
bug
priority!
quick-pick
Milestone
Clear milestone
No items
No milestone
Projects
Clear projects
No items
No project
Release roadmap
Assignees
Clear assignees
No assignees
1 participant
Notifications
Due date
The due date is invalid or out of range. Please use the format "yyyy-mm-dd".

No due date set.

Dependencies

No dependencies set

Reference
code2rocq/crocq#74
No description provided.