Create ROBOT diffs on Pull requests

Add GitHub action that assigns reviewers when equivalent class axioms are updated #1772

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
branch_status	4s
classify_main	57s
edit_file	1m 5s
classify_branch	59s
diff_classification	1m 2s
post_comment	6s
	4m 13s