Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Added UIUC search. #261

Merged
merged 3 commits into from Jul 14, 2020
Merged

Added UIUC search. #261

merged 3 commits into from Jul 14, 2020

Conversation

@mchenry
Copy link
Contributor

mchenry commented Jul 14, 2020

Description

Motivation and Context

Checklist:

  • I have posted the link for the PR in the usrse slack (#website) to ask for reviewers
  • I have previewed changes locally
  • I have updated the CHANGELOG and (if necessary) the README.md

cc @usrse-maintainers

_data/jobs.yml Outdated Show resolved Hide resolved
_data/jobs.yml Outdated Show resolved Hide resolved
danielskatz added 2 commits Jul 14, 2020
@vsoch
vsoch approved these changes Jul 14, 2020
Copy link
Member

vsoch left a comment

@danielskatz danielskatz merged commit 00a6398 into USRSE:master Jul 14, 2020
3 checks passed
3 checks passed
urlcheck
Details
urlcheck
Details
ci/circleci: build-site Your tests passed on CircleCI!
Details
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Linked issues

Successfully merging this pull request may close these issues.

None yet

3 participants
You can’t perform that action at this time.