Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

[jsk_fetch_startup] Send mail when catkin build failed #158

Merged
merged 2 commits into from
Dec 14, 2021

Conversation

tkmtnt7000
Copy link

This PR updates update_workspace.sh to attach log file in email and to send mail when catkin build fails.
Also, email_topic.py starts when robot starts.

@tkmtnt7000 tkmtnt7000 force-pushed the PR/update-workspace-script branch from d44a4b7 to f46f638 Compare December 14, 2021 06:24
@708yamaguchi 708yamaguchi merged commit fc21452 into knorth55:fetch15 Dec 14, 2021
@mqcmd196
Copy link

catkin build が失敗したときに

catkin b -v

の結果を含めるのは少し冗長でしょうか?

@708yamaguchi
Copy link
Collaborator

僕が普段

catkin build -v

を使わないので気づきませんでしたが、入れても問題はなさそうなので、入れようかなと思います。

ありがとうございます。

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants