Skip to content

Actions: riscv/sail-riscv

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,500+ workflow runs
2,500+ workflow runs

Filter by Workflow

⌥ + click/return to exclude

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
Publish test results Publish test results #6945: completed by github-merge-queue Bot
22s
22s
Publish test results Publish test results #6944: completed by pmundkur
25s
25s
Publish test results Publish test results #6943: completed by pmundkur
19s
19s
Publish test results Publish test results #6942: completed by pmundkur
16s
16s
Adapt TLB trace log to whether the hypervisor has been configured. (#… Build and test Lean backend #4003: Commit 5df5ca4 pushed by github-merge-queue Bot
7m 35s master
master
7m 35s
Adapt TLB trace log to whether the hypervisor has been configured. (#… Rocq #2534: Commit 5df5ca4 pushed by github-merge-queue Bot
1h 19m 12s master
master
1h 19m 12s
Adapt TLB trace log to whether the hypervisor has been configured. (#… CI #3073: Commit 5df5ca4 pushed by github-merge-queue Bot
2h 20m 2s master
master
2h 20m 2s
Push on master CodeQL #75: by github-merge-queue Bot
2m 6s master
master
2m 6s
Publish test results Publish test results #6941: completed by github-merge-queue Bot
22s
22s
Publish test results Publish test results #6940: completed by pmundkur
25s
25s
Publish test results Publish test results #6939: completed by github-merge-queue Bot
19s
19s
Publish test results Publish test results #6938: completed by github-merge-queue Bot
23s
23s
Move to a pull approach for interrupt detection. CI #3072: Pull request #1899 synchronize by pmundkur
2h 14m 51s pmundkur:interrupt_detect_on_read
pmundkur:interrupt_detect_on_read
2h 14m 51s
Move to a pull approach for interrupt detection. Run full tests #2823: Pull request #1899 synchronize by pmundkur
7s pmundkur:interrupt_detect_on_read
pmundkur:interrupt_detect_on_read
7s
Move to a pull approach for interrupt detection. Rocq #2533: Pull request #1899 synchronize by pmundkur
46m 30s pmundkur:interrupt_detect_on_read
pmundkur:interrupt_detect_on_read
46m 30s
Move to a pull approach for interrupt detection. Build and test Lean backend #4002: Pull request #1899 synchronize by pmundkur
8m 38s pmundkur:interrupt_detect_on_read
pmundkur:interrupt_detect_on_read
8m 38s
Adapt TLB trace log to whether the hypervisor has been configured. (#… Rocq #2532: Commit 5df5ca4 pushed by github-merge-queue Bot
1h 13m 21s gh-readonly-queue/master/pr-1905-6352d77a9690f535dc6d86e395c6584ddbc500c6
gh-readonly-queue/master/pr-1905-6352d77a9690f535dc6d86e395c6584ddbc500c6
1h 13m 21s
Adapt TLB trace log to whether the hypervisor has been configured. (#… CI #3071: Commit 5df5ca4 pushed by github-merge-queue Bot
2h 8m 20s gh-readonly-queue/master/pr-1905-6352d77a9690f535dc6d86e395c6584ddbc500c6
gh-readonly-queue/master/pr-1905-6352d77a9690f535dc6d86e395c6584ddbc500c6
2h 8m 20s
Adapt TLB trace log to whether the hypervisor has been configured. (#… Build and test Lean backend #4001: Commit 5df5ca4 pushed by github-merge-queue Bot
8m 22s gh-readonly-queue/master/pr-1905-6352d77a9690f535dc6d86e395c6584ddbc500c6
gh-readonly-queue/master/pr-1905-6352d77a9690f535dc6d86e395c6584ddbc500c6
8m 22s
CI CI #3070: Merge group checks requested
2h 19m 48s
2h 19m 48s
Publish test results Publish test results #6937: completed by AlexanderPortland
25s
25s
Allow ignoring of writes of reserved values to xtvec.MODE and xenvcfg.CBIE. CI #3069: Pull request #1916 synchronize by pmundkur
2h 10m 28s pmundkur:ignore_reserved
pmundkur:ignore_reserved
2h 10m 28s
Allow ignoring of writes of reserved values to xtvec.MODE and xenvcfg.CBIE. Build and test Lean backend #4000: Pull request #1916 synchronize by pmundkur
9m 57s pmundkur:ignore_reserved
pmundkur:ignore_reserved
9m 57s
Allow ignoring of writes of reserved values to xtvec.MODE and xenvcfg.CBIE. Run full tests #2822: Pull request #1916 synchronize by pmundkur
2s pmundkur:ignore_reserved
pmundkur:ignore_reserved
2s
Allow ignoring of writes of reserved values to xtvec.MODE and xenvcfg.CBIE. Rocq #2531: Pull request #1916 synchronize by pmundkur
1h 5m 25s pmundkur:ignore_reserved
pmundkur:ignore_reserved
1h 5m 25s