Mergin dev - new header, updated servants #29
Owner
No description provided.
Firq
added 7 commits 2024-06-15 17:20:33 +00:00
All checks were successful
/ checking (push) Successful in 1m10s
Details
All checks were successful
/ checking (push) Successful in 11s
Details
All checks were successful
/ checking (push) Successful in 10s
Details
/ build-site (push) Successful in 1m44s
Details
/ publish (push) Successful in 6s
Details
/ unlighthouse (push) Successful in 31s
Details
/ deploy-unlighthouse-site (push) Successful in 4s
Details
/ deploy-unlighthouse-files (push) Successful in 7s
Details
All checks were successful
/ checking (push) Successful in 10s
Details
All checks were successful
/ publish (push) Successful in 6s
Details
/ checking (push) Successful in 13s
Details
/ build-site (push) Successful in 1m42s
Details
All checks were successful
/ checking (push) Successful in 13s
Details
All checks were successful
/ checking (push) Successful in 14s
Details
Merge pull request 'Mergin dev - new header, updated servants' (#29) from dev into main
Loading…
Reference in a new issue
No description provided.
Delete branch "dev"
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?