Skip to content

Remove upstream-only GitHub workflows from fork#10

Merged
cedretaber merged 2 commits into
java_extractionfrom
chore/remove-upstream-workflows
Jul 2, 2026
Merged

Remove upstream-only GitHub workflows from fork#10
cedretaber merged 2 commits into
java_extractionfrom
chore/remove-upstream-workflows

CI: make the workflow green for this fork

0e158a1
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning
Linux (latest OCaml)
succeeded Jul 2, 2026 in 11m 41s