Skip to content

refactor: deriving DecidableEq to use termination_by structural #3312

refactor: deriving DecidableEq to use termination_by structural

refactor: deriving DecidableEq to use termination_by structural #3312

Triggered via pull request July 25, 2024 08:03
@nomeatanomeata
labeled #4826
Status Skipped
Total duration 2s
Artifacts

backport.yml

on: pull_request_target
Backport
0s
Backport
Fit to window
Zoom out
Zoom in