[workflows/ci.yml] Actually use default values for push and pull_request
authordirkf <fieldhouse@gmx.net>
Tue, 28 Nov 2023 16:17:07 +0000 (16:17 +0000)
committerdirkf <fieldhouse@gmx.net>
Wed, 29 Nov 2023 22:08:01 +0000 (22:08 +0000)
commit8d227cb97b00a36fa9389bcba2a63ef6db3dbff7
tree396d1bb3d0c4c477c1b9591699e6c6b3207706fd
parent4e115e18cbb02ecde30edb736a030cf84bf813e9
[workflows/ci.yml] Actually use default values for push and pull_request
.github/workflows/ci.yml