Skip to content

Merge branch 'erg-lang:main' into main #254

Merge branch 'erg-lang:main' into main

Merge branch 'erg-lang:main' into main #254

Triggered via push September 21, 2024 14:40
Status Success
Total duration 14s
Artifacts

notify.yml

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