Skip to content

Merge pull request #532 from usethesource/chore/new-faster-rascal-core #1090

Merge pull request #532 from usethesource/chore/new-faster-rascal-core

Merge pull request #532 from usethesource/chore/new-faster-rascal-core #1090

Triggered via push November 27, 2024 14:45
Status Success
Total duration 10m 31s
Artifacts

lint.yaml

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

Annotations

1 notice
checkstyle
Processed 1 files: No issues found