ci #1
n
commented 2024-02-12 21:23:31 +01:00
Owner
No description provided.
n
added 3 commits 2024-02-12 21:23:32 +01:00
PHP Coding Standards fixes
0a3c559a59
fix pictures alignement in station map pages
0ef49023fa
add Gitea CI
67db1b0e6e
All checks were successful
lint / lint (push) Successful in 22s
Details
n
merged commit 67db1b0e6e into main 2024-02-12 21:41:22 +01:00
n
deleted branch ci 2024-02-12 21:41:23 +01:00
Loading…
Reference in a new issue
No description provided.
Delete branch "ci"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?