Create ROBOT diffs on Pull requests

Identify all proxy merges (mappings) and make issues on external ontology trackers #1692

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
branch_status	0s
classify_main	0s
classify_branch	0s
edit_file	0s
diff_classification	0s
post_comment	0s
	0s