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.

Sign up for GitHub

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

GitHub actions #281

Merged
merged 15 commits into from
Feb 13, 2020
Merged

GitHub actions #281

Changes from 1 commit
Commits
Show all changes
15 commits
Select commit Hold shift + click to select a range
caa0afe
set up initial github actions
yannikschaelte Feb 10, 2020
8b23767
fix indent
yannikschaelte Feb 10, 2020
4b5f4fa
separate python and env set up
yannikschaelte Feb 10, 2020
c143449
fix typo
yannikschaelte Feb 10, 2020
3a6bfae
check out repo
yannikschaelte Feb 10, 2020
8be917f
add caching
yannikschaelte Feb 10, 2020
943a821
fix typo
yannikschaelte Feb 10, 2020
dd695f1
add 3.7
yannikschaelte Feb 10, 2020
72c21a3
fix non-existent file
yannikschaelte Feb 10, 2020
193c5b6
add coverage report
yannikschaelte Feb 10, 2020
b801cb1
add deploy script
yannikschaelte Feb 10, 2020
3129202
remove travis; finalize
yannikschaelte Feb 10, 2020
2ce18c0
Merge branch 'develop' into github_actions
dweindl Feb 13, 2020
2205c30
Update links and badges after repo move
dweindl Feb 13, 2020
29afbc2
codecov token?
dweindl Feb 13, 2020
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Prev Previous commit
Next Next commit
Merge branch 'develop' into github_actions
  • Loading branch information
@dweindl
dweindl authored Feb 13, 2020
commit 2ce18c0bb5de7f0fa8b606b2ba42e96b71aeed1f

This merge commit was added into this branch cleanly.

There are no new changes to show, but you can still view the diff.