Skip to content

Merge branch 'master' into more-stats #2013

Merge branch 'master' into more-stats

Merge branch 'master' into more-stats #2013

Triggered via push February 17, 2025 20:08
Status Success
Total duration 11m 25s
Artifacts
0️⃣ Kill previous runs
9s
0️⃣ Kill previous runs
1️⃣ PHP 8.4 - Syntax errors
32s
1️⃣ PHP 8.4 - Syntax errors
Matrix: 2️⃣ JS front-end / check_js
Matrix: 2️⃣ PHP tests / tests
2️⃣ PHP 8.4 - PHPStan
1m 18s
2️⃣ PHP 8.4 - PHPStan
2️⃣ PHP 8.4 - Code Style errors
59s
2️⃣ PHP 8.4 - Code Style errors
2️⃣ PHP 8.3 - License Check
27s
2️⃣ PHP 8.3 - License Check
Matrix: 3️⃣ PHP dist / php_dist
4️⃣ Build Artifact
0s
4️⃣ Build Artifact
Fit to window
Zoom out
Zoom in