Skip to content

Actions: riscv/sail-riscv

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
13,320 workflow runs
13,320 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Publish test results Publish test results #5225: completed by pmundkur
26s
26s
Publish test results Publish test results #5224: completed by pmundkur
21s
21s
Publish test results Publish test results #5223: completed by pmundkur
20s
20s
Publish test results Publish test results #5222: completed by bacam
15s
15s
Publish test results Publish test results #5221: completed by pmundkur
16s
16s
Log explicit and implicit updates to mip. Run full tests #1578: Pull request #1561 synchronize by pmundkur
Skipped pmundkur:log_mip_updates
pmundkur:log_mip_updates
Skipped
Log explicit and implicit updates to mip. Build and test Lean backend #2609: Pull request #1561 synchronize by pmundkur
16m 43s pmundkur:log_mip_updates
pmundkur:log_mip_updates
16m 43s
Log explicit and implicit updates to mip. CI #1394: Pull request #1561 synchronize by pmundkur
47m 38s pmundkur:log_mip_updates
pmundkur:log_mip_updates
47m 38s
Log explicit and implicit updates to mip. Rocq #1140: Pull request #1561 synchronize by pmundkur
10m 21s pmundkur:log_mip_updates
pmundkur:log_mip_updates
10m 21s
Log explicit and implicit updates to mip. Rocq #1139: Pull request #1561 synchronize by pmundkur
11m 27s pmundkur:log_mip_updates
pmundkur:log_mip_updates
11m 27s
Log explicit and implicit updates to mip. Build and test Lean backend #2608: Pull request #1561 synchronize by pmundkur
15m 47s pmundkur:log_mip_updates
pmundkur:log_mip_updates
15m 47s
Log explicit and implicit updates to mip. Run full tests #1577: Pull request #1561 synchronize by pmundkur
1s pmundkur:log_mip_updates
pmundkur:log_mip_updates
1s
Log explicit and implicit updates to mip. CI #1393: Pull request #1561 synchronize by pmundkur
48m 4s pmundkur:log_mip_updates
pmundkur:log_mip_updates
48m 4s
Log explicit and implicit updates to mip. CI #1392: Pull request #1561 synchronize by pmundkur
47m 55s pmundkur:log_mip_updates
pmundkur:log_mip_updates
47m 55s
Log explicit and implicit updates to mip. Rocq #1138: Pull request #1561 synchronize by pmundkur
10m 52s pmundkur:log_mip_updates
pmundkur:log_mip_updates
10m 52s
Log explicit and implicit updates to mip. Run full tests #1576: Pull request #1561 synchronize by pmundkur
1s pmundkur:log_mip_updates
pmundkur:log_mip_updates
1s
Log explicit and implicit updates to mip. Build and test Lean backend #2607: Pull request #1561 synchronize by pmundkur
15m 30s pmundkur:log_mip_updates
pmundkur:log_mip_updates
15m 30s
Log explicit and implicit updates to mip. CI #1391: Pull request #1561 opened by pmundkur
47m 16s pmundkur:log_mip_updates
pmundkur:log_mip_updates
47m 16s
Log explicit and implicit updates to mip. Build and test Lean backend #2606: Pull request #1561 opened by pmundkur
16m 28s pmundkur:log_mip_updates
pmundkur:log_mip_updates
16m 28s
Log explicit and implicit updates to mip. Rocq #1137: Pull request #1561 opened by pmundkur
11m 30s pmundkur:log_mip_updates
pmundkur:log_mip_updates
11m 30s
Log explicit and implicit updates to mip. Run full tests #1575: Pull request #1561 opened by pmundkur
1s pmundkur:log_mip_updates
pmundkur:log_mip_updates
1s
Publish test results Publish test results #5220: completed by Ptival
19s
19s
Publish test results Publish test results #5219: completed by pmundkur
23s
23s
Lean emulator Rocq #1136: Pull request #1541 synchronize by Ptival
11m 19s GaloisInc:lean_emulator_ci
GaloisInc:lean_emulator_ci
11m 19s
Lean emulator Build and test Lean backend #2605: Pull request #1541 synchronize by Ptival
20m 6s GaloisInc:lean_emulator_ci
GaloisInc:lean_emulator_ci
20m 6s