Skip to content

Actions: strata-org/jverify

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,871 workflow runs
1,871 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
Scheduled CodeQL #636: by github-advanced-security AI
2m 12s main
main
2m 12s
Scheduled CodeQL #635: by github-advanced-security AI
2m 5s main
main
2m 5s
Translate instance methods via static-call-with-self encoding PR build #1411: Pull request #452 synchronize by fabiomadge
16m 1s pr/step3-instance-methods
pr/step3-instance-methods
16m 1s
PR #452 CodeQL #634: by fabiomadge
1m 54s refs/pull/452/head
refs/pull/452/head
1m 54s
Translate instance methods via static-call-with-self encoding PR build #1410: Pull request #452 synchronize by fabiomadge
10m 26s pr/step3-instance-methods
pr/step3-instance-methods
10m 26s
PR #452 CodeQL #633: by fabiomadge
1m 49s refs/pull/452/head
refs/pull/452/head
1m 49s
Translate instance methods via static-call-with-self encoding PR build #1409: Pull request #452 synchronize by fabiomadge
20m 0s pr/step3-instance-methods
pr/step3-instance-methods
20m 0s
PR #452 CodeQL #632: by fabiomadge
1m 40s refs/pull/452/head
refs/pull/452/head
1m 40s
JavaToLaurel: support null / reference-constant comparisons and values PR build #1408: Pull request #460 synchronize by tautschnig
17m 18s tautschnig:le1-null-reference-support
tautschnig:le1-null-reference-support
17m 18s
JavaToLaurel: emit a procedure (not a function) for @Pure methods PR build #1407: Pull request #461 opened by tautschnig
21m 48s tautschnig:jverify-pure-as-procedure
tautschnig:jverify-pure-as-procedure
21m 48s
JavaToLaurel: support null / reference-constant comparisons and values PR build #1406: Pull request #460 synchronize by tautschnig
20m 17s tautschnig:le1-null-reference-support
tautschnig:le1-null-reference-support
20m 17s
Running Copilot Code Review Copilot #6: by Copilot AI
4m 5s main
main
4m 5s
JavaToLaurel: support null / reference-constant comparisons and values PR build #1405: Pull request #460 opened by tautschnig
21s tautschnig:le1-null-reference-support
tautschnig:le1-null-reference-support
21s
JavaToLaurelCompiler: fall back to a 1:1 position for unknown line ma… Deploy mdBook site to Pages #162: Commit 6e0357e pushed by tautschnig
49s main
main
49s
Push on main CodeQL #631: by tautschnig
2m 15s main
main
2m 15s
JavaToLaurelCompiler: fall back to a 1:1 position for unknown line maps PR build #1404: Pull request #439 synchronize by tautschnig
21m 17s tautschnig:pr/linemap-unknown-fallback
tautschnig:pr/linemap-unknown-fallback
21m 17s
Scheduled CodeQL #630: by github-advanced-security AI
2m 3s main
main
2m 3s
Switch Laurel AST to getIonSerializer% format PR build #1403: Pull request #405 synchronize by keyboardDrummer-bot
13m 53s bot/issue-404-ion-serializer
bot/issue-404-ion-serializer
13m 53s
PR #405 CodeQL #629: by keyboardDrummer-bot
1m 45s refs/pull/405/head
refs/pull/405/head
1m 45s
Switch Laurel AST to getIonSerializer% format PR build #1402: Pull request #405 synchronize by keyboardDrummer-bot
13m 39s bot/issue-404-ion-serializer
bot/issue-404-ion-serializer
13m 39s
PR #405 CodeQL #628: by keyboardDrummer-bot
1m 57s refs/pull/405/head
refs/pull/405/head
1m 57s
Switch Laurel AST to getIonSerializer% format PR build #1401: Pull request #405 synchronize by keyboardDrummer-bot
13m 52s bot/issue-404-ion-serializer
bot/issue-404-ion-serializer
13m 52s
PR #405 CodeQL #627: by keyboardDrummer-bot
1m 41s refs/pull/405/head
refs/pull/405/head
1m 41s
Switch Laurel AST to getIonSerializer% format PR build #1400: Pull request #405 synchronize by keyboardDrummer-bot
4m 32s bot/issue-404-ion-serializer
bot/issue-404-ion-serializer
4m 32s
PR #405 CodeQL #626: by keyboardDrummer-bot
1m 47s refs/pull/405/head
refs/pull/405/head
1m 47s