8000 chore: fix `mod_name` · erg-lang/erg@575df74 · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content
Notify

chore: fix mod_name #1057

Sign in to view logs

chore: fix mod_name

chore: fix mod_name #1057

Triggered via push June 19, 2024 07:29
@mtshibamtshiba
pushed 575df74
main
Status Success
Total duration 16s
Artifacts –

notify.yml

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