chore: Delete archived element web deployment #2135

Merged
Jade merged 1 commit from jade/delete-element-web into main 2026-08-16 19:11:51 +00:00

1 commit

Author SHA1 Message Date
c7c674cff4
chore: Delete archived element web deployment
All checks were successful
Auto Labeler / Apply labels based on changed files (pull_request_target) Successful in 4s
Checks / Changelog / Check changelog is added (pull_request_target) Successful in 7s
Documentation / Build and Deploy Documentation (pull_request) Successful in 1m4s
Checks / Prek / Check changed files (pull_request) Successful in 6s
Checks / Prek / Clippy and Cargo Tests (pull_request) Has been skipped
Checks / Prek / Pre-commit & Formatting (pull_request) Successful in 1m11s
2026-08-14 02:07:40 +01:00