Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Add automatic evaluation (ignore this PR, accidentally empty) #173

Merged
merged 12 commits into from
Nov 5, 2023
Merged

Add automatic evaluation (ignore this PR, accidentally empty) #173

merged 12 commits into from
Nov 5, 2023

Conversation

FelixTJDietrich
Copy link
Collaborator

@FelixTJDietrich FelixTJDietrich commented Nov 5, 2023 •
edited
Loading

Accidental merged PR since it built on #171 without changes and it got merged

@FelixTJDietrich FelixTJDietrich mentioned this pull request Nov 5, 2023
Closed
16 tasks
@FelixTJDietrich FelixTJDietrich self-assigned this Nov 5, 2023
@pal03377 pal03377 temporarily deployed to Athena Test Server 3 November 5, 2023 18:48 — with GitHub Actions Inactive
@FelixTJDietrich FelixTJDietrich merged commit 69a6be7 into develop Nov 5, 2023
26 checks passed
FelixTJDietrich
FelixTJDietrich commented Nov 5, 2023
View reviewed changes
Copy link
Collaborator Author

@FelixTJDietrich FelixTJDietrich left a comment •
edited
Loading

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Oops, I messed something up. I wanted to create an initial draft PR and merged the PR that this PR was building on first. Somehow Github just merged also this PR, I did not know that it did that

@FelixTJDietrich FelixTJDietrich changed the title Add automatic evaluation Add automatic evaluation (ignore this PR, empty) Nov 5, 2023
@FelixTJDietrich FelixTJDietrich changed the title Add automatic evaluation (ignore this PR, empty) Add automatic evaluation (ignore this PR, accidentally empty) Nov 5, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees

@FelixTJDietrich FelixTJDietrich

Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@FelixTJDietrich @pal03377