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
Owner

Upstream is archived, and this isn't particularly well-used anymore.

Upstream is archived, and this isn't particularly well-used anymore.
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
c7c674cff4
Jade merged commit e1d7974dbb into main 2026-08-16 19:11:51 +00:00
Jade deleted branch jade/delete-element-web 2026-08-16 19:11:52 +00:00
Sign in to join this conversation.
No reviewers
No milestone
No project
No assignees
2 participants
Notifications
Due date
The due date is invalid or out of range. Please use the format "yyyy-mm-dd".

No due date set.

Dependencies

No dependencies set.

Reference
continuwuation/continuwuity!2135
No description provided.