Merge pull request #1045 from lean-ja/Seasawher/issue1041 #1050

Sign in to view logs

Triggered via push November 3, 2024 16:33

Seasawher

main

Status Success

Total duration 2m 40s

Artifacts –

ci.yml

on: push