PR number update

Replace `list_to_seq` by `List.to_seq` #248

Sign in to view logs

Triggered via pull request May 29, 2025 13:21

Leonidas-from-XIV

opened #196

Status Success

Total duration 8s

Artifacts –

pr-number.yml

on: pull_request_target

PR-Number-Update