Singlewise RAP (not for main)

Merge branch 'weigl/key-javaparser3' of https://github.com/KeYProject… #95

Sign in to view logs

Triggered via push March 4, 2026 09:44

Drodt

weigl/key-javaparser3

Status Cancelled

Total duration 6h 5m 4s

Artifacts –

genraptest.yml

on: push

Annotations

1 error

The job has exceeded the maximum execution time of 6h0m0s