Skip to content

Actions: bacam/sail-riscv

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
6 workflow runs
6 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Publish test results Publish test results #3: completed by bacam
August 28, 2024 17:30 19s
August 28, 2024 17:30 19s
Update handwritten Coq support CI #3: Commit 03bc46e pushed by bacam
August 28, 2024 17:07 23m 14s coq-update-202409
coq-update-202409
August 28, 2024 17:07 23m 14s
Publish test results Publish test results #2: completed by bacam
June 4, 2024 15:54 21s
June 4, 2024 15:54 21s
Publish test results Publish test results #1: completed by bacam
June 4, 2024 15:54 24s
June 4, 2024 15:54 24s
Add remaining model files to Coq output CI #2: Commit fb1aa8f pushed by bacam
June 4, 2024 15:29 24m 18s coq-update-202406
coq-update-202406
June 4, 2024 15:29 24m 18s
Add remaining model files to Coq output CI #1: Commit 3a853ef pushed by bacam
June 4, 2024 15:28 25m 15s coq-update-202406
coq-update-202406
June 4, 2024 15:28 25m 15s