fix 'jakarta.servlet-api' error (#40) · kkgit2008/AndroIDE@10ee6a7

Triggered via push October 28, 2025 11:54

kkgit2008

main

Status Success

Total duration 15m 22s

Artifacts 3

build.yml

on: push

Matrix: build_matrix

Produced during runtime

Name	Size	Digest
AndroIDE-arm64-v8a-v2.7.1-beta3-dev-10ee6a7 Expired	76.4 MB	`sha256:7555356c2e9e57f540c2accf64f1ad6a2bf16da2f8a5b3f14652b12683c74f62`
AndroIDE-arm64-v8a-v2.7.1-beta3-devDebug-10ee6a7 Expired	90.9 MB	`sha256:9deef6dd2454a5b8e1e2aaea0ac2cac26b4e9e714cda2c66abd02d932b4ad169`
release-mappings-10ee6a7 Expired	10.5 MB	`sha256:e3f7b3da62bfd4cb63b5c3f4587b40faa6639a7b8da7614cce71630efb101830`