Skip to content

Port hazard and exhaust interfaces to trait system#4584

Merged
gustovafing merged 10 commits into1.20.1from
gus/hazard-traits
Feb 16, 2026
Merged

Port hazard and exhaust interfaces to trait system#4584
gustovafing merged 10 commits into1.20.1from
gus/hazard-traits

Commits

Commits on Feb 8, 2026

Commits on Feb 11, 2026

Commits on Feb 12, 2026

Commits on Feb 16, 2026