Skip to content

Actions: YoannPruvost/cv32e40p

Actions

aws

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
aws.yml
32 workflow runs
32 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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 #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 #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
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
Merge pull request #992 from pascalgouedo/dev_dd_pgo_doc aws #70: Commit 7a6961a pushed by YoannPruvost
June 4, 2024 03:45 3s dev
dev
June 4, 2024 03:45 3s
Merge pull request #994 from YoannPruvost/dev_formal aws #69: Commit ec295ef pushed by YoannPruvost
June 3, 2024 06:50 3s dev
dev
June 3, 2024 06:50 3s
Merge pull request #989 from MikeOpenHWGroup/MikeOpenHWGroupMikeOpenH… aws #68: Commit c6360f5 pushed by YoannPruvost
May 29, 2024 05:55 3s dev
dev
May 29, 2024 05:55 3s
Merge pull request #985 from pascalgouedo/dev_dd_pgo_rtl aws #67: Commit cdd6955 pushed by YoannPruvost
April 23, 2024 06:10 3s dev
dev
April 23, 2024 06:10 3s
Merge pull request #983 from YoannPruvost/dev_ypr_Trace_file_ aws #66: Commit 0c53c3f pushed by YoannPruvost
April 15, 2024 08:50 2s dev
dev
April 15, 2024 08:50 2s
Merge pull request #980 from pascalgouedo/dev_dd_pgo_rtl aws #65: Commit 9654ec4 pushed by YoannPruvost
April 11, 2024 02:04 3s dev
dev
April 11, 2024 02:04 3s
Merge pull request #974 from pascalgouedo/dev_dd_pgo_lec aws #64: Commit 3bfea13 pushed by YoannPruvost
April 5, 2024 04:24 3s dev
dev
April 5, 2024 04:24 3s
Merge pull request #972 from YoannPruvost/dev_rvfi_trace_log aws #63: Commit 256a93d pushed by YoannPruvost
April 1, 2024 01:49 4s dev
dev
April 1, 2024 01:49 4s
Merge pull request #971 from pascalgouedo/dev_dd_pgo_rtl_clip aws #62: Commit 0682d38 pushed by YoannPruvost
March 26, 2024 03:20 2s dev
dev
March 26, 2024 03:20 2s
Merge pull request #962 from pascalgouedo/dev_dd_pgo_lec aws #61: Commit bfeff28 pushed by YoannPruvost
March 25, 2024 07:29 3s dev
dev
March 25, 2024 07:29 3s
Merge pull request #961 from pascalgouedo/dev_dd_pgo_rtl_coverage aws #60: Commit bee163c pushed by YoannPruvost
March 20, 2024 02:53 3s dev
dev
March 20, 2024 02:53 3s
Merge pull request #957 from YoannPruvost/dev_RVFI-perf_counters_rebase aws #59: Commit bcfe9c5 pushed by YoannPruvost
March 15, 2024 02:59 2s dev
dev
March 15, 2024 02:59 2s
Merge pull request #956 from pascalgouedo/dev_dd_pgo_doc aws #58: Commit 1ad59cb pushed by YoannPruvost
March 14, 2024 09:33 2s dev
dev
March 14, 2024 09:33 2s
User Manual update : Added clipr/clipur note about rs2. (#944) aws #57: Commit 1a58c7b pushed by YoannPruvost
February 7, 2024 03:24 3s dev
dev
February 7, 2024 03:24 3s
Merge pull request #939 from YoannPruvost/dev-RVFI-mstatus_fs_conflict aws #56: Commit 82df282 pushed by YoannPruvost
January 29, 2024 02:24 3s dev
dev
January 29, 2024 02:24 3s
Merge pull request #935 from YoannPruvost/dev-rvfi_dpc aws #55: Commit ca7f156 pushed by YoannPruvost
January 12, 2024 06:04 3s dev
dev
January 12, 2024 06:04 3s
Merge pull request #927 from pascalgouedo/dev_dd_pgo_doc aws #54: Commit c010206 pushed by YoannPruvost
January 3, 2024 13:49 3s dev
dev
January 3, 2024 13:49 3s
Merge pull request #923 from YoannPruvost/dev_ypr_ex_trigger aws #53: Commit b88b4cc pushed by YoannPruvost
December 18, 2023 11:33 3s dev
dev
December 18, 2023 11:33 3s
Merge pull request #922 from YoannPruvost/dev_ypr_ex_valid_adjusted aws #52: Commit d658f65 pushed by YoannPruvost
December 12, 2023 16:00 3s dev
dev
December 12, 2023 16:00 3s
Merge pull request #919 from YoannPruvost/dev_ypr_better_rvfi_commit aws #51: Commit 61423d9 pushed by YoannPruvost
December 7, 2023 08:16 3s dev
dev
December 7, 2023 08:16 3s
Patch check_target action (#916) aws #50: Commit 51e4962 pushed by YoannPruvost
December 4, 2023 10:16 3s dev
dev
December 4, 2023 10:16 3s