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
Nikolaj Bjorner
07283ddea9
Update coverage.yml
2021-07-31 11:53:30 -07:00
Nikolaj Bjorner
a2bd1d8fa2
Update coverage.yml
2021-07-31 11:51:00 -07:00
Nikolaj Bjorner
8b887cb0b8
Update coverage.yml
2021-07-31 11:46:26 -07:00
Nikolaj Bjorner
f6d6d2cc2d
Create coverage.yml
...
Move coverage to self-contained github action
2021-07-31 11:03:14 -07:00
