Nikolaj Bjorner
aadb1a2d44
Update msvc-static-build.yml
...
move "permissions" to same location as wasm actions
2022-09-24 09:56:45 -07:00
Nikolaj Bjorner
b3c2169838
Update msvc-static-build.yml
2022-09-24 09:55:15 -07:00
gmh5225
b0d0c36b11
Add option 'MSVC_STATIC' ( #6358 )
...
* Add option 'MSVC_STATIC'
* Update CMakeLists.txt
* Update CMakeLists.txt
* Upload msvc-static-build.yml
2022-09-22 15:55:40 -05:00
Alex
00cf5ed4c7
GitHub Workflows security hardening ( #6353 )
...
* build: harden wasm-release.yml permissions
Signed-off-by: Alex <aleksandrosansan@gmail.com>
* build: harden wasm.yml permissions
Signed-off-by: Alex <aleksandrosansan@gmail.com>
2022-09-22 15:03:59 -05:00
Eric Kilmer
ea8b118eb1
Android CI: Configure with CMAKE_ANDROID_API ( #6284 )
...
CMAKE_ANDROID_API will set CMAKE_SYSTEM_VERSION if it's not defined.
Also remove setting CMake variable values that don't affect the ability
to successfully configure in CI.
2022-08-19 11:02:26 -07:00
dependabot[bot]
681ed957d2
Bump docker/build-push-action from 3.1.0 to 3.1.1
...
Bumps [docker/build-push-action](https://github.com/docker/build-push-action ) from 3.1.0 to 3.1.1.
- [Release notes](https://github.com/docker/build-push-action/releases )
- [Commits](https://github.com/docker/build-push-action/compare/v3.1.0...v3.1.1 )
---
updated-dependencies:
- dependency-name: docker/build-push-action
dependency-type: direct:production
update-type: version-update:semver-patch
...
Signed-off-by: dependabot[bot] <support@github.com>
2022-08-15 12:24:41 -07:00
dependabot[bot]
053c3ec9e8
Bump docker/build-push-action from 3.0.0 to 3.1.0
...
Bumps [docker/build-push-action](https://github.com/docker/build-push-action ) from 3.0.0 to 3.1.0.
- [Release notes](https://github.com/docker/build-push-action/releases )
- [Commits](https://github.com/docker/build-push-action/compare/v3.0.0...v3.1.0 )
---
updated-dependencies:
- dependency-name: docker/build-push-action
dependency-type: direct:production
update-type: version-update:semver-minor
...
Signed-off-by: dependabot[bot] <support@github.com>
2022-08-02 09:27:27 +03:00
Eric Kilmer
44100a3a08
CI: Fix Android NDK home environment variable ( #6198 )
2022-07-28 05:07:18 +02:00
Nuno Lopes
63ea7bd569
Revert "Bump docker/build-push-action from 3.0.0 to 3.1.0 ( #6192 )"
...
This reverts commit 32bb60ea01
2022-07-26 15:21:52 +01:00
dependabot[bot]
32bb60ea01
Bump docker/build-push-action from 3.0.0 to 3.1.0 ( #6192 )
2022-07-26 15:17:58 +01:00
Kevin Gibbons
db09d38134
bump emscripten version used to build wasm artifact ( #6136 )
2022-07-05 12:39:43 -07:00
AndreiL
940d10ae6d
Update coverage CI ( #6099 )
...
Ignore errors withing `gcov` when using `gcovr`, as per
https://github.com/gcovr/gcovr/issues/627 .
Co-authored-by: Andrei Lascu <al2510@bencher14.nms.kcl.ac.uk>
2022-06-20 11:38:38 -07:00
Olaf Tomalka
7fdcbbaee9
Add high level bindings for js ( #6048 )
...
* [Draft] Added unfinished code for high level bindings for js
* * Rewrote structure of js api files
* Added more high level apis
* Minor fixes
* Fixed wasm github action
* Fix JS test
* Removed ContextOptions type
* * Added Ints to JS Api
* Added tests to JS Api
* Added run-time checks for contexts
* Removed default contexts
* Merged Context and createContext so that the api behaves the sames as in other constructors
* Added a test for Solver
* Added Reals
* Added classes for IntVals and RealVals
* Added abillity to specify logic for solver
* Try to make CI tests not fail
* Changed APIs after a round of review
* Fix test
* Added BitVectors
* Made sort into getter
* Added initial JS docs
* Added more coercible types
* Removed done TODOs
2022-06-14 09:55:58 -07:00
dependabot[bot]
a7b6f30b29
Bump docker/metadata-action from 3 to 4 ( #6086 )
2022-06-07 19:41:36 +01:00
dependabot[bot]
c05c75c109
Bump docker/login-action from 1 to 2 ( #6068 )
2022-06-02 09:57:17 +01:00
dependabot[bot]
f54e8e55de
Bump docker/build-push-action from 2.7.0 to 3.0.0 ( #6069 )
2022-06-02 09:57:00 +01:00
dependabot[bot]
96e317620c
Bump actions/setup-node from 2 to 3 ( #6067 )
2022-06-02 09:56:41 +01:00
dependabot[bot]
05c1d6d5d1
Bump actions/upload-artifact from 2 to 3 ( #6065 )
2022-06-02 09:16:02 +01:00
dependabot[bot]
b8367247f5
Bump actions/checkout from 2 to 3 ( #6066 )
2022-06-02 09:14:08 +01:00
Naveen
8384c321fc
chore: Set permissions for GitHub actions ( #6063 )
...
Restrict the GitHub token permissions only to the required ones; this way, even if the attackers will succeed in compromising your workflow, they won’t be able to do much.
- Included permissions for the action. https://github.com/ossf/scorecard/blob/main/docs/checks.md#token-permissions
https://docs.github.com/en/actions/using-workflows/workflow-syntax-for-github-actions#permissions
https://docs.github.com/en/actions/using-jobs/assigning-permissions-to-jobs
[Keeping your GitHub Actions and workflows secure Part 1: Preventing pwn requests](https://securitylab.github.com/research/github-actions-preventing-pwn-requests/ )
Signed-off-by: naveen <172697+naveensrinivasan@users.noreply.github.com>
2022-06-01 20:02:45 -07:00
Naveen
b81b771055
chore: Included githubactions in the dependabot config ( #6064 )
...
This should help with keeping the GitHub actions updated on new releases. This will also help with keeping it secure.
Dependabot helps in keeping the supply chain secure https://docs.github.com/en/code-security/dependabot
GitHub actions up to date https://docs.github.com/en/code-security/dependabot/working-with-dependabot/keeping-your-actions-up-to-date-with-dependabot
https://github.com/ossf/scorecard/blob/main/docs/checks.md#dependency-update-tool
Signed-off-by: naveen <172697+naveensrinivasan@users.noreply.github.com>
2022-06-01 20:02:30 -07:00
Kevin Gibbons
dc18b47967
automatically release wasm build ( #5997 )
2022-04-24 18:06:36 +01:00
Nikolaj Bjorner
6c4780a845
Update cross-build.yml
2022-03-16 07:32:05 -07:00
Han Gao
3d87d86c28
github action: add riscv64/aarch64/powerpc64 cross compile ( #5897 )
...
* github action: add riscv64/aarch64/powerpc64 cross compile
Signed-off-by: Han Gao <rabenda.cn@gmail.com>
* fix: build on non-x86 platform
Signed-off-by: Revy <rabenda.cn@gmail.com>
2022-03-16 07:30:20 -07:00
Kevin Gibbons
2b934b601d
Add WebAssembly/TypeScript bindings ( #5762 )
...
* Add TypeScript bindings
* mark Z3_eval_smtlib2_string as async
2022-01-09 17:16:38 -08:00
Nikolaj Bjorner
010bccf353
Update wasm.yml
...
add some more limited retention
2022-01-09 11:35:50 -08:00
Nikolaj Bjorner
ec3e296050
Update docker-image.yml ( #5739 )
...
* Update docker-image.yml
towards tweaking script to use ghcr
* Update docker-image.yml
* Update docker-image.yml
* Update docker-image.yml
change usr/pwd to names that are more descriptive
* Update docker-image.yml
rename back to use DOCKER prefix
it remains to bind to ghcr.io instead of docker.io
* Update ubuntu-20-04.Dockerfile
try to use ghcr instead of docker.io
* Update docker-image.yml
try with chcr token
* Update docker-image.yml
* Update docker-image.yml
* Update docker-image.yml
* Update ubuntu-20-04.Dockerfile
* Update docker-image.yml
2021-12-25 17:33:35 -08:00
Nikolaj Bjorner
6b0dc6d144
Create docker-image.yml
...
thanks #5735
2021-12-23 14:43:12 -08:00
Nikolaj Bjorner
a11ca1a1b7
Update wasm.yml
2021-10-29 17:51:20 +02:00
Nikolaj Bjorner
933bb4f1f0
Update wasm.yml
2021-10-29 17:03:04 +02:00
Nikolaj Bjorner
dfba177813
Update wasm.yml
2021-10-29 17:02:15 +02:00
Nikolaj Bjorner
f61e6abb35
Update wasm.yml
2021-10-29 16:10:40 +02:00
Nikolaj Bjorner
f83226df9c
Update wasm.yml
2021-10-29 16:07:04 +02:00
Nikolaj Bjorner
fe0e1cce30
Update wasm.yml
2021-10-29 16:03:22 +02:00
Leonardo
e7a54db8b0
Use emscripten to create a wasm build ( #5634 )
2021-10-29 16:01:06 +02:00
Nikolaj Bjorner
780761a29e
Create wasm.yml
...
initial wasm
2021-10-29 15:27:49 +02:00
Jamie Collinson
88c3119d8d
Create android-build.yml ( #5588 )
2021-10-11 09:24:41 -07:00
0152la
3516c5272a
Update coverage github action ( #5483 )
...
* Correctly emits simple and detailed coverage reports using a
combination of `gcovr` and `llvm-cov gcov`
* Uploads the reports as associated artifacts, with 4 days of retention
* Executes on every `master` push, and daily at 11 UTC
Co-authored-by: Andrei Lascu <andrei.lascu10@imperial.ac.uk>
2021-08-16 14:13:28 -07:00
Nikolaj Bjorner
7f6f7eff1e
Update coverage.yml
2021-08-02 13:45:17 -07:00
0152la
fcb55257be
Improve coverage CI script ( #5451 )
...
* Due to the long duration of the CI execution, execute it at a set time
daily (currently 11 UTC / 4 PDT)
* Use `Ninja` to build instead of Makefile, due to better compilation
time
* Execute all the available Z3 tests and examples: `test-z3 -a`,
`z3test` regression suites (`smt2`, `smt2-debug`, and `smt2-extra`),
`z3test` coverage tests, and the 4 provided examples
* Upload `gcovr` report as an artifact associated with the CI run
TODOs:
* Fix `gcovr` emitting an empty report
* Potentially take the artifact and upload it somewhere accessible
Co-authored-by: Andrei Lascu <andrei.lascu10@imperial.ac.uk>
2021-08-02 12:01:41 -07:00
Nikolaj Bjorner
e148eea35d
Update wip.yml
2021-07-31 18:54:37 -07:00
Nikolaj Bjorner
f5a08cc54e
add wip
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2021-07-31 17:57:36 -07:00
Nikolaj Bjorner
ada873631e
Update coverage.yml
2021-07-31 14:56:20 -07:00
Nikolaj Bjorner
84e628cf74
Update coverage.yml
2021-07-31 13:49:37 -07:00
Nikolaj Bjorner
173257b4a0
Update coverage.yml
2021-07-31 13:15:11 -07:00
Nikolaj Bjorner
efa82fa4f0
Update coverage.yml
2021-07-31 13:13:22 -07:00
Nikolaj Bjorner
42b3254c46
Update coverage.yml
2021-07-31 12:36:32 -07:00
Nikolaj Bjorner
f17131fd06
Update coverage.yml
2021-07-31 12:01:39 -07:00
Nikolaj Bjorner
8f36287229
Update coverage.yml
2021-07-31 12:00:15 -07:00
Nikolaj Bjorner
2046907aaa
Update coverage.yml
2021-07-31 11:57:03 -07:00
