All workflows

Showing runs from all workflows

95 workflow runs

shepherd-rebase
completed successfully:
shepherd-rebase#45:Scheduled
main
Nov 2, 202639s
shepherd-rebase
completed successfully:
shepherd-rebase#44:Scheduled
main
Nov 1, 202640s
shepherd-rebase
completed successfully:
shepherd-rebase#43:Scheduled
main
Nov 1, 202648s
fix(hy-check): untype match-arm enum payload bindings to allow legal …
completed successfully:
autoland#17:Commit01fbc36pushedbyDimank92
fix/issue-2444-data-carrying-enum-equality
Nov 1, 202631s
fix(hy-check): add regression tests for float var decl and copy slice…
completed successfully:
autoland#16:Commit1604052pushedbyDimank92
fix/issue-2560-float-var-decl-and-copy-slice-soundness
Nov 1, 202627s
shepherd-rebase
completed successfully:
shepherd-rebase#42:Scheduled
main
Nov 1, 202640s
triage-board
failed:
triage-board#8:Scheduled
main
Nov 1, 20261m 53s
stale
completed successfully:
stale#8:Scheduled
main
Nov 1, 20267s
shepherd-board
failed:
shepherd-board#8:Scheduled
main
Nov 1, 20262m 25s
shepherd-rebase
completed successfully:
shepherd-rebase#41:Scheduled
main
Nov 1, 202647s
fix(hy-check): track closure escapes via variables/slices and respect…
completed successfully:
autoland#15:Commit600be67pushedbyDimank92
fix/issue-2585-e3013-closure-escape-and-managed
Nov 1, 202647s
fix(hy-check): reject recursive struct value types (fixes #1566)
completed successfully:
autoland#14:Commitbff36e4pushedbyDimank92
fix/issue-1566-recursive-struct-value-cycles
Nov 1, 202635s
fix(hy-check): reject parenthesized undefined field roots and resolve…
completed successfully:
autoland#13:Commite5fb28epushedbyDimank92
fix/issue-1555-parenthesized-field-and-nested-index-callees
Nov 1, 202627s
fix(hy-check): reject non-integer variables as make size/capacity arg…
completed successfully:
autoland#12:Commita75577apushedbyDimank92
fix/issue-2540-make-non-integer-size-soundness
Nov 1, 202653s
fix(hy-check): reject match literal patterns conflicting with subject…
completed successfully:
autoland#11:Commit8a6f069pushedbyDimank92
fix/issue-2534-match-literal-pattern-soundness
Nov 1, 202639s
fix(hy-check): enforce element kind compatibility in string and conta…
completed successfully:
autoland#10:Commit6bc3f8fpushedbyDimank92
fix/issue-2546-container-and-string-conversion-element-soundness
Nov 1, 202631s
fix(hy-check): enforce ordered types and matching operand kinds in mi…
cancelled:
autoland#9:Commitc2fd9d4pushedbyDimank92
fix/issue-2542-min-max-builtin-ordered-and-untyped-soundness
Nov 1, 202613s
fix(hy-check): enforce numeric operand kinds in complex, real, and im…
completed successfully:
autoland#8:Commit54b746bpushedbyDimank92
fix/issue-2544-complex-real-imag-numeric-soundness
Nov 1, 202629s
fix(hy-check): enforce target type checks in multi-value assignments …
completed successfully:
autoland#7:Commit9bbb0e6pushedbyDimank92
fix/issue-2495-multi-value-assign-target-type-soundness
Nov 1, 202627s
fix(hy-check): reject typed int variables in assignment to float targ…
completed successfully:
autoland#6:Commitbe0504apushedbyDimank92
fix/issue-2567-assign-and-map-index-float-int-soundness
Nov 1, 202636s
fix(hy-check): reject typed int variables sent to chan float64 in sel…
completed successfully:
autoland#5:Commit078a354pushedbyDimank92
fix/issue-2577-select-send-chan-float-soundness
Nov 1, 202634s
fix(hy-check): accept untyped integer constants as keys in delete for…
completed successfully:
autoland#4:Commit76a25f0pushedbyDimank92
fix/issue-2536-delete-untyped-int-const-float-map
Nov 1, 202630s
fix(hy-check): reject direct pointer conversions with incompatible ba…
completed successfully:
autoland#3:Commit31b99dbpushedbyDimank92
fix/issue-2643-pointer-conversion-soundness
Nov 1, 202629s
shepherd-rebase
completed successfully:
shepherd-rebase#40:Scheduled
main
Nov 1, 202653s
shepherd-rebase
completed successfully:
shepherd-rebase#39:Scheduled
main
Oct 31, 202648s