Correct typing option `signal` to be optional #766

Sign in to view logs

Triggered via push November 23, 2024 12:21

Borewit

typing-option-signal-optional

Status Success

Total duration 47s

Artifacts –

main.yml

on: push

Matrix: test