Skip to content

Make 'a signed word have a different name than 'a word #3071

Make 'a signed word have a different name than 'a word

Make 'a signed word have a different name than 'a word #3071

Re-run triggered June 26, 2024 18:01
Status Failure
Total duration 28s
Artifacts

push.yml

on: pull_request
Fit to window
Zoom out
Zoom in