Skip to content

Actions: rigortype/steins

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,568 workflow runs
1,568 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
steins-infer: member, offset and class-constant reads are judged at every position, at the read's own span (#936, #949, #1050 S3) CI #1475: Pull request #1069 synchronize by zonuexe
5m 43s claude/rp-s3-member-offset-reads
claude/rp-s3-member-offset-reads
5m 43s
steins-infer: a nested call is judged at every position it is written, and a first-class callable is an existence site (#935, #1050 S2) CI #1474: Pull request #1066 synchronize by zonuexe
5m 40s claude/rp-s2-nested-calls
claude/rp-s2-nested-calls
5m 40s
steins-infer: a returned call is judged like an assigned one, and a finite set of values is judged per member (#950, #1051 S2) CI #1473: Pull request #1071 opened by zonuexe
6m 25s claude/ta-s2-return-call-oneof
claude/ta-s2-return-call-oneof
6m 25s
steins-infer: arity is judged for closures, IIFEs, first-class callables and string callees when the callee is proven (#938, #1051 S4) CI #1472: Pull request #1070 opened by zonuexe
5m 35s claude/ta-s4-dynamic-callee-arity
claude/ta-s4-dynamic-callee-arity
5m 35s
steins-infer: member, offset and class-constant reads are judged at every position, at the read's own span (#936, #949, #1050 S3) CI #1471: Pull request #1069 opened by zonuexe
5m 36s claude/rp-s3-member-offset-reads
claude/rp-s3-member-offset-reads
5m 36s
steins-infer: a nested call is judged at every position it is written, and a first-class callable is an existence site (#935, #1050 S2) CI #1470: Pull request #1066 opened by zonuexe
5m 35s claude/rp-s2-nested-calls
claude/rp-s2-nested-calls
5m 35s
docs: ADR-0043's amendment says a type test is decided on a proven va… CI #1469: Commit 89f465f pushed by zonuexe
8m 18s master
master
8m 18s
steins-infer: the value relation judges null, arrays, closures and native tops as PHP does (#951, #941, #952, #1051 S1) CI #1468: Pull request #1060 synchronize by zonuexe
5m 28s claude/ta-s1-value-relation
claude/ta-s1-value-relation
5m 28s
steins-syntax: a ?-> in a static call's class operand short-circuits … CI #1467: Commit 5a66ba7 pushed by zonuexe
7m 55s master
master
7m 55s
steins-syntax, steins-infer: a nested call's argument is lowered and resolved once, so nested calls cost linear rather than exponential time in depth (#1063) CI #1466: Pull request #1064 opened by zonuexe
5m 4s claude/nested-call-exponential
claude/nested-call-exponential
5m 4s
steins-infer: the value relation judges null, arrays, closures and native tops as PHP does (#951, #941, #952, #1051 S1) CI #1465: Pull request #1060 synchronize by zonuexe
5m 37s claude/ta-s1-value-relation
claude/ta-s1-value-relation
5m 37s
steins-syntax: a statement lists each read its expressions write, at the read's own span with the construct that carries it (#1050 S1, ADR-0104) CI #1464: Pull request #1062 synchronize by zonuexe
5m 31s claude/rp-s1-read-positions
claude/rp-s1-read-positions
5m 31s
steins-infer: the value relation judges null, arrays, closures and native tops as PHP does (#951, #941, #952, #1051 S1) CI #1463: Pull request #1060 synchronize by zonuexe
5m 29s claude/ta-s1-value-relation
claude/ta-s1-value-relation
5m 29s
steins-syntax: a statement lists each read its expressions write, at the read's own span with the construct that carries it (#1050 S1, ADR-0104) CI #1462: Pull request #1062 synchronize by zonuexe
4m 55s claude/rp-s1-read-positions
claude/rp-s1-read-positions
4m 55s
steins-syntax: a return or yield inside a property hook belongs to th… CI #1461: Commit 6d4ec16 pushed by zonuexe
5m 43s master
master
5m 43s
steins-infer: PHP's compile-time return fatals are return.compile-fatal (#952, #1051 S3) CI #1460: Pull request #1059 synchronize by zonuexe
5m 45s claude/ta-s3-compile-fatal-returns
claude/ta-s3-compile-fatal-returns
5m 45s
steins-syntax: a statement lists each read its expressions write, at the read's own span with the construct that carries it (#1050 S1, ADR-0104) CI #1459: Pull request #1062 opened by zonuexe
5m 32s claude/rp-s1-read-positions
claude/rp-s1-read-positions
5m 32s
steins-infer: the value relation judges null, arrays, closures and native tops as PHP does (#951, #941, #952, #1051 S1) CI #1458: Pull request #1060 synchronize by zonuexe
5m 40s claude/ta-s1-value-relation
claude/ta-s1-value-relation
5m 40s
steins-syntax: an argument position adds named property writes only, … CI #1457: Commit ae6aca5 pushed by zonuexe
7m 20s master
master
7m 20s
steins-syntax: argument, reference and destructure positions that can create a property count as writes for property.undefined (#1050 S0b) CI #1456: Pull request #1054 synchronize by zonuexe
5m 25s claude/rp-s0b-prop-writes
claude/rp-s0b-prop-writes
5m 25s
docs: ADR-0036's amendment, the trace-IR note and the changelog fragm… CI #1455: Commit 50f5130 pushed by zonuexe
7m 51s master
master
7m 51s
steins-infer: the value relation judges null, arrays, closures and native tops as PHP does (#951, #941, #952, #1051 S1) CI #1454: Pull request #1060 opened by zonuexe
6m 1s claude/ta-s1-value-relation
claude/ta-s1-value-relation
6m 1s
steins-infer: an object reached through an unresolved alias is escaped, and a write through an unbound name sweeps the escaped objects (#1048) CI #1453: Pull request #1056 synchronize by zonuexe
5m 37s claude/array-alias-heap-write
claude/array-alias-heap-write
5m 37s
steins-infer: PHP's compile-time return fatals are return.compile-fatal (#952, #1051 S3) CI #1452: Pull request #1059 synchronize by zonuexe
5m 33s claude/ta-s3-compile-fatal-returns
claude/ta-s3-compile-fatal-returns
5m 33s
steins-infer: defined('C::K') answers No or Yes for a non-public cons… CI #1451: Commit cbb4ed3 pushed by zonuexe
7m 20s master
master
7m 20s