Skip to content

Actions: ls1intum/Athena

Prospector Linting

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
1,323 workflow runs
1,323 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Find specific Docker tag for build
Prospector Linting #846: Pull request #74 synchronize by pal03377
August 13, 2023 21:00 7m 29s development/find-specific-docker-tag-for-build
August 13, 2023 21:00 7m 29s
Add evaluation mode running in batch mode
Prospector Linting #844: Pull request #65 synchronize by FelixTJDietrich
August 13, 2023 18:19 6m 46s feature/init-human-evaluation-mode
August 13, 2023 18:19 6m 46s
Add evaluation mode running in batch mode
Prospector Linting #843: Pull request #65 synchronize by FelixTJDietrich
August 13, 2023 16:40 6m 23s feature/init-human-evaluation-mode
August 13, 2023 16:40 6m 23s
Add evaluation mode running in batch mode
Prospector Linting #842: Pull request #65 synchronize by FelixTJDietrich
August 13, 2023 12:06 4m 57s feature/init-human-evaluation-mode
August 13, 2023 12:06 4m 57s
Add evaluation mode running in batch mode
Prospector Linting #841: Pull request #65 synchronize by FelixTJDietrich
August 13, 2023 11:53 10m 7s feature/init-human-evaluation-mode
August 13, 2023 11:53 10m 7s
Add evaluation mode running in batch mode
Prospector Linting #840: Pull request #65 synchronize by FelixTJDietrich
August 13, 2023 11:46 6m 19s feature/init-human-evaluation-mode
August 13, 2023 11:46 6m 19s
Add evaluation mode running in batch mode
Prospector Linting #839: Pull request #65 synchronize by FelixTJDietrich
August 13, 2023 11:41 8m 28s feature/init-human-evaluation-mode
August 13, 2023 11:41 8m 28s
Add feedback editor to send feedbacks
Prospector Linting #838: Pull request #73 synchronize by FelixTJDietrich
August 12, 2023 21:51 5m 0s feature/send-feedbacks-editor
August 12, 2023 21:51 5m 0s
Add feedback editor to send feedbacks
Prospector Linting #837: Pull request #73 synchronize by FelixTJDietrich
August 12, 2023 21:32 5m 44s feature/send-feedbacks-editor
August 12, 2023 21:32 5m 44s
Add feedback editor to send feedbacks
Prospector Linting #836: Pull request #73 opened by FelixTJDietrich
August 12, 2023 21:30 8m 35s feature/send-feedbacks-editor
August 12, 2023 21:30 8m 35s
More usable submission detail for evaluation mode (#61)
Prospector Linting #835: Commit a5991b3 pushed by pal03377
August 12, 2023 16:54 5m 22s develop
August 12, 2023 16:54 5m 22s
More usable submission detail for evaluation mode
Prospector Linting #832: Pull request #61 synchronize by FelixTJDietrich
August 12, 2023 15:32 32m 36s feature/better-submission-detail
August 12, 2023 15:32 32m 36s
Merge pull request #70 from ls1intum/hot-fix/export-script-download
Prospector Linting #831: Commit 192372d pushed by FelixTJDietrich
August 12, 2023 15:31 32m 4s develop
August 12, 2023 15:31 32m 4s
Fix download programming repositories
Prospector Linting #830: Pull request #70 synchronize by FelixTJDietrich
August 12, 2023 15:30 33m 58s hot-fix/export-script-download
August 12, 2023 15:30 33m 58s
Fix download programming repositories
Prospector Linting #829: Pull request #70 synchronize by FelixTJDietrich
August 12, 2023 15:29 34m 41s hot-fix/export-script-download
August 12, 2023 15:29 34m 41s
Fix download programming repositories
Prospector Linting #828: Pull request #70 synchronize by FelixTJDietrich
August 12, 2023 15:27 6m 15s hot-fix/export-script-download
August 12, 2023 15:27 6m 15s
PR for Deployment
Prospector Linting #827: Pull request #67 synchronize by pal03377
August 12, 2023 15:27 9m 3s for-deployment-testing
August 12, 2023 15:27 9m 3s
Fix download programming repositories
Prospector Linting #826: Pull request #70 synchronize by FelixTJDietrich
August 12, 2023 15:27 6m 8s hot-fix/export-script-download
August 12, 2023 15:27 6m 8s
More usable submission detail for evaluation mode
Prospector Linting #825: Pull request #61 synchronize by pal03377
August 12, 2023 15:26 7m 43s feature/better-submission-detail
August 12, 2023 15:26 7m 43s
Fix download programming repositories
Prospector Linting #824: Pull request #70 synchronize by FelixTJDietrich
August 12, 2023 15:25 6m 16s hot-fix/export-script-download
August 12, 2023 15:25 6m 16s
Make feedback description optional (#69)
Prospector Linting #823: Commit 003967c pushed by pal03377
August 12, 2023 15:23 4m 59s develop
August 12, 2023 15:23 4m 59s
More usable submission detail for evaluation mode
Prospector Linting #822: Pull request #61 synchronize by FelixTJDietrich
August 12, 2023 14:59 4m 57s feature/better-submission-detail
August 12, 2023 14:59 4m 57s
ProTip! You can narrow down the results and go further in time using created:<2023-08-12 or the other filters available.