Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / microsoft/verus-copilot-vscode issues and pull requests
#13 - Shantemp
Pull Request -
State: closed - Opened by celbree 4 days ago
#12 - minor prompt adjustment
Pull Request -
State: closed - Opened by arsene1995 4 days ago
#11 - Update README.md
Pull Request -
State: closed - Opened by arsene1995 4 days ago
#10 - a test workspace project
Pull Request -
State: closed - Opened by arsene1995 9 days ago
#9 - Update python codes to support project level codes
Pull Request -
State: closed - Opened by sunqinzheng 10 days ago
#8 - Update python codes to support project level codes
Pull Request -
State: closed - Opened by celbree 17 days ago
- 1 comment
#7 - cleaned up python code
Pull Request -
State: closed - Opened by arsene1995 23 days ago
#6 - compliance related updates
Pull Request -
State: closed - Opened by sunqinzheng about 1 month ago
#5 - Bump micromatch from 4.0.7 to 4.0.8
Pull Request -
State: closed - Opened by dependabot[bot] about 2 months ago
Labels: dependencies, javascript
#4 - fix readme markdown
Pull Request -
State: closed - Opened by sunqinzheng about 2 months ago
#3 - Action required: migrate or opt-out of migration to GitHub inside Microsoft
Issue -
State: closed - Opened by microsoft-github-policy-service[bot] 2 months ago
- 4 comments
#2 - update regex's version in verus-syn's example
Pull Request -
State: closed - Opened by sunqinzheng 3 months ago
#1 - init
Pull Request -
State: closed - Opened by sunqinzheng 3 months ago
#1 - init
Pull Request -
State: closed - Opened by sunqinzheng 3 months ago