Skip to content

Actions: EduIDE/theia-lite-git-proxy

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
16 workflow runs
16 workflow runs

Filter by Workflow

⌥ + click/return to exclude

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
Scheduled CodeQL #7: by github-advanced-security AI
1m 15s main
main
1m 15s
Scheduled CodeQL #6: by github-advanced-security AI
1m 11s main
main
1m 11s
Scheduled CodeQL #5: by github-advanced-security AI
1m 16s main
main
1m 16s
Scheduled CodeQL #4: by github-advanced-security AI
1m 10s main
main
1m 10s
Scheduled CodeQL #3: by github-advanced-security AI
1m 16s main
main
1m 16s
Add auto-assign PR author workflow Build Docker Image #8: Pull request #4 opened by Mtze
1m 1s add-auto-assign-action
add-auto-assign-action
1m 1s
Add auto-assign PR author workflow Auto Assign PR Author #1: Pull request #4 opened by Mtze
3m 59s add-auto-assign-action
add-auto-assign-action
3m 59s
PR #4 CodeQL #2: by Mtze
4m 59s refs/pull/4/head
refs/pull/4/head
4m 59s
CodeQL Setup CodeQL #1: by Mtze
5m 2s main
main
5m 2s
Update Dockerfile to correct port Build Docker Image #7: Commit a221e72 pushed by robertjndw
4m 52s main
main
4m 52s
Update Dockerfile to use Node18 Build Docker Image #6: Commit c7ae9c8 pushed by robertjndw
4m 54s main
main
4m 54s
Merge pull request #3 from ls1intum/feat/build-helm-chart Build Docker Image #5: Commit cfe650e pushed by Mtze
5m 34s main
main
5m 34s
Add first version of helm chart Build Docker Image #4: Pull request #3 synchronize by Mtze
5m 5s feat/build-helm-chart
feat/build-helm-chart
5m 5s
Add first version of helm chart Build Docker Image #3: Pull request #3 synchronize by Mtze
5m 24s feat/build-helm-chart
feat/build-helm-chart
5m 24s
Merge pull request #2 from ls1intum/feat/add-github-action-pipeline Build Docker Image #2: Commit ca7e917 pushed by robertjndw
5m 36s main
main
5m 36s
Add GitHub Actions workflow for building Docker image Build Docker Image #1: Pull request #2 opened by robertjndw
10m 7s feat/add-github-action-pipeline
feat/add-github-action-pipeline
10m 7s