Skip to content

Actions: riscv/sail-riscv

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
10,586 workflow runs
10,586 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add Ssqosid extension Build and test Lean backend #2000: Pull request #379 synchronize by ved-rivos
In progress ved-rivos:ssqosid1
ved-rivos:ssqosid1
In progress
Add Ssqosid extension Rocq #531: Pull request #379 synchronize by ved-rivos
In progress ved-rivos:ssqosid1
ved-rivos:ssqosid1
In progress
Add Ssqosid extension Run full tests #994: Pull request #379 synchronize by ved-rivos
1s ved-rivos:ssqosid1
ved-rivos:ssqosid1
1s
Add Ssqosid extension CI #710: Pull request #379 synchronize by ved-rivos
In progress ved-rivos:ssqosid1
ved-rivos:ssqosid1
In progress
Publish test results Publish test results #4553: completed by ibvqeibob
20s
20s
Publish test results Publish test results #4552: completed by github-merge-queue bot
20s
20s
Plumb trap_reason from Sail traps into C callbacks CI #709: Pull request #1415 synchronize by ibvqeibob
31m 42s ibvqeibob:log-trap-reason
ibvqeibob:log-trap-reason
31m 42s
Plumb trap_reason from Sail traps into C callbacks Build and test Lean backend #1999: Pull request #1415 synchronize by ibvqeibob
16m 2s ibvqeibob:log-trap-reason
ibvqeibob:log-trap-reason
16m 2s
Plumb trap_reason from Sail traps into C callbacks Rocq #530: Pull request #1415 synchronize by ibvqeibob
9m 52s ibvqeibob:log-trap-reason
ibvqeibob:log-trap-reason
9m 52s
Plumb trap_reason from Sail traps into C callbacks Run full tests #993: Pull request #1415 synchronize by ibvqeibob
1s ibvqeibob:log-trap-reason
ibvqeibob:log-trap-reason
1s
Publish test results Publish test results #4551: completed by ibvqeibob
16s
16s
Plumb trap_reason from Sail traps into C callbacks Build and test Lean backend #1998: Pull request #1415 reopened by ibvqeibob
1m 42s ibvqeibob:log-trap-reason
ibvqeibob:log-trap-reason
1m 42s
Plumb trap_reason from Sail traps into C callbacks CI #708: Pull request #1415 reopened by ibvqeibob
1m 17s ibvqeibob:log-trap-reason
ibvqeibob:log-trap-reason
1m 17s
Plumb trap_reason from Sail traps into C callbacks Run full tests #992: Pull request #1415 reopened by ibvqeibob
1s ibvqeibob:log-trap-reason
ibvqeibob:log-trap-reason
1s
Plumb trap_reason from Sail traps into C callbacks Rocq #529: Pull request #1415 reopened by ibvqeibob
3m 44s ibvqeibob:log-trap-reason
ibvqeibob:log-trap-reason
3m 44s
Publish test results Publish test results #4550: completed by Timmmm
18s
18s
Improve handling of reserved fences (#1439) Build and test Lean backend #1997: Commit 7cf10dd pushed by github-merge-queue bot
15m 23s master
master
15m 23s
Improve handling of reserved fences (#1439) Rocq #528: Commit 7cf10dd pushed by github-merge-queue bot
9m 42s master
master
9m 42s
Improve handling of reserved fences (#1439) CI #707: Commit 7cf10dd pushed by github-merge-queue bot
31m 29s master
master
31m 29s
Publish test results Publish test results #4549: completed by github-merge-queue bot
16s
16s
Publish test results Publish test results #4548: completed by challenger1024
20s
20s
Publish test results Publish test results #4547: completed by challenger1024
18s
18s
CI CI #706: Merge group checks requested
32m 14s
32m 14s
Improve handling of reserved fences (#1439) CI #705: Commit 7cf10dd pushed by github-merge-queue bot
31m 38s gh-readonly-queue/master/pr-1439-a882640962cb9e21650633fd5f07a0fcb8c9f390
gh-readonly-queue/master/pr-1439-a882640962cb9e21650633fd5f07a0fcb8c9f390
31m 38s
Improve handling of reserved fences (#1439) Rocq #527: Commit 7cf10dd pushed by github-merge-queue bot
9m 37s gh-readonly-queue/master/pr-1439-a882640962cb9e21650633fd5f07a0fcb8c9f390
gh-readonly-queue/master/pr-1439-a882640962cb9e21650633fd5f07a0fcb8c9f390
9m 37s