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

Switch to GitHub actions for CI #4190

Merged
merged 43 commits into from
Mar 31, 2020
Merged

Switch to GitHub actions for CI #4190

Changes from 1 commit
Commits
Show all changes
43 commits
Select commit Hold shift + click to select a range
0db3629
Add CI workflow for debug build.
mpreiner Mar 27, 2020
254046c
Add more builds.
mpreiner Mar 28, 2020
a1ad746
fix
mpreiner Mar 28, 2020
84112ac
Fix
mpreiner Mar 28, 2020
79cc603
Disable py2.
mpreiner Mar 28, 2020
627e7e2
Disable py3 and enable py2.
mpreiner Mar 28, 2020
184607a
Fix.
mpreiner Mar 28, 2020
07cc264
Fix
mpreiner Mar 28, 2020
2be35ac
Disable python.
mpreiner Mar 28, 2020
1f7953b
Fix
mpreiner Mar 28, 2020
647d2a4
Enable Python.
mpreiner Mar 28, 2020
cc36a75
Fix
mpreiner Mar 28, 2020
836bf9f
Try
mpreiner Mar 28, 2020
37d9600
Try
mpreiner Mar 28, 2020
9723795
Try
mpreiner Mar 28, 2020
22dafff
..
mpreiner Mar 28, 2020
4060cd6
Minor
mpreiner Mar 28, 2020
a0ce8f7
Enable py3, install checks.
mpreiner Mar 28, 2020
c6357de
Fix
mpreiner Mar 28, 2020
cad2ee4
Fix
mpreiner Mar 28, 2020
5a88b7e
Use Python3 only.
mpreiner Mar 28, 2020
0d4cf7b
Fix
mpreiner Mar 28, 2020
a7d11e0
Add macOS build
mpreiner Mar 31, 2020
dc88d73
Fix
mpreiner Mar 31, 2020
48a585d
Fix
mpreiner Mar 31, 2020
afdc945
Try
mpreiner Mar 31, 2020
9831cac
Fix
mpreiner Mar 31, 2020
317f3cb
Fix
mpreiner Mar 31, 2020
5c7a02b
Fix
mpreiner Mar 31, 2020
e3a1113
Fix
mpreiner Mar 31, 2020
a2f65a2
Disable example for non-symfpu builds.
mpreiner Mar 31, 2020
56226b1
clang build
mpreiner Mar 31, 2020
588d10f
Fix
mpreiner Mar 31, 2020
968e58b
Fix
mpreiner Mar 31, 2020
24ddb3b
Merge production and production-python.
mpreiner Mar 31, 2020
be4d4d7
Use debug-cln cache key.
mpreiner Mar 31, 2020
6fe0a06
Add CI badge.
mpreiner Mar 31, 2020
4a568b3
Merge branch 'master' into actions-ci
mpreiner Mar 31, 2020
7f23a8d
Minor
mpreiner Mar 31, 2020
2e3f0a9
Merge branch 'master' into actions-ci
mpreiner Mar 31, 2020
cc09396
Trigger actions
mpreiner Mar 31, 2020
eb42986
Update checkout version.
mpreiner Mar 31, 2020
8cfc637
Minor
mpreiner Mar 31, 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
Fix
  • Loading branch information
@mpreiner
mpreiner committed Mar 28, 2020
commit cad2ee45f29175f55905cd565d7b4d1178aef80f
2 changes: 1 addition & 1 deletion .github/workflows/ci.yml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -143,7 +143,7 @@ jobs:
run: |
make -j2 install
echo -e "#include <cvc4/api/cvc4cpp.h>\nint main() { CVC4::api::Solver s; return 0; }" > /tmp/test.cpp
$CXX -std=c++11 /tmp/test.cpp -I install/include -L install/lib -lcvc4
g++ -std=c++11 /tmp/test.cpp -I install/include -L install/lib -lcvc4
working-directory: build

- name: Python Install Check
Expand Down