diff --git a/docs/contribute/source/os/sel4.md b/docs/contribute/source/os/sel4.md
index 217e014a..1705f45e 100644
--- a/docs/contribute/source/os/sel4.md
+++ b/docs/contribute/source/os/sel4.md
@@ -36,7 +36,7 @@ $ docker run --rm -v $(pwd):/app -it wasmedge/sel4_build
 
 <!-- prettier-ignore -->
 :::note
-If you do not want to build the seL4 system simulator yourself, you can download the [build artifact](https://github.com/second-state/wasmedge-seL4/actions/runs/1374510169) from our GitHub Actions, and skip directly to [Boot wasmedge-seL4](#boot-wasmedge-sel4)
+If you do not want to build the seL4 system simulator yourself, you can download the [build artifact](https://github.com/second-state/wasmedge-seL4/releases) from our GitHub Actions, and skip directly to [Boot wasmedge-seL4](#boot-wasmedge-sel4)
 :::
 
 ### Automatic installation: all-in-one script
diff --git a/i18n/zh/docusaurus-plugin-content-docs/current/contribute/source/os/sel4.md b/i18n/zh/docusaurus-plugin-content-docs/current/contribute/source/os/sel4.md
index 217e014a..aab24af7 100644
--- a/i18n/zh/docusaurus-plugin-content-docs/current/contribute/source/os/sel4.md
+++ b/i18n/zh/docusaurus-plugin-content-docs/current/contribute/source/os/sel4.md
@@ -4,7 +4,7 @@ sidebar_position: 8
 
 # Build on seL4 RTOS
 
-[Video demo](https://youtu.be/2Qu-Trtkspk) | [Build logs](https://github.com/second-state/wasmedge-seL4/runs/3982081148?check_suite_focus=true) | [Build artifact](https://github.com/second-state/wasmedge-seL4/actions/runs/1374510169)
+[Video demo](https://youtu.be/2Qu-Trtkspk) | [Build logs](https://github.com/second-state/wasmedge-seL4/actions) | [Build artifact](https://github.com/second-state/wasmedge-seL4/releases)
 
 In this article, we demonstrate how to run WasmEdge on the seL4 RTOS, there are two parts: