Skip to content

Actions: doofin/dependentChisel

Actions

Continuous Integration

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
5 workflow runs
5 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

chore: Add formal verification and model checking resources to resour… Continuous Integration #5: Commit 3b72858 pushed by doofin
October 13, 2024 14:22 2m 21s master
master
October 13, 2024 14:22 2m 21s
chore: Refactor GitHub Actions workflow to simplify and optimize test… Continuous Integration #4: Commit e875a1d pushed by doofin
September 20, 2024 21:13 47s master
master
September 20, 2024 21:13 47s
chore: Update Scala version to 3.8.3 and maxColumn to 100 in .scalafm… Continuous Integration #3: Commit 742ab4d pushed by doofin
September 20, 2024 21:02 2m 33s master
master
September 20, 2024 21:02 2m 33s
Update README.md Continuous Integration #2: Commit c9ad4cd pushed by doofin
April 22, 2024 18:39 1m 9s master
master
April 22, 2024 18:39 1m 9s
Merge branch 'master' of github.com:doofin/dependentChisel Continuous Integration #1: Commit 29ec833 pushed by doofin
April 22, 2024 18:35 1m 25s master
master
April 22, 2024 18:35 1m 25s