Skip to content
Run Small test

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

Sign in to view logs

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

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

Triggered via push November 1, 2023 15:37
@mernstmernst
pushed 6a7b984
pr-merges
Status Success
Total duration 31m 16s
Artifacts –

small-test.yml

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