Skip to content

Actions: YoannPruvost/cv32e40p

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
217 workflow runs
217 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge dev to master Merge dev to master #74: completed by YoannPruvost
June 24, 2024 05:52 3s
June 24, 2024 05:52 3s
Merge pull request #1008 from pascalgouedo/dev_dd_pgo_riscv_formal aws #74: Commit 98695ef pushed by YoannPruvost
June 24, 2024 05:52 3s dev
dev
June 24, 2024 05:52 3s
Merge pull request #1008 from pascalgouedo/dev_dd_pgo_riscv_formal lint #231: Commit 98695ef pushed by YoannPruvost
June 24, 2024 05:52 14s dev
dev
June 24, 2024 05:52 14s
Merge pull request #1008 from pascalgouedo/dev_dd_pgo_riscv_formal check_target #57: Commit 98695ef pushed by YoannPruvost
June 24, 2024 05:52 10s dev
dev
June 24, 2024 05:52 10s
Merge dev to master Merge dev to master #73: completed by YoannPruvost
June 21, 2024 06:56 2s
June 21, 2024 06:56 2s
Merge pull request #1003 from mret55/dev lint #230: Commit b2eebc5 pushed by YoannPruvost
June 21, 2024 06:56 15s dev
dev
June 21, 2024 06:56 15s
Merge pull request #1003 from mret55/dev check_target #56: Commit b2eebc5 pushed by YoannPruvost
June 21, 2024 06:56 10s dev
dev
June 21, 2024 06:56 10s
Merge pull request #1003 from mret55/dev aws #73: Commit b2eebc5 pushed by YoannPruvost
June 21, 2024 06:56 2s dev
dev
June 21, 2024 06:56 2s
Merge pull request #996 from openhwgroup/dev check_target #55: Commit 782283a pushed by YoannPruvost
June 21, 2024 06:56 13s master
master
June 21, 2024 06:56 13s
Merge pull request #996 from openhwgroup/dev lint #229: Commit 782283a pushed by YoannPruvost
June 21, 2024 06:56 13s master
master
June 21, 2024 06:56 13s
Disabling all essertions but row 4 check_target #54: Commit 41c33ec pushed by YoannPruvost
June 17, 2024 07:19 10s formal_questa
formal_questa
June 17, 2024 07:19 10s
Disabling all essertions but row 4 lint #228: Commit 41c33ec pushed by YoannPruvost
June 17, 2024 07:19 14s formal_questa
formal_questa
June 17, 2024 07:19 14s
Merge dev to master Merge dev to master #72: completed by YoannPruvost
June 11, 2024 05:02 2s
June 11, 2024 05:02 2s
Merge pull request #998 from YoannPruvost/dev_mstatus_fs_mismatch lint #227: Commit bdd5253 pushed by YoannPruvost
June 11, 2024 05:02 27s dev
dev
June 11, 2024 05:02 27s
Merge pull request #998 from YoannPruvost/dev_mstatus_fs_mismatch aws #72: Commit bdd5253 pushed by YoannPruvost
June 11, 2024 05:02 2s dev
dev
June 11, 2024 05:02 2s
Merge pull request #998 from YoannPruvost/dev_mstatus_fs_mismatch check_target #53: Commit bdd5253 pushed by YoannPruvost
June 11, 2024 05:02 11s dev
dev
June 11, 2024 05:02 11s
Running verible lint #226: Commit b281ced pushed by YoannPruvost
June 6, 2024 07:43 12s dev_mstatus_fs_mismatch
dev_mstatus_fs_mismatch
June 6, 2024 07:43 12s
Running verible check_target #52: Commit b281ced pushed by YoannPruvost
June 6, 2024 07:43 9s dev_mstatus_fs_mismatch
dev_mstatus_fs_mismatch
June 6, 2024 07:43 9s
RVFI - Correction corner case conflict on mstatus_fs upades when inte… check_target #51: Commit 54558a8 pushed by YoannPruvost
June 6, 2024 07:41 9s dev_mstatus_fs_mismatch
dev_mstatus_fs_mismatch
June 6, 2024 07:41 9s
RVFI - Correction corner case conflict on mstatus_fs upades when inte… lint #225: Commit 54558a8 pushed by YoannPruvost
June 6, 2024 07:41 14s dev_mstatus_fs_mismatch
dev_mstatus_fs_mismatch
June 6, 2024 07:41 14s
Merge dev to master Merge dev to master #71: completed by YoannPruvost
June 6, 2024 07:40 2s
June 6, 2024 07:40 2s
RVFI - Correction corner case conflict on mstatus_fs upades when inte… lint #224: Commit 54558a8 pushed by YoannPruvost
June 6, 2024 07:40 13s dev
dev
June 6, 2024 07:40 13s
RVFI - Correction corner case conflict on mstatus_fs upades when inte… check_target #50: Commit 54558a8 pushed by YoannPruvost
June 6, 2024 07:40 9s dev
dev
June 6, 2024 07:40 9s
RVFI - Correction corner case conflict on mstatus_fs upades when inte… aws #71: Commit 54558a8 pushed by YoannPruvost
June 6, 2024 07:40 2s dev
dev
June 6, 2024 07:40 2s
Adding more assertions for code coverage holes in controller lint #223: Commit c581a90 pushed by YoannPruvost
June 6, 2024 07:37 24s dev_formal_2
dev_formal_2
June 6, 2024 07:37 24s