From bb1036b1fdf1528543964ee2ba1daf25c8792e68 Mon Sep 17 00:00:00 2001 From: "dependabot-preview[bot]" <27856297+dependabot-preview[bot]@users.noreply.github.com> Date: Mon, 14 Dec 2020 11:53:21 -0500 Subject: [PATCH 1/8] Bump com.github.johnrengelman.shadow from 6.0.0 to 6.1.0 (#281) Bumps com.github.johnrengelman.shadow from 6.0.0 to 6.1.0. Signed-off-by: dependabot-preview[bot] Co-authored-by: dependabot-preview[bot] <27856297+dependabot-preview[bot]@users.noreply.github.com> --- build.gradle | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/build.gradle b/build.gradle index e1dc1a368..ef4b2e022 100644 --- a/build.gradle +++ b/build.gradle @@ -1,5 +1,5 @@ plugins { - id 'com.github.johnrengelman.shadow' version '6.0.0' + id 'com.github.johnrengelman.shadow' version '6.1.0' } apply plugin: 'java' From 9365db228dd21c8a456ca5a18e526102f1cb611e Mon Sep 17 00:00:00 2001 From: "dependabot-preview[bot]" <27856297+dependabot-preview[bot]@users.noreply.github.com> Date: Tue, 15 Dec 2020 02:00:59 -0500 Subject: [PATCH 2/8] Bump junit from 4.13 to 4.13.1 (#282) Bumps [junit](https://github.com/junit-team/junit4) from 4.13 to 4.13.1. - [Release notes](https://github.com/junit-team/junit4/releases) - [Changelog](https://github.com/junit-team/junit4/blob/main/doc/ReleaseNotes4.13.1.md) - [Commits](https://github.com/junit-team/junit4/compare/r4.13...r4.13.1) Signed-off-by: dependabot-preview[bot] Co-authored-by: dependabot-preview[bot] <27856297+dependabot-preview[bot]@users.noreply.github.com> --- build.gradle | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/build.gradle b/build.gradle index ef4b2e022..2a7d71c62 100644 --- a/build.gradle +++ b/build.gradle @@ -63,7 +63,7 @@ dependencies { testCompile fileTree(dir: "${checkerFrameworkPath}/framework-test/build/libs", include: "framework-test-*.jar") // Mocking library. Used in a couple tests testCompile 'org.mockito:mockito-all:2.0.2-beta' - testCompile 'junit:junit:4.13' + testCompile 'junit:junit:4.13.1' } sourceSets { From 8e117e0d66cd367683fa92b08be7a9578e5a2624 Mon Sep 17 00:00:00 2001 From: "dependabot-preview[bot]" <27856297+dependabot-preview[bot]@users.noreply.github.com> Date: Thu, 24 Dec 2020 23:54:42 -0500 Subject: [PATCH 3/8] Bump org.ow2.sat4j.maxsat from 2.3.5 to 2.3.6 (#289) Bumps org.ow2.sat4j.maxsat from 2.3.5 to 2.3.6. Signed-off-by: dependabot-preview[bot] Co-authored-by: dependabot-preview[bot] <27856297+dependabot-preview[bot]@users.noreply.github.com> --- build.gradle | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/build.gradle b/build.gradle index 2a7d71c62..5e68bc1ac 100644 --- a/build.gradle +++ b/build.gradle @@ -57,7 +57,7 @@ dependencies { compile 'com.google.code.gson:gson:2.8.6' compile 'org.ow2.sat4j:org.ow2.sat4j.core:2.3.5' - compile 'org.ow2.sat4j:org.ow2.sat4j.maxsat:2.3.5' + compile 'org.ow2.sat4j:org.ow2.sat4j.maxsat:2.3.6' compile files(z3Jar) testCompile fileTree(dir: "${checkerFrameworkPath}/framework-test/build/libs", include: "framework-test-*.jar") From ef752d7509a06685fb54b0833cbde1a0dd1e6822 Mon Sep 17 00:00:00 2001 From: "dependabot-preview[bot]" <27856297+dependabot-preview[bot]@users.noreply.github.com> Date: Wed, 6 Jan 2021 16:34:37 -0500 Subject: [PATCH 4/8] Bump org.ow2.sat4j.core from 2.3.5 to 2.3.6 (#288) Bumps org.ow2.sat4j.core from 2.3.5 to 2.3.6. Signed-off-by: dependabot-preview[bot] Co-authored-by: dependabot-preview[bot] <27856297+dependabot-preview[bot]@users.noreply.github.com> --- build.gradle | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/build.gradle b/build.gradle index 5e68bc1ac..e0c09c23f 100644 --- a/build.gradle +++ b/build.gradle @@ -56,7 +56,7 @@ dependencies { // Pretty print serialized constraints compile 'com.google.code.gson:gson:2.8.6' - compile 'org.ow2.sat4j:org.ow2.sat4j.core:2.3.5' + compile 'org.ow2.sat4j:org.ow2.sat4j.core:2.3.6' compile 'org.ow2.sat4j:org.ow2.sat4j.maxsat:2.3.6' compile files(z3Jar) From 7c2611f14dd571ed17ac624c1ce94f299ef2a2c0 Mon Sep 17 00:00:00 2001 From: "dependabot-preview[bot]" <27856297+dependabot-preview[bot]@users.noreply.github.com> Date: Sun, 10 Jan 2021 14:44:25 -0500 Subject: [PATCH 5/8] Bump options from 1.0.4 to 1.0.5 (#291) Bumps [options](https://github.com/plume-lib/options) from 1.0.4 to 1.0.5. - [Release notes](https://github.com/plume-lib/options/releases) - [Changelog](https://github.com/plume-lib/options/blob/master/CHANGELOG.md) - [Commits](https://github.com/plume-lib/options/compare/v1.0.4...v1.0.5) Signed-off-by: dependabot-preview[bot] Co-authored-by: dependabot-preview[bot] <27856297+dependabot-preview[bot]@users.noreply.github.com> --- build.gradle | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/build.gradle b/build.gradle index e0c09c23f..b357f290a 100644 --- a/build.gradle +++ b/build.gradle @@ -50,7 +50,7 @@ dependencies { compile files("${checkerJar}") compile group: 'com.google.errorprone', name: 'javac', version: "$errorproneJavacVersion" - compile 'org.plumelib:options:1.0.4' + compile 'org.plumelib:options:1.0.5' // Serialize constraints compile 'com.googlecode.json-simple:json-simple:1.1.1' // Pretty print serialized constraints From c3c0168ac6901c0f23b4b7ef35f7f07b61dc4ec0 Mon Sep 17 00:00:00 2001 From: d367wang Date: Wed, 10 Feb 2021 17:21:01 +0000 Subject: [PATCH 6/8] simple workflow --- .github/workflows/main.yml | 41 ++++++++++++++++++++++++++++++++++++++ 1 file changed, 41 insertions(+) create mode 100644 .github/workflows/main.yml diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml new file mode 100644 index 000000000..2777b3009 --- /dev/null +++ b/.github/workflows/main.yml @@ -0,0 +1,41 @@ +name: CI + +on: + push: + branches: [ master ] + pull_request: + branches: [ master ] + + workflow_dispatch: + +jobs: + build: + runs-on: ubuntu-latest + strategy: + fail-fast: + matrix: + group: [cfi-tests, downstream-ontology, downstream-units, downstream-security-demo] + jdk: [jdk8, jdk11] + env: + GROUP: ${{group}} + JDKVER: ${{jdk}} + steps: + - uses: actions/checkout@v2 + - name: Set up Python 3 + uses: actions/setup-python@v2 + with: + python-version: 3.6 + - name: Checker Framework Inference Build & Test + run: | + python -c "import fcntl; fcntl.fcntl(1, fcntl.F_SETFL, 0)" + REMOTE_ORIGIN_URL=`git config --get remote.origin.url` + echo "THIS_REPO=${THIS_REPO}" + echo "JDKVER=${JDKVER}" + echo "GROUP=${GROUP}" + echo "BUILDJDK=${BUILDJDK}" + echo "REMOTE_ORIGIN_URL=${REMOTE_ORIGIN_URL}" + echo "GITHUB_REPOSITORY=${GITHUB_REPOSITORY}" + echo "GITHUB_REF=${GITHUB_REF}" + echo "GITHUB_EVENT_NAME=${GITHUB_EVENT_NAME}" + echo "GITHUB_COMMIT=${GITHUB_SHA}" + From 14fee91f24f8d4f87c9d8cb6bf0f1cae1494865f Mon Sep 17 00:00:00 2001 From: d367wang Date: Wed, 10 Feb 2021 17:26:14 +0000 Subject: [PATCH 7/8] fix error --- .github/workflows/main.yml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml index 2777b3009..c0ff5b24c 100644 --- a/.github/workflows/main.yml +++ b/.github/workflows/main.yml @@ -17,8 +17,8 @@ jobs: group: [cfi-tests, downstream-ontology, downstream-units, downstream-security-demo] jdk: [jdk8, jdk11] env: - GROUP: ${{group}} - JDKVER: ${{jdk}} + GROUP: ${{matrix.group}} + JDKVER: ${{matrix.jdk}} steps: - uses: actions/checkout@v2 - name: Set up Python 3 From 6ee26b8ccd2e25ab98c1e040485a095fb70331d6 Mon Sep 17 00:00:00 2001 From: d367wang Date: Wed, 10 Feb 2021 17:27:23 +0000 Subject: [PATCH 8/8] set fail-fast to false --- .github/workflows/main.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml index c0ff5b24c..703d8ce73 100644 --- a/.github/workflows/main.yml +++ b/.github/workflows/main.yml @@ -12,7 +12,7 @@ jobs: build: runs-on: ubuntu-latest strategy: - fail-fast: + fail-fast: false matrix: group: [cfi-tests, downstream-ontology, downstream-units, downstream-security-demo] jdk: [jdk8, jdk11]