Skip to content

Actions: EduIDE/EduIDE-deployment

Actions

Deploy PR to Environment

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
deploy-pr.yml
803 workflow runs
803 workflow runs

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Add test3 environment Deploy PR to Environment #28: Pull request #21 synchronize by CodeByNikolas
30d 0h 0m 2s add-test3-env
add-test3-env
30d 0h 0m 2s
Deploy PR to Environment Deploy PR to Environment #27: Manually run by lukaskratzel
2m 5s feat/allow-deploying-any-image-tags
feat/allow-deploying-any-image-tags
2m 5s
Add support for customizable image tags in Theia deployment workflows Deploy PR to Environment #26: Pull request #22 synchronize by lukaskratzel
30d 0h 0m 2s feat/allow-deploying-any-image-tags
feat/allow-deploying-any-image-tags
30d 0h 0m 2s
Add support for customizable image tags in Theia deployment workflows Deploy PR to Environment #25: Pull request #22 opened by lukaskratzel
30d 0h 0m 2s feat/allow-deploying-any-image-tags
feat/allow-deploying-any-image-tags
30d 0h 0m 2s
Add test3 environment Deploy PR to Environment #24: Pull request #21 opened by CodeByNikolas
14s add-test3-env
add-test3-env
14s
Add shared cache node helm chart Deploy PR to Environment #23: Pull request #16 synchronize by KevinGruber2001
30d 0h 0m 2s feat/15-integrate-shared-cache-node-into-theia-cloud-combined
feat/15-integrate-shared-cache-node-into-theia-cloud-combined
30d 0h 0m 2s
Deploy PR to Environment Deploy PR to Environment #22: Manually run by KevinGruber2001
9m 23s feat/15-integrate-shared-cache-node-into-theia-cloud-combined
feat/15-integrate-shared-cache-node-into-theia-cloud-combined
9m 23s
add service level metrics to prometheus Deploy PR to Environment #21: Pull request #17 synchronize by lukaskratzel
30d 0h 0m 2s add-metrics-to-operator
add-metrics-to-operator
30d 0h 0m 2s
add service level metrics to prometheus Deploy PR to Environment #20: Pull request #17 synchronize by lukaskratzel
30d 0h 0m 2s add-metrics-to-operator
add-metrics-to-operator
30d 0h 0m 2s
Deploy PR to Environment Deploy PR to Environment #19: Manually run by KevinGruber2001
2m 16s 18-add-test2-environment
18-add-test2-environment
2m 16s
Add test2 environment Deploy PR to Environment #18: Pull request #19 synchronize by KevinGruber2001
30d 0h 0m 1s 18-add-test2-environment
18-add-test2-environment
30d 0h 0m 1s
add service level metrics to prometheus Deploy PR to Environment #17: Pull request #17 synchronize by lukaskratzel
6m 52s add-metrics-to-operator
add-metrics-to-operator
6m 52s
add service level metrics to prometheus Deploy PR to Environment #16: Pull request #17 synchronize by lukaskratzel
30d 0h 0m 2s add-metrics-to-operator
add-metrics-to-operator
30d 0h 0m 2s
Add test2 environment Deploy PR to Environment #15: Pull request #19 synchronize by KevinGruber2001
30d 0h 0m 2s 18-add-test2-environment
18-add-test2-environment
30d 0h 0m 2s
Add test2 environment Deploy PR to Environment #14: Pull request #19 synchronize by KevinGruber2001
30d 0h 0m 2s 18-add-test2-environment
18-add-test2-environment
30d 0h 0m 2s
Add shared cache node helm chart Deploy PR to Environment #13: Pull request #16 synchronize by KevinGruber2001
3m 12s feat/15-integrate-shared-cache-node-into-theia-cloud-combined
feat/15-integrate-shared-cache-node-into-theia-cloud-combined
3m 12s
Add test2 environment Deploy PR to Environment #12: Pull request #19 opened by KevinGruber2001
30d 0h 0m 2s 18-add-test2-environment
18-add-test2-environment
30d 0h 0m 2s
Add shared cache node helm chart Deploy PR to Environment #11: Pull request #16 synchronize by KevinGruber2001
30d 0h 0m 2s feat/15-integrate-shared-cache-node-into-theia-cloud-combined
feat/15-integrate-shared-cache-node-into-theia-cloud-combined
30d 0h 0m 2s
add service level metrics to prometheus Deploy PR to Environment #10: Pull request #17 synchronize by lukaskratzel
5m 19s add-metrics-to-operator
add-metrics-to-operator
5m 19s
add service level metrics to prometheus Deploy PR to Environment #9: Pull request #17 synchronize by lukaskratzel
6m 29s add-metrics-to-operator
add-metrics-to-operator
6m 29s
add service level metrics to prometheus Deploy PR to Environment #8: Pull request #17 opened by lukaskratzel
6m 11s add-metrics-to-operator
add-metrics-to-operator
6m 11s
Add shared cache node helm chart Deploy PR to Environment #7: Pull request #16 synchronize by KevinGruber2001
1m 8s feat/15-integrate-shared-cache-node-into-theia-cloud-combined
feat/15-integrate-shared-cache-node-into-theia-cloud-combined
1m 8s
Add shared cache node helm chart Deploy PR to Environment #6: Pull request #16 synchronize by KevinGruber2001
2m 20s feat/15-integrate-shared-cache-node-into-theia-cloud-combined
feat/15-integrate-shared-cache-node-into-theia-cloud-combined
2m 20s
Add shared cache node helm chart Deploy PR to Environment #5: Pull request #16 opened by KevinGruber2001
3h 22m 3s feat/15-integrate-shared-cache-node-into-theia-cloud-combined
feat/15-integrate-shared-cache-node-into-theia-cloud-combined
3h 22m 3s
Add support for multiple theia-deployments Deploy PR to Environment #4: Pull request #13 synchronize by Mtze
1m 13s feat/add-theia-test-envs
feat/add-theia-test-envs
1m 13s
ProTip! You can narrow down the results and go further in time using created:<2025-11-14 or the other filters available.