Assumptions:
- Head node is firewalled but worker nodes are not.
- Nodes can ssh into each other.
On the head node, run the following commands:
ray stop
let games = Array.from(document.getElementsByClassName('gamebox')); | |
function loadTitle(gamebox) { | |
if (!gamebox) return null; | |
return gamebox.querySelector('h2 b') ? gamebox.querySelector('h2 b').textContent.trim() : null; | |
} | |
function isNowPlaying(gamebox) { | |
return gamebox.classList.contains('nowplaying'); | |
} |
C:\Program Files\VcXsrv>vcxsrv.exe -screen 0 @2 -wgl -nodecoration +xinerama -screen 1 @3 -wgl -nodecoration +xinerama -ac | |
then add this to your ~/.config/i3/config file: | |
fake-outputs 1920x1200+0+0,1920x1200+1920+0 |
With GitHub Actions, a workflow can publish artifacts, typically logs or binaries. As of early 2020, the life time of an artifact is hard-coded to 90 days (this may change in the future). After 90 days, an artifact is automatically deleted. But, in the meantime, artifacts for a repository may accumulate and generate mega-bytes or even giga-bytes of data files.
It is unclear if there is a size limit for the total accumulated size of artifacts for a public repository. But GitHub cannot reasonably let multi-giga-bytes of artifacts data accumulate without doing anything. So, if your workflows regularly produce large artifacts (such as "nightly build" procedures for instance), it is wise to cleanup and delete older artifacts without waiting for the 90 days limit.
Using the Web page for the "Actions" of a repository, it is possible to browse old workflow runs and manually delete artifacts. But the procedure is slow and tedious. It is fine to delete one selected artifact. It is not for a regular cleanup. We need
EMOJI CHEAT SHEET
Emoji emoticons listed on this page are supported on Campfire, GitHub, Basecamp, Redbooth, Trac, Flowdock, Sprint.ly, Kandan, Textbox.io, Kippt, Redmine, JabbR, Trello, Hall, plug.dj, Qiita, Zendesk, Ruby China, Grove, Idobata, NodeBB Forums, Slack, Streamup, OrganisedMinds, Hackpad, Cryptbin, Kato, Reportedly, Cheerful Ghost, IRCCloud, Dashcube, MyVideoGameList, Subrosa, Sococo, Quip, And Bang, Bonusly, Discourse, Ello, and Twemoji Awesome. However some of the emoji codes are not super easy to remember, so here is a little cheat sheet. ✈ Got flash enabled? Click the emoji code and it will be copied to your clipboard.
People
😄