Skip to content
Check style

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

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… #2422

Triggered via push October 31, 2023 14:44
@mernstmernst
pushed a9b037a
pr-merges
Status Success
Total duration 5m 42s
Artifacts –
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

check-style.yml

on: push
style
5m 29s
style
Fit to window
Zoom out
Zoom in