Wait a designated number of milliseconds
MIT License
Encrypts and stores a secret
A simplistic merge bot
Add entries to the hosts file
Generates a changelog between refs
Experimenting
Provide a description here
fetches all public slack channels and renders their messages to markdown file
Initial stab at a JavaScript-based Coq GitHub action
Grade a submission in Pupilfirst LMS