FFFF
Skip to content

Actions: riscv/sail-riscv

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,500+ workflow runs
2,500+ workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Install newer Clang version on Linux CI for newer extension support (… Build and test Lean backend #2506: Commit 664e5c1 pushed by github-merge-queue bot
17m 43s gh-readonly-queue/master/pr-1532-11b5056c9483be5f7793b9006852b3c2cc719f61
gh-readonly-queue/master/pr-1532-11b5056c9483be5f7793b9006852b3c2cc719f61
17m 43s
Install newer Clang version on Linux CI for newer extension support (… CI #1279: Commit 664e5c1 pushed by github-merge-queue bot
44m 37s gh-readonly-queue/master/pr-1532-11b5056c9483be5f7793b9006852b3c2cc719f61
gh-readonly-queue/master/pr-1532-11b5056c9483be5f7793b9006852b3c2cc719f61
44m 37s
Install newer Clang version on Linux CI for newer extension support (… Rocq #1037: Commit 664e5c1 pushed by github-merge-queue bot
11m 59s gh-readonly-queue/master/pr-1532-11b5056c9483be5f7793b9006852b3c2cc719f61
gh-readonly-queue/master/pr-1532-11b5056c9483be5f7793b9006852b3c2cc719f61
11m 59s
Update changelog for version 0.10. Run full tests #1483: Pull request #1526 unlabeled by pmundkur
2s pmundkur:update_changelog
pmundkur:update_changelog
2s
Update changelog for version 0.10. Run full tests #1482: Pull request #1526 unlabeled by pmundkur
1s pmundkur:update_changelog
pmundkur:update_changelog
1s
Publish test results Publish test results #5101: completed by github-merge-queue bot
21s
21s
Publish test results Publish test results #5100: completed by trdthg
27s
27s
Publish test results Publish test results #5099: completed by github-merge-queue bot
16s
16s
Strengthen some before statements in sail_project file (#1537) Rocq #1036: Commit 11b5056 pushed by github-merge-queue bot
11m 26s master
master
11m 26s
Strengthen some before statements in sail_project file (#1537) CI #1278: Commit 11b5056 pushed by github-merge-queue bot
44m 53s master
master
44m 53s
Strengthen some before statements in sail_project file (#1537) Build and test Lean backend #2505: Commit 11b5056 pushed by github-merge-queue bot
15m 45s master
master
15m 45s
Publish test results Publish test results #5098: completed by Timmmm
21s
10BC0
21s
Add --config-override flag for configuration overrides Run full tests #1481: Pull request #1534 labeled by Timmmm
1s trdthg:first-party-test
trdthg:first-party-test
1s
Add --config-override flag for configuration overrides Run full tests #1480: Pull request #1534 synchronize by trdthg
1s trdthg:first-party-test
trdthg:first-party-test
1s
Add --config-override flag for configuration overrides CI #1277: Pull request #1534 synchronize by trdthg
43m 53s trdthg:first-party-test
trdthg:first-party-test
43m 53s
Add --config-override flag for configuration overrides Rocq #1035: Pull request #1534 synchronize by trdthg
10m 47s trdthg:first-party-test
trdthg:first-party-test
10m 47s
Add --config-override flag for configuration overrides Build and test Lean backend #2504: Pull request #1534 synchronize by trdthg
15m 44s trdthg:first-party-test
trdthg:first-party-test
15m 44s
Strengthen some before statements in sail_project file (#1537) Rocq #1034: Commit 11b5056 pushed by github-merge-queue bot
11m 12s gh-readonly-queue/master/pr-1537-de7c9e89f8b4acfb84586896bfdee27ff33f891f
gh-readonly-queue/master/pr-1537-de7c9e89f8b4acfb84586896bfdee27ff33f891f
11m 12s
Strengthen some before statements in sail_project file (#1537) CI #1276: Commit 11b5056 pushed by github-merge-queue bot
44m 27s gh-readonly-queue/master/pr-1537-de7c9e89f8b4acfb84586896bfdee27ff33f891f
gh-readonly-queue/master/pr-1537-de7c9e89f8b4acfb84586896bfdee27ff33f891f
44m 27s
Strengthen some before statements in sail_project file (#1537) Build and test Lean backend #2503: Commit 11b5056 pushed by github-merge-queue bot
15m 20s gh-readonly-queue/master/pr-1537-de7c9e89f8b4acfb84586896bfdee27ff33f891f
gh-readonly-queue/master/pr-1537-de7c9e89f8b4acfb84586896bfdee27ff33f891f
15m 20s
CI CI #1275: Merge group checks requested
43m 36s
43m 36s
Publish test results Publish test results #5097: completed by trdthg
20s
20s
Add --config-override flag for configuration overrides CI #1274: Pull request #1534 synchronize by trdthg
44m 10s trdthg:first-party-test
trdthg:first-party-test
44m 10s
Add --config-override flag for configuration overrides Build and test Lean backend #2502: Pull request #1534 synchronize by trdthg
15m 28s trdthg:first-party-test
trdthg:first-party-test
15m 28s
Add --config-override flag for configuration overrides Run full tests #1479: Pull request #1534 synchronize by trdthg
1s trdthg:first-party-test
trdthg:first-party-test
1s
ProTip! You can narrow down the results and go further in time using created:<2026-02-09 or the other filters available.
0