Skip to content

Merge pull request #12571 from BabyElias/gsoc-table #20

Merge pull request #12571 from BabyElias/gsoc-table

Merge pull request #12571 from BabyElias/gsoc-table #20

Triggered via push October 14, 2024 11:35
Status Success
Total duration 3m 22s
Artifacts

pre-commit.yml

on: push
Path match check
5s
Path match check
All file linting
2m 54s
All file linting
Fit to window
Zoom out
Zoom in