Skip to content
docs

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

Sign in to view logs

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

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

Triggered via push October 15, 2024 13:21
@karoliinehkaroliineh
pushed 872b159
loopUnroll-casts-in-loopStatment
Status Success
Total duration 4m 24s
Artifacts 1

docs.yml

on: push
Matrix: api-build
api-deploy
0s
api-deploy
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size
github-pages Expired
2.04 MB