CI using GitHub actions#1

Open

d367wang wants to merge 8 commits intomasterfrom

ci_with_github_actions

Commits on Dec 14, 2020

Bump com.github.johnrengelman.shadow from 6.0.0 to 6.1.0 (#281)
dependabot-preview[bot]
authored

Commits on Dec 15, 2020

Bump junit from 4.13 to 4.13.1 (#282)
dependabot-preview[bot]
authored

Commits on Dec 25, 2020

Bump org.ow2.sat4j.maxsat from 2.3.5 to 2.3.6 (#289)
dependabot-preview[bot]
authored

Commits on Jan 6, 2021

Bump org.ow2.sat4j.core from 2.3.5 to 2.3.6 (#288)
dependabot-preview[bot]
authored

Commits on Jan 10, 2021

Bump options from 1.0.4 to 1.0.5 (#291)
dependabot-preview[bot]
authored

Commits on Feb 10, 2021