Nikolaj Bjorner
2013cd13b2
Update coverage.yml
...
run code coverage on pull requests
2024-07-21 21:08:53 -07:00
Bruce Mitchener
19f5e7ffea
ci: Really fix set-output. ( #7138 )
...
I accidentally left the old line in PR #7136 .
2024-02-22 10:36:13 -08:00
Nikolaj Bjorner
019c0648fa
Update coverage.yml
2024-02-22 09:37:08 -08:00
Bruce Mitchener
c0621cb760
ci: Stop using deprecated ::set-output. ( #7136 )
...
This has been deprecated and the replacement functionality is
described here:
https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
2024-02-22 09:35:47 -08:00
dependabot[bot]
db5a1a7604
Bump actions/upload-artifact from 3 to 4 ( #7065 )
...
Bumps [actions/upload-artifact](https://github.com/actions/upload-artifact ) from 3 to 4.
- [Release notes](https://github.com/actions/upload-artifact/releases )
- [Commits](https://github.com/actions/upload-artifact/compare/v3...v4 )
---
updated-dependencies:
- dependency-name: actions/upload-artifact
dependency-type: direct:production
update-type: version-update:semver-major
...
Signed-off-by: dependabot[bot] <support@github.com>
Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>
2023-12-19 08:59:11 -08:00
dependabot[bot]
3aea4ebf42
Bump actions/checkout from 3 to 4 ( #6888 )
...
Bumps [actions/checkout](https://github.com/actions/checkout ) from 3 to 4.
- [Release notes](https://github.com/actions/checkout/releases )
- [Changelog](https://github.com/actions/checkout/blob/main/CHANGELOG.md )
- [Commits](https://github.com/actions/checkout/compare/v3...v4 )
---
updated-dependencies:
- dependency-name: actions/checkout
dependency-type: direct:production
update-type: version-update:semver-major
...
Signed-off-by: dependabot[bot] <support@github.com>
Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>
2023-09-05 16:58:47 -07:00
Nikolaj Bjorner
6b60a3dbed
fix syntax
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2022-12-11 14:06:08 -08:00
Nikolaj Bjorner
2520dcb04b
merge
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2022-12-11 14:03:22 -08: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
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
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
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
