Skip to content

Release New ISA When Merging a PR #269

Release New ISA When Merging a PR

Release New ISA When Merging a PR #269

Annotations

1 warning

on-success

succeeded Jan 16, 2025 in 7m 29s
Set up job
2s
Checkout repository
3s
Run echo The PR was successfully merged.
0s
Set short SHA
0s
Get current date
0s
Pull Container
1m 15s
Build Files
5m 55s
Upload riscv-privileged.pdf
1s
Upload riscv-privileged.html
1s
Upload riscv-privileged.epub
1s
Upload riscv-unprivileged.pdf
1s
Upload riscv-unprivileged.html
2s
Upload riscv-unprivileged.epub
1s
Create Release
3s
Post Checkout repository
0s
Complete job
0s