Skip to content

[Fix] PAPI docs#16820

Merged
tqchen merged 2 commits intoapache:mainfrom
mshr-h:fix-papi-docs
Mar 29, 2024
Merged

[Fix] PAPI docs#16820
tqchen merged 2 commits intoapache:mainfrom
mshr-h:fix-papi-docs

Conversation

@mshr-h
Copy link
Copy Markdown
Contributor

@mshr-h mshr-h commented Mar 29, 2024

Changes are below

  • Change the PAPI repo URL because it has been moved to GitHub
  • Add a missing closing curly bracket

@tqchen tqchen merged commit 5daa303 into apache:main Mar 29, 2024
@mshr-h mshr-h deleted the fix-papi-docs branch April 1, 2024 02:40
thaisacs pushed a commit to thaisacs/tvm that referenced this pull request Apr 3, 2024
* the papi repo moved to github

* fix missing closing curly bracket
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants