Skip to content

Merge branch 'pr-merges' of github.com:benedikt-schesch/AST-Merging-E… #2371

Merge branch 'pr-merges' of github.com:benedikt-schesch/AST-Merging-E…

Merge branch 'pr-merges' of github.com:benedikt-schesch/AST-Merging-E… #2371

Triggered via push October 31, 2023 14:44
Status Failure
Total duration 49m 48s
Artifacts

small-test.yml

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

Annotations

1 error
test (3.9.2)
Process completed with exit code 2.