summaryrefslogtreecommitdiff
path: root/.github/workflows
AgeCommit message (Expand)Author
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
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
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
2021-07-28Just install z3 from apt-get in CI (#2056)Jack Koenig
2021-07-14Espresso Decoder (#1964)Jiuyang Liu
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
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
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 12:22:46 +0000