Skip to content
Linter

Replace fresh terms by abstract values in all subterms #2892

Sign in to view logs

Replace fresh terms by abstract values in all subterms

Replace fresh terms by abstract values in all subterms #2892

Triggered via pull request January 28, 2025 16:19
@HalbarothHalbaroth
synchronize #1280
Halbaroth:fix-1270
Status Success
Total duration 5m 26s
Artifacts –

linter.yml

on: pull_request
Check style
1m 22s
Check style
Matrix: Check indentation
Fit to window
Zoom out
Zoom in