Skip to content

Commit

Permalink
typetools/checker-framework 3.34.0 release (eisop#471)
Browse files Browse the repository at this point in the history
Co-authored-by: Suzanne Millstein <smillst@cs.washington.edu>
Co-authored-by: Michael Ernst <mernst@cs.washington.edu>
Co-authored-by: Martin Kellogg <martin.kellogg@njit.edu>
Co-authored-by: renovate[bot] <29139614+renovate[bot]@users.noreply.github.com>
  • Loading branch information
5 people authored May 7, 2023
1 parent 7190311 commit 88d1905
Show file tree
Hide file tree
Showing 105 changed files with 2,878 additions and 735 deletions.
16 changes: 0 additions & 16 deletions .github/dependabot.yml

This file was deleted.

17 changes: 17 additions & 0 deletions .github/renovate.json
Original file line number Diff line number Diff line change
@@ -0,0 +1,17 @@
{
"$schema": "https://docs.renovatebot.com/renovate-schema.json",
"extends": [
"config:base",
":automergeAll",
":automergeRequireAllStatusChecks",
"schedule:nonOfficeHours",
":disableDependencyDashboard"
],
"timezone": "America/Los_Angeles",
"packageRules": [
{
"matchPackageNames": ["aws-java-sdk-bom"],
"schedule": ["* 23 28 * * "]
}
]
}
2 changes: 2 additions & 0 deletions .github/renovate.json-README
Original file line number Diff line number Diff line change
@@ -0,0 +1,2 @@
This schedule doesn't work: Renovate accepts it but updates the dependency every day.
"schedule": ["on the last day of the month"],
8 changes: 8 additions & 0 deletions azure-pipelines.yml
Original file line number Diff line number Diff line change
Expand Up @@ -503,6 +503,7 @@ jobs:
pool:
vmImage: 'ubuntu-latest'
container: wmdietl/cf-ubuntu-jdk11:latest
timeoutInMinutes: 60
steps:
- checkout: self
fetchDepth: 25
Expand All @@ -514,6 +515,12 @@ jobs:
pool:
vmImage: 'ubuntu-latest'
container: wmdietl/cf-ubuntu-jdk17:latest
# The guava job sometimes times out, because the time between these lines can be 30 minutes!
# [INFO] Downloading from central: https://repo.maven.apache.org/maven2/org/apache/maven/plugin-tools/maven-plugin-tools-generators/3.5.1/maven-plugin-tools-generators-3.5.1.pom
# [INFO] Downloaded from central: https://repo.maven.apache.org/maven2/org/apache/maven/plugin-tools/maven-plugin-tools-generators/3.5.1/maven-plugin-tools-generators-3.5.1.pom
# I tried to configure Maven to prevent that problem, but it is still ocurring.
# Maybe I need to use caching? https://learn.microsoft.com/en-us/azure/devops/pipelines/release/caching?view=azure-devops
timeoutInMinutes: 60
steps:
- checkout: self
fetchDepth: 25
Expand All @@ -526,6 +533,7 @@ jobs:
pool:
vmImage: 'ubuntu-latest'
container: wmdietl/cf-ubuntu-jdk-latest:latest
timeoutInMinutes: 60
steps:
- checkout: self
fetchDepth: 25
Expand Down
Loading

0 comments on commit 88d1905

Please sign in to comment.