Skip to content

Refactor: Simplify pattern matching of casts by using Cil.stripCasts #11294

Refactor: Simplify pattern matching of casts by using Cil.stripCasts

Refactor: Simplify pattern matching of casts by using Cil.stripCasts #11294

Triggered via push October 15, 2024 13:21
Status Success
Total duration 1m 57s
Artifacts

indentation.yml

on: push
Matrix: indentation
Fit to window
Zoom out
Zoom in