Skip to content

Fix variable name for GitHub output#444

Merged
blink1073 merged 2 commits intojupyter-server:mainfrom
blink1073:fix-summary-output
Oct 14, 2022
Merged

Fix variable name for GitHub output#444
blink1073 merged 2 commits intojupyter-server:mainfrom
blink1073:fix-summary-output

Commits

Commits on Oct 14, 2022