Skip to content
CI

Merge pull request #6272 from effective-webwork/tab-titles #463

Sign in to view logs

Merge pull request #6272 from effective-webwork/tab-titles

Merge pull request #6272 from effective-webwork/tab-titles #463

Triggered via push November 15, 2024 09:39
@henning-gerhardthenning-gerhardt
pushed 897d524
master
Status Success
Total duration 24m 13s
Artifacts –

main.yml

on: push
build
24m 1s
build
Fit to window
Zoom out
Zoom in