Skip to content

Actions: riscv/sail-riscv

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
compile.yml
307 workflow run results
307 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Rename string_of_int to dec_str CI #778: Pull request #317 synchronize by Timmmm
February 2, 2024 12:43 24m 30s Timmmm:user/timh/rename_string_of_int
Timmmm:user/timh/rename_string_of_int
February 2, 2024 12:43 24m 30s
Improve PMP support CI #777: Pull request #350 synchronize by Timmmm
February 2, 2024 12:00 23m 46s Timmmm:user/timh/pma
Timmmm:user/timh/pma
February 2, 2024 12:00 23m 46s
Simplify prelude.sail by including generic_equality.sail and mapping.… CI #776: Commit 23f1820 pushed by billmcspadden-riscv
February 1, 2024 21:53 23m 19s master
master
February 1, 2024 21:53 23m 19s
Shorten copyright notice at the top of each file CI #774: Pull request #389 synchronize by Timmmm
January 31, 2024 22:12 25m 13s Timmmm:user/timh/shorter_copyright
Timmmm:user/timh/shorter_copyright
January 31, 2024 22:12 25m 13s
Shorten copyright notice at the top of each file CI #773: Pull request #389 synchronize by Timmmm
January 31, 2024 22:12 23m 57s Timmmm:user/timh/shorter_copyright
Timmmm:user/timh/shorter_copyright
January 31, 2024 22:12 23m 57s
Update bitfield update syntax CI #772: Commit e7c369d pushed by billmcspadden-riscv
January 31, 2024 18:38 23m 29s master
master
January 31, 2024 18:38 23m 29s
Add unratified Smrnmi extension CI #765: Pull request #396 synchronize by ved-rivos
January 28, 2024 17:38 39s ved-rivos:smrnmi
ved-rivos:smrnmi
January 28, 2024 17:38 39s
Add Svnapot and Svpbmt extensions CI #751: Pull request #393 synchronize by ved-rivos
January 21, 2024 00:22 23m 39s ved-rivos:svpbmt1
ved-rivos:svpbmt1
January 21, 2024 00:22 23m 39s
Shorten copyright notice at the top of each file CI #748: Pull request #389 opened by Timmmm
January 15, 2024 16:15 23m 46s Timmmm:user/timh/shorter_copyright
Timmmm:user/timh/shorter_copyright
January 15, 2024 16:15 23m 46s
Replace old virtual memory code with new (details follow) CI #747: Pull request #365 synchronize by rsnikhil
January 14, 2024 23:26 23m 54s rsnikhil:master
rsnikhil:master
January 14, 2024 23:26 23m 54s
Updates for Coq output CI #736: Pull request #386 opened by bacam
January 8, 2024 13:58 23m 55s bacam:coq-update-202312
bacam:coq-update-202312
January 8, 2024 13:58 23m 55s
Replace old virtual memory code with new (details follow) CI #733: Pull request #365 synchronize by rsnikhil
January 2, 2024 21:52 24m 4s rsnikhil:master
rsnikhil:master
January 2, 2024 21:52 24m 4s
Replace old virtual memory code with new (details follow) CI #732: Pull request #365 synchronize by rsnikhil
January 2, 2024 20:51 23m 36s rsnikhil:master
rsnikhil:master
January 2, 2024 20:51 23m 36s
Replace old virtual memory code with new (details follow) CI #731: Pull request #365 synchronize by rsnikhil
January 2, 2024 16:26 24m 59s rsnikhil:master
rsnikhil:master
January 2, 2024 16:26 24m 59s
lem: Fix issues created by vector extension CI #725: Commit d7a3d80 pushed by billmcspadden-riscv
December 19, 2023 20:53 23m 54s master
master
December 19, 2023 20:53 23m 54s
Improve PMP support CI #724: Pull request #350 synchronize by Timmmm
December 19, 2023 11:59 24m 20s Timmmm:user/timh/pma
Timmmm:user/timh/pma
December 19, 2023 11:59 24m 20s
Replace old virtual memory code with new (details follow) CI #723: Pull request #365 synchronize by rsnikhil
December 18, 2023 16:15 24m 52s rsnikhil:master
rsnikhil:master
December 18, 2023 16:15 24m 52s
Replace old virtual memory code with new (details follow) CI #722: Pull request #365 synchronize by rsnikhil
December 18, 2023 14:27 24m 18s rsnikhil:master
rsnikhil:master
December 18, 2023 14:27 24m 18s
Makefile: Make sure OPAMCLI is 2.0 in all subshells CI #720: Pull request #376 opened by Alasdair
December 15, 2023 17:06 23m 25s Alasdair:opamcli_fix2
Alasdair:opamcli_fix2
December 15, 2023 17:06 23m 25s
CI: Update upload-artifact action to v4 CI #719: Pull request #375 opened by Alasdair
December 15, 2023 17:01 25m 3s Alasdair:master
Alasdair:master
December 15, 2023 17:01 25m 3s
Bitfield syntax updates CI #715: Pull request #373 opened by Alasdair
December 12, 2023 16:04 23m 31s Alasdair:bitfield_syntax
Alasdair:bitfield_syntax
December 12, 2023 16:04 23m 31s
Update CODE_STYLE.md CI #714: Commit 330e706 pushed by billmcspadden-riscv
December 12, 2023 16:01 23m 17s master
master
December 12, 2023 16:01 23m 17s
Update CODE_STYLE.md CI #713: Pull request #372 opened by Alasdair
December 12, 2023 15:37 24m 16s Alasdair:patch-1
Alasdair:patch-1
December 12, 2023 15:37 24m 16s
Replace old virtual memory code with new (details follow) CI #712: Pull request #365 synchronize by rsnikhil
December 12, 2023 15:05 27m 40s rsnikhil:master
rsnikhil:master
December 12, 2023 15:05 27m 40s
Replace old virtual memory code with new (details follow) CI #711: Pull request #365 synchronize by rsnikhil
December 12, 2023 00:26 24m 50s rsnikhil:master
rsnikhil:master
December 12, 2023 00:26 24m 50s