Skip to content

Merge pull request #481 from erg-lang/general_pred #870

Merge pull request #481 from erg-lang/general_pred

Merge pull request #481 from erg-lang/general_pred #870

Triggered via push January 30, 2024 16:21
Status Success
Total duration 16s
Artifacts

notify.yml

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