Skip to content

Merge dev into main #160

Merge dev into main

Merge dev into main #160

Triggered via pull request October 9, 2023 15:50
@WenjieDuWenjieDu
opened #202
dev
Status Success
Total duration 37s
Artifacts
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

greetings.yml

on: pull_request
Fit to window
Zoom out
Zoom in