Skip to content

Actions: riscv/sail-riscv

Actions

Build and test Lean backend

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
compile-lean.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
Add Zilx indexed integer load extension Build and test Lean backend #4005: Pull request #1858 synchronize by wangpc-pp
8m 30s wangpc-pp:master-zilx
wangpc-pp:master-zilx
8m 30s
update zvabd encodings Build and test Lean backend #4004: Pull request #1886 synchronize by keyon1992
9m 14s keyon1992:zvabd_update
keyon1992:zvabd_update
9m 14s
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
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. (#… 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
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. Build and test Lean backend #3999: Pull request #1916 opened by pmundkur
9m 43s pmundkur:ignore_reserved
pmundkur:ignore_reserved
9m 43s
Add Xvisor boot (#1892) Build and test Lean backend #3998: Commit 6352d77 pushed by github-merge-queue Bot
8m 30s master
master
8m 30s
Add the Shvstvala extension (#1908) Build and test Lean backend #3997: Commit 6c643fe pushed by github-merge-queue Bot
8m 44s master
master
8m 44s
Add Xvisor boot (#1892) Build and test Lean backend #3996: Commit 6352d77 pushed by github-merge-queue Bot
8m 37s gh-readonly-queue/master/pr-1892-6c643fe3abc675baa0e04eba416d9b7f6fe8424a
gh-readonly-queue/master/pr-1892-6c643fe3abc675baa0e04eba416d9b7f6fe8424a
8m 37s
Add the Shvstvala extension (#1908) Build and test Lean backend #3995: Commit 6c643fe pushed by github-merge-queue Bot
8m 26s gh-readonly-queue/master/pr-1908-6f6f2abd533aab765ca2e2f6a14117a12ce9d4f8
gh-readonly-queue/master/pr-1908-6f6f2abd533aab765ca2e2f6a14117a12ce9d4f8
8m 26s
Make satp.ASID width configurable via memory.asid_bits Build and test Lean backend #3994: Pull request #1856 synchronize by KotorinMinami
9m 12s KotorinMinami:asid_config
KotorinMinami:asid_config
9m 12s
Add the Shvsatpa extension and vsatp mode config options Build and test Lean backend #3993: Pull request #1906 synchronize by nadime15
8m 4s nadime15:add-extension-shvsatpa
nadime15:add-extension-shvsatpa
8m 4s
Do not ignore hgatp writes with a reserved MODE encoding Build and test Lean backend #3992: Pull request #1915 opened by nadime15
8m 44s nadime15:fix-hgatp-unsupported-mode
nadime15:fix-hgatp-unsupported-mode
8m 44s
Move to a pull approach for interrupt detection. Build and test Lean backend #3991: Pull request #1899 synchronize by pmundkur
8m 30s pmundkur:interrupt_detect_on_read
pmundkur:interrupt_detect_on_read
8m 30s
Move to a pull approach for interrupt detection. Build and test Lean backend #3990: Pull request #1899 synchronize by pmundkur
8m 27s pmundkur:interrupt_detect_on_read
pmundkur:interrupt_detect_on_read
8m 27s
update zvabd encodings Build and test Lean backend #3989: Pull request #1886 synchronize by keyon1992
8m 24s keyon1992:zvabd_update
keyon1992:zvabd_update
8m 24s
Add Zilx indexed integer load extension Build and test Lean backend #3988: Pull request #1858 synchronize by wangpc-pp
8m 5s wangpc-pp:master-zilx
wangpc-pp:master-zilx
8m 5s
Add Zilx indexed integer load extension Build and test Lean backend #3987: Pull request #1858 synchronize by wangpc-pp
8m 14s wangpc-pp:master-zilx
wangpc-pp:master-zilx
8m 14s
Move to a pull approach for interrupt detection. Build and test Lean backend #3986: Pull request #1899 synchronize by pmundkur
5m 47s pmundkur:interrupt_detect_on_read
pmundkur:interrupt_detect_on_read
5m 47s
Expose AK_ifetch / AK_ttw at the concurrency interface Build and test Lean backend #3985: Pull request #1911 opened by zeldovich
Action required zeldovich:load-types
zeldovich:load-types
Action required
Allow misaligned LR/SC to be address-translated. Build and test Lean backend #3984: Pull request #1900 synchronize by pmundkur
8m 29s pmundkur:misaligned_lrsc
pmundkur:misaligned_lrsc
8m 29s
Use an explicit (effective) privilege in some memory utility functions. Build and test Lean backend #3983: Pull request #1910 synchronize by pmundkur
8m 55s pmundkur:mem_utils_privilege
pmundkur:mem_utils_privilege
8m 55s
Use an explicit (effective) privilege in some memory utility functions. Build and test Lean backend #3982: Pull request #1910 synchronize by pmundkur
9m 34s pmundkur:mem_utils_privilege
pmundkur:mem_utils_privilege
9m 34s
Use an explicit (effective) privilege in some memory utility functions. Build and test Lean backend #3981: Pull request #1910 opened by pmundkur
7m 31s pmundkur:mem_utils_privilege
pmundkur:mem_utils_privilege
7m 31s