Skip to content

Actions: ethdebug/format

Actions

Deploy PR preview

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
deploy-pr-previews.yml
446 workflow runs
446 workflow runs

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
programs-react, web: apply instruction contexts as postconditions in the tracer Deploy PR preview #471: Pull request #289 opened by gnidan
4m 37s ui-context-offbyone
ui-context-offbyone
4m 37s
format: define segment offset carry semantics and fix region self-reference Deploy PR preview #470: Pull request #284 synchronize by gnidan
4m 33s architect-segment-carry
architect-segment-carry
4m 33s
format: define segment offset carry semantics and fix region self-reference Deploy PR preview #469: Pull request #284 synchronize by gnidan
4m 22s architect-segment-carry
architect-segment-carry
4m 22s
bugc: fix recursive and branch miscompilation with canonical block-boundary stack discipline Deploy PR preview #468: Pull request #283 synchronize by gnidan
4m 41s compiler-cfg-stack-tracking
compiler-cfg-stack-tracking
4m 41s
format: make all resource identifiers strings Deploy PR preview #467: Pull request #288 opened by gnidan
4m 42s architect-ids-to-strings
architect-ids-to-strings
4m 42s
bugc: fix recursive and branch miscompilation with canonical block-boundary stack discipline Deploy PR preview #466: Pull request #283 synchronize by gnidan
4m 36s compiler-cfg-stack-tracking
compiler-cfg-stack-tracking
4m 36s
format: identify character encodings with WHATWG Encoding Standard labels Deploy PR preview #465: Pull request #285 closed by gnidan
4m 33s architect-encoding-labels
architect-encoding-labels
4m 33s
format: specify two-sorted (integer/bytes) expression evaluation Deploy PR preview #464: Pull request #286 opened by gnidan
4m 24s architect-expression-semantics
architect-expression-semantics
4m 24s
format: identify character encodings with WHATWG Encoding Standard labels Deploy PR preview #463: Pull request #285 opened by gnidan
4m 43s architect-encoding-labels
architect-encoding-labels
4m 43s
bugc: fix recursive and branch miscompilation with canonical block-boundary stack discipline Deploy PR preview #462: Pull request #283 synchronize by gnidan
4m 19s compiler-cfg-stack-tracking
compiler-cfg-stack-tracking
4m 19s
format: define segment offset carry semantics and fix region self-reference Deploy PR preview #461: Pull request #284 opened by gnidan
4m 33s architect-segment-carry
architect-segment-carry
4m 33s
bugc: fix recursive and branch miscompilation with canonical block-boundary stack discipline Deploy PR preview #460: Pull request #283 opened by gnidan
4m 48s compiler-cfg-stack-tracking
compiler-cfg-stack-tracking
4m 48s
format: state the postcondition convention for instruction contexts Deploy PR preview #459: Pull request #281 closed by gnidan
4m 39s architect-postcondition-convention
architect-postcondition-convention
4m 39s
format: state the postcondition convention for instruction contexts Deploy PR preview #458: Pull request #281 synchronize by gnidan
4m 18s architect-postcondition-convention
architect-postcondition-convention
4m 18s
format: fix the program example's pre-execution stack pointers Deploy PR preview #457: Pull request #278 closed by gnidan
4m 29s architect-program-stack-example
architect-program-stack-example
4m 29s
format: state the postcondition convention for instruction contexts Deploy PR preview #456: Pull request #281 opened by gnidan
4m 43s architect-postcondition-convention
architect-postcondition-convention
4m 43s
format: close objects whose properties the format fully defines Deploy PR preview #455: Pull request #280 closed by gnidan
4m 37s architect-schema-closure
architect-schema-closure
4m 37s
format: tighten type and context validation constraints Deploy PR preview #454: Pull request #279 closed by gnidan
4m 23s architect-schema-constraints
architect-schema-constraints
4m 23s
format: correct schema examples and drop dead keywords Deploy PR preview #453: Pull request #277 closed by gnidan
4m 20s architect-schema-example-cleanup
architect-schema-example-cleanup
4m 20s
format: align pointer identifier and contract type guards with their schemas Deploy PR preview #452: Pull request #276 closed by gnidan
5m 0s debugger-isidentifier-regex
debugger-isidentifier-regex
5m 0s
bugc: fix return-epilogue stack cleanup for multiple stale values Deploy PR preview #451: Pull request #274 closed by gnidan
5m 8s compiler-return-epilogue-fix
compiler-return-epilogue-fix
5m 8s
format: close objects whose properties the format fully defines Deploy PR preview #450: Pull request #280 opened by gnidan
4m 51s architect-schema-closure
architect-schema-closure
4m 51s
format: tighten type and context validation constraints Deploy PR preview #449: Pull request #279 opened by gnidan
4m 31s architect-schema-constraints
architect-schema-constraints
4m 31s
format: fix the program example's pre-execution stack pointers Deploy PR preview #448: Pull request #278 opened by gnidan
4m 27s architect-program-stack-example
architect-program-stack-example
4m 27s
format: align pointer identifier and contract type guards with their schemas Deploy PR preview #447: Pull request #276 synchronize by gnidan
4m 25s debugger-isidentifier-regex
debugger-isidentifier-regex
4m 25s