Skip to content

Actions: ucb-bar/chiseltest

Actions

Continuous Integration

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
250 workflow runs
250 workflow runs
Event

Filter by event

Loading
Status

Filter by status

Loading
Branch
Actor

Filter by actor

Loading
Update scalatest to 3.2.19
Continuous Integration #1379: Pull request #734 opened by scala-steward
June 25, 2024 05:51 6h 0m 25s scala-steward:update/scalatest-3.2.19
June 25, 2024 05:51 6h 0m 25s
Update chisel, chisel-plugin to 6.4.0
Continuous Integration #1378: Pull request #731 opened by scala-steward
May 31, 2024 21:47 6h 0m 26s scala-steward:update/chisel-6.4.0
May 31, 2024 21:47 6h 0m 26s
Add License File (#727)
Continuous Integration #1376: Commit 82993eb pushed by ekiwi
April 24, 2024 00:48 6h 0m 26s main
April 24, 2024 00:48 6h 0m 26s
Update chisel, chisel-plugin to 6.3.0
Continuous Integration #1375: Pull request #728 opened by scala-steward
April 19, 2024 21:32 6h 0m 25s scala-steward:update/chisel-6.3.0
April 19, 2024 21:32 6h 0m 25s
Add License File
Continuous Integration #1374: Pull request #727 opened by ekiwi
April 19, 2024 00:03 6h 0m 29s license
April 19, 2024 00:03 6h 0m 29s
Update chisel, chisel-plugin to 6.2.0
Continuous Integration #1373: Pull request #725 opened by scala-steward
March 9, 2024 00:37 6h 0m 27s scala-steward:update/chisel-6.2.0
March 9, 2024 00:37 6h 0m 27s
Add k-induction for SmtModelCheckers (#713)
Continuous Integration #1372: Commit bdb84f7 pushed by ekiwi
March 8, 2024 13:04 6h 0m 26s main
March 8, 2024 13:04 6h 0m 26s
Update firrtl2 to 6.0.0
Continuous Integration #1370: Pull request #723 opened by scala-steward
March 1, 2024 00:25 6h 0m 29s scala-steward:update/firrtl2-6.0.0
March 1, 2024 00:25 6h 0m 29s
Update chisel, chisel-plugin to 6.1.0
Continuous Integration #1369: Pull request #719 synchronize by scala-steward
February 28, 2024 07:57 6h 0m 25s scala-steward:update/chisel-6.1.0
February 28, 2024 07:57 6h 0m 25s
Parse bitwuzla version number to provide appropriate command line arg…
Continuous Integration #1368: Commit 06e6ea8 pushed by ekiwi
February 26, 2024 23:29 6h 0m 24s main
February 26, 2024 23:29 6h 0m 24s
Parse bitwuzla version number to provide appropriate command line args
Continuous Integration #1367: Pull request #721 synchronize by Gallagator
February 26, 2024 21:03 6h 0m 24s Gallagator:bitwuzla_version_support
February 26, 2024 21:03 6h 0m 24s
Parse bitwuzla version number to provide appropriate command line args
Continuous Integration #1366: Pull request #721 synchronize by Gallagator
February 26, 2024 20:59 6h 0m 27s Gallagator:bitwuzla_version_support
February 26, 2024 20:59 6h 0m 27s
Add k-induction for SmtModelCheckers
Continuous Integration #1364: Pull request #713 synchronize by Gallagator
February 25, 2024 19:46 6h 0m 25s Gallagator:smtlib_KInd
February 25, 2024 19:46 6h 0m 25s
Add k-induction for SmtModelCheckers
Continuous Integration #1363: Pull request #713 synchronize by Gallagator
February 25, 2024 16:08 6h 0m 26s Gallagator:smtlib_KInd
February 25, 2024 16:08 6h 0m 26s
Add k-induction for SmtModelCheckers
Continuous Integration #1362: Pull request #713 synchronize by Gallagator
February 25, 2024 15:12 6h 0m 23s Gallagator:smtlib_KInd
February 25, 2024 15:12 6h 0m 23s
Update sbt to 1.9.9
Continuous Integration #1361: Pull request #720 opened by scala-steward
February 24, 2024 02:15 6h 0m 24s scala-steward:update/sbt-1.9.9
February 24, 2024 02:15 6h 0m 24s
Update chisel, chisel-plugin to 6.1.0
Continuous Integration #1360: Pull request #719 opened by scala-steward
February 24, 2024 02:15 11m 25s scala-steward:update/chisel-6.1.0
February 24, 2024 02:15 11m 25s
Add k-induction for SmtModelCheckers
Continuous Integration #1359: Pull request #713 synchronize by Gallagator
February 20, 2024 20:08 6h 0m 28s Gallagator:smtlib_KInd
February 20, 2024 20:08 6h 0m 28s
Update scalatest to 3.2.18
Continuous Integration #1358: Pull request #715 opened by scala-steward
February 20, 2024 11:28 6h 0m 27s scala-steward:update/scalatest-3.2.18
February 20, 2024 11:28 6h 0m 27s
Update sbt to 1.9.8
Continuous Integration #1357: Pull request #714 opened by scala-steward
February 20, 2024 11:28 6h 0m 27s scala-steward:update/sbt-1.9.8
February 20, 2024 11:28 6h 0m 27s
Add k-induction for SmtModelCheckers
Continuous Integration #1356: Pull request #713 opened by Gallagator
February 19, 2024 20:08 6h 0m 27s Gallagator:smtlib_KInd
February 19, 2024 20:08 6h 0m 27s
[CI] Increase timeout for verilator tests
Continuous Integration #1355: Pull request #711 opened by kammoh
February 9, 2024 17:46 6h 0m 28s kammoh:patch-2
February 9, 2024 17:46 6h 0m 28s