Skip to content

Fix #651. Add title manager to ensure unique displayed titles. #1113

Fix #651. Add title manager to ensure unique displayed titles.

Fix #651. Add title manager to ensure unique displayed titles. #1113

Triggered via pull request October 23, 2024 02:29
Status Success
Total duration 6m 21s
Artifacts 1

python-package.yml

on: pull_request
Matrix: build
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size
distribution
1.42 MB