Skip to content

Commit

Permalink
[CONTRIBUTING] Use random-agent PR as example for leaderboard.
Browse files Browse the repository at this point in the history
  • Loading branch information
ChrisCummins committed Mar 31, 2021
1 parent 90b6690 commit 71d4234
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion CONTRIBUTING.md
Original file line number Diff line number Diff line change
Expand Up @@ -53,7 +53,7 @@ We do not require that you submit the source code for your approach. Once you
submit your pull request we will validate your results CSV files and may ask
clarifying questions if we feel that those would be useful to improve
reproducibility. Please [take a look
here](https://github.com/facebookresearch/CompilerGym/pull/127) for an example
here](https://github.com/facebookresearch/CompilerGym/pull/117) for an example
of a well-formed pull request submission.


Expand Down

0 comments on commit 71d4234

Please sign in to comment.