Merge remote-tracking branch 'origin/main' into coverage-model · uhafner/autograding-github-action@3dd2f69 · GitHub

Commit

Merge remote-tracking branch 'origin/main' into coverage-model

Browse files

# Conflicts:
#	.github/workflows/ci.yml

Loading branch information

uhafner committed Nov 23, 2023

2 parents e0db632 + 3a57c9f commit 3dd2f69