3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-22 08:35:31 +00:00
Commit graph

7 commits

Author SHA1 Message Date
Jakob Rath
40e8dc7afa Merge updated github workflows from master branch 2023-09-23 20:20:07 +02: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
Eric Kilmer
44100a3a08
CI: Fix Android NDK home environment variable (#6198) 2022-07-28 05:07:18 +02: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
Jamie Collinson
88c3119d8d
Create android-build.yml (#5588) 2021-10-11 09:24:41 -07:00