ci add comment for cleanup as github has no delete-all button

This commit is contained in:
Gregor Santner 2020-12-23 14:45:38 +01:00
parent 369abf14a5
commit f1464b5f8f
No known key found for this signature in database
GPG Key ID: 161767F3E5A5E6CF
1 changed files with 13 additions and 0 deletions

View File

@ -1,3 +1,16 @@
##############################################################################################################################
# # Cleanup:
#const sleep = ms => () => new Promise((resolve, reject) => window.setTimeout(resolve, ms));
#Promise.resolve()
#.then(() => { document.getElementsByClassName("details-overlay details-reset position-relative d-inline-block ")[3].children[0].click(); })
#.then(sleep(500))
#.then(() => { document.getElementsByClassName("dropdown-item btn-link menu-item-danger")[0].click(); })
#.then(sleep(1000))
#.then(() => { document.getElementsByClassName("btn btn-block btn-danger")[0].click();});
#
# while [ 1 ] ; do sleep 4; xdotool key Up; sleep 0.1; xdotool key Return; done
##############################################################################################################################
name: "CI"
on: [push, pull_request]