summaryrefslogtreecommitdiff
path: root/.github/workflows
AgeCommit message (Collapse)Author
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
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-27 12:42:37 +0000