Skip to content

Actions: strata-org/jverify

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,837 workflow runs
1,837 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Skip translator-rejected methods gracefully and support char primitiv… Deploy mdBook site to Pages #137: Commit df25986 pushed by keyboardDrummer
35s main
main
35s
Push on main CodeQL #538: by keyboardDrummer
2m 3s main
main
2m 3s
Emit per-construct diagnostics for unsupported switch forms PR build #1261: Pull request #419 opened by fabiomadge
20m 47s step-2b/switch-refusal-diagnostics
step-2b/switch-refusal-diagnostics
20m 47s
Add break/continue/labeled statements/do-while support PR build #1260: Pull request #418 synchronize by olivier-aws
3m 20s feat-break-continue-label
feat-break-continue-label
3m 20s
PR #418 CodeQL #537: by olivier-aws
1m 39s refs/pull/418/head
refs/pull/418/head
1m 39s
Add break/continue/labeled statements/do-while support PR build #1259: Pull request #418 synchronize by olivier-aws
3m 37s feat-break-continue-label
feat-break-continue-label
3m 37s
PR #418 CodeQL #536: by olivier-aws
1m 51s refs/pull/418/head
refs/pull/418/head
1m 51s
Add break/continue/labeled statements/do-while support PR build #1258: Pull request #418 synchronize by olivier-aws
3m 19s feat-break-continue-label
feat-break-continue-label
3m 19s
PR #418 CodeQL #535: by olivier-aws
2m 36s refs/pull/418/head
refs/pull/418/head
2m 36s
Add break/continue/labeled statements/do-while support PR build #1257: Pull request #418 synchronize by olivier-aws
3m 27s feat-break-continue-label
feat-break-continue-label
3m 27s
PR #418 CodeQL #534: by olivier-aws
1m 56s refs/pull/418/head
refs/pull/418/head
1m 56s
Add break/continue/labeled statements/do-while support PR build #1256: Pull request #418 synchronize by olivier-aws
3m 40s feat-break-continue-label
feat-break-continue-label
3m 40s
PR #418 CodeQL #533: by olivier-aws
2m 55s refs/pull/418/head
refs/pull/418/head
2m 55s
Stop UNSUSPEND from restoring switches to JCSwitch nodes PR build #1255: Pull request #417 synchronize by fabiomadge
4m 24s step-2a/suppress-switch-restoration
step-2a/suppress-switch-restoration
4m 24s
Add break/continue/labeled statements/do-while support PR build #1254: Pull request #418 synchronize by olivier-aws
20m 37s feat-break-continue-label
feat-break-continue-label
20m 37s
PR #418 CodeQL #532: by olivier-aws
1m 45s refs/pull/418/head
refs/pull/418/head
1m 45s
Stop UNSUSPEND from restoring switches to JCSwitch nodes PR build #1253: Pull request #417 synchronize by fabiomadge
4m 7s step-2a/suppress-switch-restoration
step-2a/suppress-switch-restoration
4m 7s
Stop UNSUSPEND from restoring switches to JCSwitch nodes PR build #1252: Pull request #417 synchronize by fabiomadge
59s step-2a/suppress-switch-restoration
step-2a/suppress-switch-restoration
59s
Add break/continue/labeled statements/do-while support PR build #1251: Pull request #418 opened by olivier-aws
9m 37s feat-break-continue-label
feat-break-continue-label
9m 37s
PR #418 CodeQL #531: by olivier-aws
1m 37s refs/pull/418/head
refs/pull/418/head
1m 37s
Stop UNSUSPEND from restoring switches to JCSwitch nodes PR build #1250: Pull request #417 synchronize by fabiomadge
20m 7s step-2a/suppress-switch-restoration
step-2a/suppress-switch-restoration
20m 7s
Stop UNSUSPEND from restoring switches to JCSwitch nodes PR build #1249: Pull request #417 opened by fabiomadge
7m 29s step-2a/suppress-switch-restoration
step-2a/suppress-switch-restoration
7m 29s
Skip translator-rejected methods gracefully and support char primitive PR build #1248: Pull request #416 synchronize by fabiomadge
3m 8s step-1/graceful-skip-and-char
step-1/graceful-skip-and-char
3m 8s
PR #416 CodeQL #530: by fabiomadge
1m 38s refs/pull/416/head
refs/pull/416/head
1m 38s
Skip translator-rejected methods gracefully and support char primitive PR build #1247: Pull request #416 synchronize by fabiomadge
1m 48s step-1/graceful-skip-and-char
step-1/graceful-skip-and-char
1m 48s