merge opprop master with all_commits

opprop · Jul 13, 2022 · 4d3e9b1 · 4d3e9b1
2 parents e4ced88 + 6741016
commit 4d3e9b1
Show file tree

Hide file tree

Showing 2 changed files with 12 additions and 2 deletions.
diff --git a/.github/dependabot.yml b/.github/dependabot.yml
@@ -0,0 +1,11 @@
+version: 2
+updates:
+- package-ecosystem: gradle
+  directory: "/"
+  schedule:
+    interval: daily
+  open-pull-requests-limit: 10
+  ignore:
+  - dependency-name: junit:junit
+    versions:
+    - 4.13.1
diff --git a/README.md b/README.md
@@ -1,6 +1,5 @@
 # Practical Immutability For Classes And Objects(PICO)
-[![build-status](https://travis-ci.org/opprop/immutability.svg?branch=master)](https://travis-ci.org/opprop/immutability)
+[![build-status](https://travis-ci.com/opprop/immutability.svg?branch=master)](https://travis-ci.com/opprop/immutability)
 
 
 PICO is a type system that supports class level and object level immutability based on Checker Framework.
-PICO is formalized in [clickme](https://github.com/topnessman/immutability-example/blob/master/Type_Rules.pdf).