]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #18166 from marcfehling/windows-name
authorRene Gassmoeller <rene.gassmoeller@mailbox.org>
Wed, 26 Feb 2025 13:57:22 +0000 (05:57 -0800)
committerGitHub <noreply@github.com>
Wed, 26 Feb 2025 13:57:22 +0000 (05:57 -0800)
commit076c64c0e09e307c91a91ffd91a85d0e5855e901
tree0247ce4b748d0e511e2bca271779564b5137e0a3
parentd1daaa1dc75e670cd1f9e2dbaf9bd3dc4d0c0b64
parent6cb89d83714eaaa561173e381b2f3b9b9c800fa4
Merge pull request #18166 from marcfehling/windows-name

github: Include OS version in Windows job name.

In the beginning the Universe was created. This has made a lot of people very angry and has been widely regarded as a bad move.

Douglas Adams


Typeset in Trocchi and Trocchi Bold Sans Serif.