Java CI with Maven

1040 workflow runs

Release liquidjava-verifier 0.0.38
completed successfully:
Java CI with Maven#1230:Commite3b11c8pushedbyCatarinaGamboa
main
Nov 11, 20262m 6s
Do not link Found facts through an enum constant they only compare wi…
completed successfully:
Java CI with Maven#1229:Commite8660d1pushedbyCatarinaGamboa
main
Nov 11, 20261m 55s
Do not link Found facts through an enum constant they only compare with
completed successfully:
Java CI with Maven#1228:Pull request#534synchronizebyCatarinaGamboa
found-relevance-enum-constants
Nov 11, 20262m 0s
Do not link Found facts through an enum constant they only compare with
completed successfully:
Java CI with Maven#1227:Pull request#534synchronizebyCatarinaGamboa
found-relevance-enum-constants
Nov 11, 20261m 53s
Do not link Found facts through an enum constant they only compare with
completed successfully:
Java CI with Maven#1226:Pull request#534synchronizebyCatarinaGamboa
found-relevance-enum-constants
Nov 11, 20261m 35s
Mark code in every message with backticks, and name the lines they re…
completed successfully:
Java CI with Maven#1225:Commitcfe9405pushedbyCatarinaGamboa
main
Nov 11, 20261m 32s
Fold ternaries that a fact of Found decides on an enum value (#531)
completed successfully:
Java CI with Maven#1224:Commitceee6bepushedbyCatarinaGamboa
main
Nov 11, 20261m 37s
Mark code in every message with backticks, and name the lines they refer to
completed successfully:
Java CI with Maven#1223:Pull request#533synchronizebyCatarinaGamboa
code-spans-532
Nov 11, 20262m 3s
Mark code in every message with backticks, and name the lines they refer to
completed successfully:
Java CI with Maven#1222:Pull request#533synchronizebyCatarinaGamboa
code-spans-532
Nov 11, 20261m 43s
Origin note: say what a call's return refinement guarantees about an …
completed successfully:
Java CI with Maven#1221:Commit590268epushedbyCatarinaGamboa
main
Nov 11, 20262m 11s
Origin note: say what a call's return refinement guarantees about an argument it gives
completed successfully:
Java CI with Maven#1220:Pull request#530synchronizebyCatarinaGamboa
from-note-f4
Nov 11, 20261m 14s
Mark code in every message with backticks, and name the lines they refer to
completed successfully:
Java CI with Maven#1219:Pull request#533synchronizebyCatarinaGamboa
code-spans-532
Nov 11, 20261m 59s
Origin note: say where the wrong state of a receiver comes from (#528)
completed successfully:
Java CI with Maven#1218:Commit070fb75pushedbyCatarinaGamboa
main
Nov 11, 20261m 56s
Mark code in every message with backticks, and name the lines they refer to
completed successfully:
Java CI with Maven#1217:Pull request#533synchronizebyCatarinaGamboa
code-spans-532
Nov 10, 20261m 32s
Mark code in every message with backticks, and name the lines they refer to
completed successfully:
Java CI with Maven#1216:Pull request#533synchronizebyCatarinaGamboa
code-spans-532
Nov 10, 20261m 25s
Do not link Found facts through an enum constant they only compare with
completed successfully:
Java CI with Maven#1215:Pull request#534openedbyCatarinaGamboa
found-relevance-enum-constants
Nov 10, 20261m 59s
Mark code in every message with backticks, and name the lines they refer to
completed successfully:
Java CI with Maven#1214:Pull request#533openedbyCatarinaGamboa
code-spans-532
Nov 10, 20261m 20s
Origin note: say what a call's return refinement guarantees about an argument it gives
completed successfully:
Java CI with Maven#1213:Pull request#530synchronizebyCatarinaGamboa
from-note-f4
Nov 10, 20261m 51s
Origin note: say what a call's return refinement guarantees about an argument it gives
completed successfully:
Java CI with Maven#1212:Pull request#530synchronizebyCatarinaGamboa
from-note-f4
Nov 10, 20261m 57s
Origin note: say where the wrong state of a receiver comes from
completed successfully:
Java CI with Maven#1211:Pull request#528synchronizebyCatarinaGamboa
from-note-state
Nov 10, 20262m 0s
From note: name an unrefined parameter as the unknown value's origin …
completed successfully:
Java CI with Maven#1210:Commit920bf15pushedbyCatarinaGamboa
main
Nov 10, 20261m 32s
Fold ternaries that a fact of Found decides on an enum value
completed successfully:
Java CI with Maven#1209:Pull request#531synchronizebyCatarinaGamboa
feat/found-fold-decided-ternary
Nov 10, 20261m 53s
Fold ternaries that a fact of Found decides on an enum value
completed successfully:
Java CI with Maven#1208:Pull request#531synchronizebyCatarinaGamboa
feat/found-fold-decided-ternary
Nov 10, 20261m 23s
Fold ternaries that a fact of Found decides on an enum value
completed successfully:
Java CI with Maven#1207:Pull request#531openedbyCatarinaGamboa
feat/found-fold-decided-ternary
Nov 10, 20261m 59s
Use found … but expected … for refinement errors, drop the general hi…
completed successfully:
Java CI with Maven#1206:Commit98fa854pushedbyCatarinaGamboa
main
Nov 10, 20261m 45s