ladder

528 workflow runs

fix: diagnose non-numeric %f arguments
failed:
ladder#960:Pull request#9185synchronizebycursor[bot]Bot
Titanism0v0:agent/issue-9037-printf-numeric-diagnostic
Nov 11, 202627s
fix(#9858): preserve long tuple diagnostic
failed:
ladder#959:Pull request#9859synchronizebycursor[bot]Bot
Titanism0v0:agent/issue-9858-star-tuple-depth-diagnostic
Nov 11, 202638s
bug(#9864): decide what a walk-only filling puts into a void Java makes
completed successfully:
ladder#958:Pull request#9877openedbymacoladik
macoladik:9864
Nov 10, 20268m 2s
fix(#9848): keep the two-double pair for huge powers
completed successfully:
ladder#957:Pull request#9875openedbyTitanism0v0
Titanism0v0:agent/issue-9848-power-large-exponent
Nov 10, 20267m 58s
fix: diagnose non-numeric %f arguments
completed successfully:
ladder#956:Pull request#9185synchronizebycursor[bot]Bot
Titanism0v0:agent/issue-9037-printf-numeric-diagnostic
Nov 10, 20268m 13s
Generate JUnit companions for atomic objects
completed successfully:
ladder#955:Pull request#9405synchronizebycursor[bot]Bot
Titanism0v0:agent/issue-9390-atomic-junit-companions
Nov 10, 20266m 39s
fix(#9821): drop rule b's dead kind and its checks
completed successfully:
ladder#954:Pull request#9874openedbymacoladik
macoladik:9821
Nov 10, 20267m 6s
bug(#9863): drop the mark the end step kept of a read with no answer
completed successfully:
ladder#953:Pull request#9873openedbymacoladik
macoladik:9863
Nov 10, 202616m 15s
bug(#9865): merge the star tuple diagnostics into one root template
completed successfully:
ladder#952:Pull request#9872openedbymacoladik
macoladik:9865
Nov 10, 202620m 28s
Say in the javadoc of MjCompile that inference reads the parsed files
completed successfully:
ladder#951:Pull request#9869synchronizebymaxonfjvipon
maxonfjvipon:bug/#9080/compile-doc-inference-reads-parse
Nov 9, 20265m 55s
Say in the javadoc of MjCompile that inference reads the parsed files
completed successfully:
ladder#950:Pull request#9869openedbymaxonfjvipon
maxonfjvipon:bug/#9080/compile-doc-inference-reads-parse
Nov 9, 20268m 14s
Describe what the inference facts give today and drop unused Ref branches
completed successfully:
ladder#949:Pull request#9868openedbymaxonfjvipon
maxonfjvipon:bug/#9679/stale-inference-docblocks
Nov 9, 20266m 48s
bug(#9834): take the chunk itself in slot.id
completed successfully:
ladder#948:Pull request#9861openedbymacoladik
macoladik:9834
Nov 9, 20267m 46s
Type what Java puts into the voids of atom results
completed successfully:
ladder#947:Pull request#9830synchronizebymaxonfjvipon
maxonfjvipon:bug/#9657/typed-atom-voids
Nov 9, 20265m 31s
Type what Java puts into the voids of atom results
completed successfully:
ladder#946:Pull request#9830synchronizebymaxonfjvipon
maxonfjvipon:bug/#9657/typed-atom-voids
Nov 9, 20268m 27s
Type what Java puts into the voids of atom results
completed successfully:
ladder#945:Pull request#9830synchronizebymaxonfjvipon
maxonfjvipon:bug/#9657/typed-atom-voids
Nov 9, 20268m 26s
fix(#9858): preserve long tuple diagnostic
completed successfully:
ladder#944:Pull request#9859openedbyTitanism0v0
Titanism0v0:agent/issue-9858-star-tuple-depth-diagnostic
Nov 9, 20268m 36s
Type what Java puts into the voids of atom results
completed successfully:
ladder#943:Pull request#9830synchronizebymaxonfjvipon
maxonfjvipon:bug/#9657/typed-atom-voids
Nov 8, 20266m 14s
Type what Java puts into the voids of atom results
completed successfully:
ladder#942:Pull request#9830synchronizebymaxonfjvipon
maxonfjvipon:bug/#9657/typed-atom-voids
Nov 8, 20268m 14s
Type what Java puts into the voids of atom results
completed successfully:
ladder#941:Pull request#9830synchronizebymaxonfjvipon
maxonfjvipon:bug/#9657/typed-atom-voids
Nov 8, 20265m 9s
bug(#9835): guard canonical boolean lowering roots
completed successfully:
ladder#940:Pull request#9844openedbyTitanism0v0
Titanism0v0:agent/issue-9835-boolean-lowering-roots
Nov 8, 20268m 12s
Type what Java puts into the voids of atom results
completed successfully:
ladder#939:Pull request#9830synchronizebymaxonfjvipon
maxonfjvipon:bug/#9657/typed-atom-voids
Nov 8, 20268m 49s
#9838: number lowering directories
completed successfully:
ladder#938:Pull request#9843openedbyTitanism0v0
Titanism0v0:agent/issue-9838-number-lowering-directories
Nov 8, 20265m 19s
#9035: let a quantifier over a simple node run in a loop
completed successfully:
ladder#937:Pull request#9772synchronizebymorphqdd
morphqdd:9035
Nov 7, 20261h 22m 51s
#9711: move the deepest arms of refused into an object of its own
completed successfully:
ladder#936:Pull request#9746synchronizebymorphqdd
morphqdd:9711
Nov 7, 202615m 14s