Skip to content

Merge pull request #449 from erg-lang/named_tuple #562

Merge pull request #449 from erg-lang/named_tuple

Merge pull request #449 from erg-lang/named_tuple #562

Triggered via push August 17, 2023 17:29
Status Success
Total duration 11s
Artifacts

notify.yml

on: push
notify-change
0s
notify-change
Fit to window
Zoom out
Zoom in