Skip to content

Actions: ls1intum/Hephaestus

Actions

Pull Request

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
pull-request.yml
98 workflow runs
98 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

create activity endpoint for bad practice detection(#223) Pull Request #98: Pull request #224 opened by iam-flo
January 17, 2025 17:16 13s 223-creating-activity-dashboard
223-creating-activity-dashboard
January 17, 2025 17:16 13s
AI Mentor memory integration Pull Request #97: Pull request #220 opened by milesha
January 10, 2025 19:21 10s feature/integrate-progress-mentor-chat
feature/integrate-progress-mentor-chat
January 10, 2025 19:21 10s
Update to Angular v19 Pull Request #96: Pull request #219 opened by GODrums
January 7, 2025 15:15 15s migration-angular-v19
migration-angular-v19
January 7, 2025 15:15 15s
Push Own Leaderboard Entry to the Top Pull Request #95: Pull request #218 opened by GODrums
January 4, 2025 21:23 10s feat/leaderboard-own-entry-first
feat/leaderboard-own-entry-first
January 4, 2025 21:23 10s
Automatic Greeting Feature Pull Request #94: Pull request #216 opened by milesha
December 17, 2024 11:11 10s feature/auto-start-mentor-chat
feature/auto-start-mentor-chat
December 17, 2024 11:11 10s
Chore: Java Prettier Formatting Pull Request #93: Pull request #215 opened by GODrums
December 17, 2024 10:15 10s chore/prettier-formatting-java
chore/prettier-formatting-java
December 17, 2024 10:15 10s
Docs: Setup Guide Page Pull Request #92: Pull request #213 opened by GODrums
December 10, 2024 12:48 10s feat/docs-setup-guide
feat/docs-setup-guide
December 10, 2024 12:48 10s
League UI for Leaderboard and Profile Pages Pull Request #91: Pull request #210 opened by GODrums
December 8, 2024 22:26 13s 170-league-icons-ui
170-league-icons-ui
December 8, 2024 22:26 13s
Fix: Persist User Change on Navigation Pull Request #90: Pull request #209 opened by GODrums
December 8, 2024 13:38 12s 208-profile-redirection-issue-no-automatic-redirect-on-my-profile-click
208-profile-redirection-issue-no-automatic-redirect-on-my-profile-click
December 8, 2024 13:38 12s
Fix: Ignore own Issue Comments for Score Calculation Pull Request #89: Pull request #207 opened by GODrums
December 7, 2024 21:52 9s fix/skip-own-issue-comments
fix/skip-own-issue-comments
December 7, 2024 21:52 9s
Add Sentry Configuration to webapp Pull Request #88: Pull request #206 opened by GODrums
December 4, 2024 20:51 15s 202-sentry-angular
202-sentry-angular
December 4, 2024 20:51 15s
Add Sentry Configuration to application-server Pull Request #87: Pull request #205 opened by GODrums
December 4, 2024 00:45 13s 202-sentry-java
202-sentry-java
December 4, 2024 00:45 13s
create activity endpoint returning pull requests with bad practices(#… Pull Request #86: Pull request #200 opened by iam-flo
December 2, 2024 17:01 11s 199-visualize-pull-requests-description-bad-practices-in-a-dashboard
199-visualize-pull-requests-description-bad-practices-in-a-dashboard
December 2, 2024 17:01 11s
Refactor: Modularization of Task Scheduling Pull Request #85: Pull request #194 opened by GODrums
November 29, 2024 15:52 12s 170-modular-task-scheduler
170-modular-task-scheduler
November 29, 2024 15:52 12s
Fix: Sort Teams in Metadata alphabetically Pull Request #84: Pull request #193 opened by GODrums
November 27, 2024 21:16 8s fix/sort-teams-alphabetically
fix/sort-teams-alphabetically
November 27, 2024 21:16 8s
Build and Push Docker Image Workflow Pull Request #83: Pull request #192 opened by FelixTJDietrich
November 27, 2024 21:03 12s chore/docker-build-and-push-workflow
chore/docker-build-and-push-workflow
November 27, 2024 21:03 12s
Fix: Refresh Token in Custom Interceptor Pull Request #82: Pull request #191 opened by GODrums
November 27, 2024 20:09 10s fix/token-refresh-interval
fix/token-refresh-interval
November 27, 2024 20:09 10s
Fix: Keycloak Refresh Tokens before Expiry Pull Request #81: Pull request #190 opened by GODrums
November 27, 2024 01:35 9s fix/keycloak-token-expiry
fix/keycloak-token-expiry
November 27, 2024 01:35 9s
Fix: Timeframe Parameter Consistency on Navigation Pull Request #80: Pull request #189 opened by GODrums
November 25, 2024 02:08 15s fix/leaderboard-timeframe-navigation
fix/leaderboard-timeframe-navigation
November 25, 2024 02:08 15s
Fix: Use correct After-queryParam when none specified Pull Request #79: Pull request #188 opened by GODrums
November 24, 2024 23:33 11s fix/default-leaderboard-date
fix/default-leaderboard-date
November 24, 2024 23:33 11s
Update monitoring, team improvements, and switch to workspace naming Pull Request #78: Pull request #187 opened by FelixTJDietrich
November 24, 2024 17:16 1m 4s feature/update-moditoring-and-admin-config
feature/update-moditoring-and-admin-config
November 24, 2024 17:16 1m 4s
Fix of the GitHub workflow application-server-qa Pull Request #77: Pull request #186 opened by milesha
November 24, 2024 14:45 9s fix-github-workdlow-prettier
fix-github-workdlow-prettier
November 24, 2024 14:45 9s
Add privacy statement Pull Request #76: Pull request #184 opened by FelixTJDietrich
November 20, 2024 18:49 10s chore/privacy-statement
chore/privacy-statement
November 20, 2024 18:49 10s
Fix: Parse Custom Date Range Query Params Pull Request #75: Pull request #183 opened by GODrums
November 20, 2024 01:50 12s 176-filter-of-time-interval-does-not-reflect-query-parameters-correctly
176-filter-of-time-interval-does-not-reflect-query-parameters-correctly
November 20, 2024 01:50 12s
Add settings page to delete user Pull Request #74: Pull request #182 opened by FelixTJDietrich
November 19, 2024 23:21 12s chore/delete-user
chore/delete-user
November 19, 2024 23:21 12s