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

Rework update_single_header.sh and publish llama.hpp #535

Merged

Conversation

bernhardmgruber
Copy link
Member

@bernhardmgruber bernhardmgruber commented Jun 17, 2022

  • Move file to tools and rename script to create-single-header.sh
  • Make script insensitive to the directory it is called from
  • Update github action
  • Publish amalgamated llama.hpp to new orphaned branch single-header.

@bernhardmgruber bernhardmgruber changed the title Rework update_single_header.sh Rework update_single_header.sh and publish llama.hpp Jun 17, 2022
@codecov
Copy link

codecov bot commented Jun 17, 2022

Codecov Report

Merging #535 (a8bdf17) into develop (9f39893) will not change coverage.
The diff coverage is n/a.

@@           Coverage Diff            @@
##           develop     #535   +/-   ##
========================================
  Coverage    99.29%   99.29%           
========================================
  Files           63       63           
  Lines         5783     5783           
========================================
  Hits          5742     5742           
  Misses          41       41           

* Move file to tools and rename script to create-single-header.sh
* Make script insensitive to the directory it is called from
* Update github action
@bernhardmgruber bernhardmgruber merged commit 0faaa43 into alpaka-group:develop Jun 17, 2022
@bernhardmgruber bernhardmgruber deleted the single_header_ci branch June 17, 2022 12:37
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.

1 participant