Skip to content

[Doc] change logo#656

Merged
tdavidcl merged 1 commit intomainfrom
doc/change-logo
Oct 29, 2024
Merged

[Doc] change logo#656
tdavidcl merged 1 commit intomainfrom
doc/change-logo

Conversation

@tdavidcl
Copy link
Copy Markdown
Member

No description provided.

@tdavidcl tdavidcl added documentation Improvements or additions to documentation in-review labels Oct 27, 2024
@github-actions
Copy link
Copy Markdown
Contributor

Pre-commit check: ✅

trim trailing whitespace.................................................Passed
fix end of files.........................................................Passed
check for merge conflicts................................................Passed
check that executables have shebangs.....................................Passed
check that scripts with shebangs are executable..........................Passed
check for added large files..............................................Passed
check for case conflicts.................................................Passed
check yaml...............................................................Passed
detect private key.......................................................Passed
Validate GitHub Workflows................................................Passed
clang-format.............................................................Passed
Check doxygen headers....................................................Passed
Check license headers....................................................Passed
Check #pragma once.......................................................Passed
Check SYCL #include......................................................Passed

Test pipeline can run.

@github-actions
Copy link
Copy Markdown
Contributor

Doxygen diff with main

Removed warnings : 0
New warnings : 0
Warnings count : 5600 → 5600 (0.0%)

Detailed changes :

@tdavidcl tdavidcl merged commit 9451c62 into main Oct 29, 2024
@tdavidcl tdavidcl deleted the doc/change-logo branch October 29, 2024 20:01
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

documentation Improvements or additions to documentation in-review

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant