Skip to content
Check for merge commits

Test uniqueness of problem IDs #3247

Sign in to view logs

Test uniqueness of problem IDs

Test uniqueness of problem IDs #3247

Triggered via pull request September 24, 2024 21:03
@stephan-herrmannstephan-herrmann
synchronize #1754
stephan-herrmann:testUniqueProblemIds
Status Success
Total duration 21s
Artifacts –

checkMergeCommits.yml

on: pull_request
Block Merge Commits
11s
Block Merge Commits
Fit to window
Zoom out
Zoom in