| Age | Commit message (Collapse) | Author |
|
|
|
* Fix .run_formal_checks for Github Actions instead of Travis
* Remove .run_chisel_tests
Because we publish SNAPSHOTs on every merge to master, the Chisel repo
checks against master of FIRRTL regularly
* Only run unidoc for Scala 2.12
Under Travis we ran for 2.11, 2.12, and 2.13, but it doesn't work when
using ++2.<major>.<minor> when major != to 2.12. It seems if we want to
run all 3, we have to run as `sbt +unidoc`. It's not clear how much
benefit we get from building on the other versions, so stick with 2.12
for now.
* Generate .mergify.yml with script in chisel-repo-tools
Generated with config:
conditions:
- status-success=all tests passed
branches:
- 1.2.x
- 1.3.x
- 1.4.x
|
|
|
|
* Use Travis Workspaces
Add stage to build FIRRTL and share it with later steps running the
tests
* [CI] Do not sbt clean in formal_equiv.sh
This change takes advantage of shared workspace in Travis
Co-authored-by: mergify[bot] <37929162+mergify[bot]@users.noreply.github.com>
|
|
|
|
Bump SBT to 1.0.4 and update plugins
Update Scala versions and sbt commands in .travis.yml
Replace run-main with runMain
|
|
Make the check script allow different designs
Add FPU, ICache, and RocketCore to regress and use instead of Rob for CI
equivalence check
|
|
Also let Travis know that equivalence checks can take a while
|
|
Also add Travis test for running this script on PRs
|