Skip to content
This repository was archived by the owner on Apr 7, 2026. It is now read-only.
Commit mailbot

Try to handle signed integer casts correctly #80

Sign in to view logs

Try to handle signed integer casts correctly

Try to handle signed integer casts correctly #80

Workflow file for this run

.github/workflows/mailbot.yml at 403a513
name: Commit mailbot
on: push
jobs:
mailbot:
uses: sanjit-bhat/github-mailbot/.github/workflows/mailbot.yml@main
with:
host: smtp.gmail.com
port: 587
from: mit.pdos.mailbot@gmail.com
to: chajed@wisc.edu,jt4767@nyu.edu,nickolai@csail.mit.edu,kaashoek@mit.edu,sanjit.bhat@gmail.com,upamanyu@mit.edu
secrets:
password: ${{ secrets.MAILBOT_PASSWORD }}