summaryrefslogtreecommitdiff
path: root/.github/workflows
AgeCommit message (Collapse)Author
2022-01-17Add 3.5.x to Github Actions push triggersJack Koenig
2022-01-10Enable scalafmt in CIJack Koenig
2021-12-20Turn on unidoc checking in CIJack Koenig
2021-12-01Require the chisel3 compiler plugin (#2271)Jack Koenig
As the chisel3 compiler plugin is now required, we can delete unused code for reflective autoclonetype as well as the noPluginTests.
2021-11-10ci: use official action to install oss cad tools (#2243)Kevin Laeufer
2021-10-06ci: use Tabby OSS CAD Suite to get solvers and verilator (#2134)Kevin Laeufer
2021-09-17Update Scala and publish plugin for more minor versions (#2130)Jack Koenig
2021-09-17Just install Z3 from apt-get in CI (#2131)Jack Koenig
Also install Espresso from pre-built binary
2021-09-13Update scala-compiler, scala-library, ... to 2.12.14 (#1950)Scala Steward
2021-08-25replace custom model checker with chiseltest formal verify command (#2075)Kevin Laeufer
* replace custom model checker with chiseltest formal verify command * integration-tests can make use of chiseltest This is a compromise solution to avoid issues with binary compatibility breaking changes in chisel3. * ci: move integration tests into separate job * run integration tests only for one scala version * ci: install espresso for integration tests * Update build.sbt Co-authored-by: Jack Koenig <jack.koenig3@gmail.com> Co-authored-by: Jack Koenig <jack.koenig3@gmail.com>
2021-08-18switch espresso to ninja.Jiuyang Liu
2021-08-18timestamp seems to be fixed in actions/cache#397Jiuyang Liu
2021-08-18don't hit cacheJiuyang Liu
2021-08-18apt install ninjaJiuyang Liu
2021-08-18switch to ninjaJiuyang Liu
2021-08-18Revert "Just install z3 from apt-get in CI (#2056)"Jiuyang Liu
This reverts commit 1e7829eb674eed85a4cd537896d9fd9ee0bc5ff4.
2021-07-28Just install z3 from apt-get in CI (#2056)Jack Koenig
2021-07-14Espresso Decoder (#1964)Jiuyang Liu
Co-authored-by: Haoran Yuan <sinofp@tuta.io> Co-authored-by: Boyang Han <yqszxx@gmail.com>
2021-07-13fix ci, add more matrix.Jiuyang Liu
2021-07-13refactor github actionJiuyang Liu
2021-05-17Update scala-compiler, scala-library, ... to 2.13.6Scala Steward
2021-04-29Scala 2.13 support (#1751)Jack Koenig
2021-02-09Add no-plugin-tests for testing Chisel without the compiler pluginJack Koenig
This is a new SBT build unit that symlinks in some files from the normal chisel project tests, but builds them without the compiler plugin.
2021-02-01Bump to Scala 2.12.13 (#1766)Jack Koenig
2021-01-15farewell Scala 2.11Jiuyang liu
2020-12-17Automate publishing of SNAPSHOTS with sbt-ci-release (#1706)Jack Koenig
2020-12-16Switch to using Github Actions CI (#1690)Jack Koenig
MiMa binary compatibility checks are now run on master, but the mimaPreviousArtifacts are empty which makes the check a no-op. This helps keep both the build.sbt and CI more consistent between master and stable branches. .mergify.yml is also updated with mergify.sc from chisel-repo-tools using the following configuration: conditions: - status-success=all tests passed branches: - 3.2.x - 3.3.x - 3.4.x