Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / microsoft/nl-2-postcond issues and pull requests
#12 - Artefacts for FMCAD24 article on user intent formalization for Dafny
Pull Request -
State: closed - Opened by shuvendu-lahiri 2 months ago
#11 - Action required: migrate or opt-out of migration to GitHub inside Microsoft
Issue -
State: closed - Opened by microsoft-github-policy-service[bot] 5 months ago
- 7 comments
#10 - Bump tqdm from 4.65.0 to 4.66.3 in /nl2postcondition-fse2024/nl2postcondition_source_evalplus
Pull Request -
State: closed - Opened by dependabot[bot] 5 months ago
Labels: dependencies
#9 - Bump urllib3 from 1.26.14 to 1.26.18 in /nl2postcondition-fse2024/nl2postcondition_source_evalplus
Pull Request -
State: closed - Opened by dependabot[bot] 5 months ago
Labels: dependencies
#8 - Bump certifi from 2022.12.7 to 2023.7.22 in /nl2postcondition-fse2024/nl2postcondition_source_evalplus
Pull Request -
State: closed - Opened by dependabot[bot] 5 months ago
Labels: dependencies
#7 - Bump tornado from 6.2 to 6.4.1 in /nl2postcondition-fse2024/nl2postcondition_source_evalplus
Pull Request -
State: closed - Opened by dependabot[bot] 5 months ago
Labels: dependencies
#6 - Bump pygments from 2.14.0 to 2.15.0 in /nl2postcondition-fse2024/nl2postcondition_source_evalplus
Pull Request -
State: closed - Opened by dependabot[bot] 5 months ago
Labels: dependencies
#5 - Bump requests from 2.28.2 to 2.32.2 in /nl2postcondition-fse2024/nl2postcondition_source_evalplus
Pull Request -
State: closed - Opened by dependabot[bot] 5 months ago
Labels: dependencies
#4 - Bump idna from 3.4 to 3.7 in /nl2postcondition-fse2024/nl2postcondition_source_evalplus
Pull Request -
State: closed - Opened by dependabot[bot] 5 months ago
Labels: dependencies
#3 - This repo is missing important files
Issue -
State: closed - Opened by microsoft-github-policy-service[bot] 6 months ago
#2 - Adding Microsoft SECURITY.MD
Pull Request -
State: closed - Opened by microsoft-github-policy-service[bot] 6 months ago
- 1 comment
#1 - This repo is missing a LICENSE file
Issue -
State: closed - Opened by microsoft-github-policy-service[bot] 6 months ago