Skip to content

Update Joern version to remove CLOSURE_ORIGINAL_NAME #652

Update Joern version to remove CLOSURE_ORIGINAL_NAME

Update Joern version to remove CLOSURE_ORIGINAL_NAME #652

Triggered via pull request July 1, 2025 09:41
Status Success
Total duration 20m 10s
Artifacts

pr.yml

on: pull_request
formatting
47s
formatting
Matrix: test
Fit to window
Zoom out
Zoom in