Commit 4dee374
authored
Update all dependencies
| datasource | package | from | to |
| -------------- | ----------------------------------------------------------------------------------------------------------------------- | ------- | ------- |
| github-tags | actions/setup-java | v3.3.0 | v3.4.1 |
| github-tags | actions/setup-java | v3.3.0 | v3.4.1 |
| github-tags | actions/setup-java | v3.3.0 | v3.4.1 |
| github-tags | actions/setup-java | v3.3.0 | v3.4.1 |
| github-tags | actions/setup-java | v3.3.0 | v3.4.1 |
| github-tags | actions/setup-java | v3.3.0 | v3.4.1 |
| github-tags | actions/setup-java | v3.3.0 | v3.4.1 |
| github-tags | actions/setup-java | v3.3.0 | v3.4.1 |
| github-tags | actions/upload-artifact | v3.0.0 | v3.1.0 |
| github-tags | actions/upload-artifact | v3.0.0 | v3.1.0 |
| gradle-version | gradle | 7.4.2 | 7.5 |
| github-tags | gradle/gradle-build-action | v2.1.5 | v2.2.1 |
| github-tags | gradle/gradle-build-action | v2.1.5 | v2.2.1 |
| github-tags | gradle/gradle-build-action | v2.1.5 | v2.2.1 |
| maven | org.jetbrains.kotlinx.binary-compatibility-validator:org.jetbrains.kotlinx.binary-compatibility-validator.gradle.plugin | 0.9.0 | 0.11.0 |
| maven | org.sosy-lab:java-smt | 3.12.0 | 3.13.1 |
| maven | io.github.classgraph:classgraph | 4.8.146 | 4.8.149 |
| maven | io.arrow-kt.arrow-gradle-config-versioning:io.arrow-kt.arrow-gradle-config-versioning.gradle.plugin | 0.10.1 | 0.10.2 |
| maven | io.arrow-kt.arrow-gradle-config-publish:io.arrow-kt.arrow-gradle-config-publish.gradle.plugin | 0.10.1 | 0.10.2 |
| maven | io.arrow-kt.arrow-gradle-config-nexus:io.arrow-kt.arrow-gradle-config-nexus.gradle.plugin | 0.10.1 | 0.10.2 |
| maven | io.arrow-kt.arrow-gradle-config-kotlin:io.arrow-kt.arrow-gradle-config-kotlin.gradle.plugin | 0.10.1 | 0.10.2 |
| maven | io.arrow-kt.arrow-gradle-config-formatter:io.arrow-kt.arrow-gradle-config-formatter.gradle.plugin | 0.10.1 | 0.10.2 |1 parent 154a402 commit 4dee374
File tree
6 files changed
+18
-18
lines changed- .github/workflows
- gradle
- wrapper
6 files changed
+18
-18
lines changed| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
19 | 19 | | |
20 | 20 | | |
21 | 21 | | |
22 | | - | |
| 22 | + | |
23 | 23 | | |
24 | 24 | | |
25 | 25 | | |
| |||
44 | 44 | | |
45 | 45 | | |
46 | 46 | | |
47 | | - | |
| 47 | + | |
48 | 48 | | |
49 | 49 | | |
50 | 50 | | |
| |||
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
39 | 39 | | |
40 | 40 | | |
41 | 41 | | |
42 | | - | |
| 42 | + | |
43 | 43 | | |
44 | 44 | | |
45 | 45 | | |
| |||
64 | 64 | | |
65 | 65 | | |
66 | 66 | | |
67 | | - | |
| 67 | + | |
68 | 68 | | |
69 | 69 | | |
70 | 70 | | |
| |||
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
36 | 36 | | |
37 | 37 | | |
38 | 38 | | |
39 | | - | |
| 39 | + | |
40 | 40 | | |
41 | 41 | | |
42 | 42 | | |
43 | 43 | | |
44 | 44 | | |
45 | | - | |
| 45 | + | |
46 | 46 | | |
47 | 47 | | |
48 | 48 | | |
| |||
53 | 53 | | |
54 | 54 | | |
55 | 55 | | |
56 | | - | |
| 56 | + | |
57 | 57 | | |
58 | 58 | | |
59 | 59 | | |
| |||
81 | 81 | | |
82 | 82 | | |
83 | 83 | | |
84 | | - | |
| 84 | + | |
85 | 85 | | |
86 | 86 | | |
87 | 87 | | |
| |||
133 | 133 | | |
134 | 134 | | |
135 | 135 | | |
136 | | - | |
| 136 | + | |
137 | 137 | | |
138 | 138 | | |
139 | 139 | | |
| |||
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
24 | 24 | | |
25 | 25 | | |
26 | 26 | | |
27 | | - | |
| 27 | + | |
28 | 28 | | |
29 | 29 | | |
30 | 30 | | |
31 | 31 | | |
32 | 32 | | |
33 | | - | |
| 33 | + | |
34 | 34 | | |
35 | 35 | | |
36 | 36 | | |
37 | 37 | | |
38 | | - | |
| 38 | + | |
39 | 39 | | |
40 | 40 | | |
41 | 41 | | |
| |||
63 | 63 | | |
64 | 64 | | |
65 | 65 | | |
66 | | - | |
| 66 | + | |
67 | 67 | | |
68 | 68 | | |
69 | 69 | | |
| |||
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
1 | 1 | | |
2 | 2 | | |
3 | 3 | | |
4 | | - | |
5 | | - | |
| 4 | + | |
| 5 | + | |
6 | 6 | | |
7 | 7 | | |
8 | 8 | | |
9 | 9 | | |
10 | 10 | | |
11 | | - | |
| 11 | + | |
12 | 12 | | |
13 | 13 | | |
14 | 14 | | |
15 | | - | |
| 15 | + | |
16 | 16 | | |
17 | 17 | | |
18 | 18 | | |
| |||
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
1 | 1 | | |
2 | 2 | | |
3 | | - | |
| 3 | + | |
4 | 4 | | |
5 | 5 | | |
0 commit comments