Skip to content

Actions: ucb-bar/chiseltest

Actions

All workflows

Actions

Loading...

Showing runs from all workflows
250 workflow runs
250 workflow runs
Event

Filter by event

Status

Filter by status

Branch
Actor

Filter by actor

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
[CI] add verilator 5.x tests (#709)
Continuous Integration #1354: Commit 0783f27 pushed by ekiwi
February 7, 2024 17:44 6h 0m 30s main
February 7, 2024 17:44 6h 0m 30s