Skip to content
Comment to label

[new feature] allow an arbitrator to designate an other arbitrator in case if he has to go on vacation or else #572

Sign in to view logs

[new feature] allow an arbitrator to designate an other arbitrator in case if he has to go on vacation or else

[new feature] allow an arbitrator to designate an other arbitrator in case if he has to go on vacation or else #572

Run time

Learn about OS pricing on GitHub Actions
Job Run time
issueLabeled
1s
1s