Skip to content

Actions: riscv/sail-riscv

Actions

Rocq

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
rocq.yml
2,500+ workflow runs
2,500+ workflow runs

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Port to v2 of the Sail concurrency interface Rocq #2818: Pull request #1871 synchronize by febyeji
37m 18s febyeji:master
febyeji:master
37m 18s
Lean update, including termination measures Rocq #2817: Pull request #1960 opened by bacam
1h 1m 19s bacam:lean-update
bacam:lean-update
1h 1m 19s
PMP: ignore grain bits in both TOR bounds Rocq #2816: Pull request #1959 synchronize by codeadpool
1h 37m 13s codeadpool:pmp-tor-grain-bits
codeadpool:pmp-tor-grain-bits
1h 37m 13s
PMP: ignore grain bits in both TOR bounds Rocq #2815: Pull request #1959 opened by codeadpool
1h 15m 44s codeadpool:pmp-tor-grain-bits
codeadpool:pmp-tor-grain-bits
1h 15m 44s
add support of RVVI_TEXT output Rocq #2814: Pull request #1857 synchronize by KotorinMinami
1h 23m 10s KotorinMinami:rvvi_test
KotorinMinami:rvvi_test
1h 23m 10s
Add a partial implementation of Sdtrig. Rocq #2813: Pull request #1588 synchronize by pmundkur
42m 39s pmundkur:sdtrig
pmundkur:sdtrig
42m 39s
Add a partial implementation of Sdtrig. Rocq #2812: Pull request #1588 synchronize by pmundkur
2h 22m 1s pmundkur:sdtrig
pmundkur:sdtrig
2h 22m 1s
add support of RVVI_TEXT output Rocq #2811: Pull request #1857 synchronize by KotorinMinami
33m 34s KotorinMinami:rvvi_test
KotorinMinami:rvvi_test
33m 34s
Allow configuring the mcountinhibit CSR. (#1935) Rocq #2810: Commit 8890da7 pushed by github-merge-queue Bot
35m 19s master
master
35m 19s
Extend the C++ model API to get information on the F and V extensions… Rocq #2809: Commit 1e1ee9e pushed by github-merge-queue Bot
1h 14m 58s master
master
1h 14m 58s
Allow configuring the mcountinhibit CSR. (#1935) Rocq #2808: Commit 8890da7 pushed by github-merge-queue Bot
36m 55s gh-readonly-queue/master/pr-1935-1e1ee9e2424725d4d4a2cf1048ce6ae677a0a87f
gh-readonly-queue/master/pr-1935-1e1ee9e2424725d4d4a2cf1048ce6ae677a0a87f
36m 55s
Extend the C++ model API to get information on the F and V extensions… Rocq #2807: Commit 1e1ee9e pushed by github-merge-queue Bot
46m 4s gh-readonly-queue/master/pr-1957-e4b243f4eb5d1ed05bbbc030ad338c2a32c45d72
gh-readonly-queue/master/pr-1957-e4b243f4eb5d1ed05bbbc030ad338c2a32c45d72
46m 4s
Port to v2 of the Sail concurrency interface Rocq #2806: Pull request #1871 synchronize by febyeji
1h 2m 42s febyeji:master
febyeji:master
1h 2m 42s
Allow configuring the mcountinhibit CSR. Rocq #2805: Pull request #1935 synchronize by pmundkur
49m 54s pmundkur:config_mcountinhibit
pmundkur:config_mcountinhibit
49m 54s
Prepare bugfix release. (#1958) Rocq #2804: Commit e4b243f pushed by pmundkur
1h 11m 36s 0.14.1
0.14.1
1h 11m 36s
Prepare bugfix release. (#1958) Rocq #2803: Commit e4b243f pushed by github-merge-queue Bot
1h 6m 25s master
master
1h 6m 25s
Extend the C++ model API to get information on the F and V extensions. Rocq #2802: Pull request #1957 synchronize by pmundkur
43m 20s pmundkur:extend_config_api
pmundkur:extend_config_api
43m 20s
Prepare bugfix release. (#1958) Rocq #2801: Commit e4b243f pushed by github-merge-queue Bot
2h 15m 10s gh-readonly-queue/master/pr-1958-5fc1793eaa265bbab0ec9ecfd291f70c0333dfc7
gh-readonly-queue/master/pr-1958-5fc1793eaa265bbab0ec9ecfd291f70c0333dfc7
2h 15m 10s
add support of RVVI_TEXT output Rocq #2800: Pull request #1857 synchronize by KotorinMinami
1h 43m 26s KotorinMinami:rvvi_test
KotorinMinami:rvvi_test
1h 43m 26s
Configure Renovate Rocq #2799: Pull request #1950 synchronize by jordancarlin
1h 4m 54s renovate/configure
renovate/configure
1h 4m 54s
update renovate.json Rocq #2798: Commit 50d1703 pushed by jordancarlin
36m 15s renovate/configure
renovate/configure
36m 15s
Add missed extension dependency checks on F. (#1956) Rocq #2797: Commit 5fc1793 pushed by github-merge-queue Bot
38m 29s master
master
38m 29s
add support of RVVI_TEXT output Rocq #2796: Pull request #1857 synchronize by KotorinMinami
37m 13s KotorinMinami:rvvi_test
KotorinMinami:rvvi_test
37m 13s
Add a verbose flag to the Rocq build. (#1954) Rocq #2795: Commit 83276af pushed by github-merge-queue Bot
3h 37m 7s master
master
3h 37m 7s
Add Ziccid extension Rocq #2794: Pull request #1955 synchronize by chihminchao
1h 1m 53s chihminchao:ext-ziccid
chihminchao:ext-ziccid
1h 1m 53s