Skip to content
This repository has been archived by the owner on May 6, 2024. It is now read-only.

Add RUSH action. #83

Merged
merged 2 commits into from
Sep 28, 2020
Merged

Add RUSH action. #83

merged 2 commits into from
Sep 28, 2020

Conversation

yobibyte
Copy link
Contributor

No description provided.

@facebook-github-bot facebook-github-bot added the CLA Signed This label is managed by the Facebook bot. Authors need to sign the CLA before a PR can be reviewed. label Sep 28, 2020
@heiner
Copy link
Contributor

heiner commented Sep 28, 2020

Should we add m, M, and F too?

https://github.com/facebookresearch/nle/blob/master/src/cmd.c#L4296

heiner
heiner approved these changes Sep 28, 2020
View reviewed changes
Copy link
Contributor

@heiner heiner left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM.

@yobibyte yobibyte merged commit 3087a7c into master Sep 28, 2020
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Reviewers

@heiner heiner heiner approved these changes

Assignees
No one assigned
Labels
CLA Signed This label is managed by the Facebook bot. Authors need to sign the CLA before a PR can be reviewed.
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
3 participants
@yobibyte @heiner @facebook-github-bot