Github workflows stopped working due to accidental "crazy" commit

55 views
Skip to first unread message

Kwankyu Lee

unread,
Apr 9, 2024, 8:03:50 PM4/9/24
to sage-devel
Because of

currently github workflows stopped working.

Please revoke the commit ASAP!

Sorry for inconveniences!

Matthias Koeppe

unread,
Apr 9, 2024, 8:59:01 PM4/9/24
to sage-devel
I've force-pushed the original tip of the branch.

Kwankyu Lee

unread,
Apr 9, 2024, 9:02:59 PM4/9/24
to sage-devel
Thanks!
Reply all
Reply to author
Forward
0 new messages