Miodrag Milanovic
b8459c9dec
Use forked skip-duplicate-actions
2026-06-26 08:08:22 +02:00
Miodrag Milanovic
3f4fa079f8
Upgrade base github actions
2026-06-26 08:06:44 +02:00
Miodrag Milanovic
ce280354cf
Update CI scripts for CMake
...
Co-authored-by: Catherine <whitequark@whitequark.org>
2026-06-03 08:58:11 +00:00
Miodrag Milanovic
8022b5445b
Convert to using LLVM code coverage
2026-05-15 11:59:22 +02:00
Miodrag Milanovic
6ac8758e7e
Generate coverage for tests
2026-05-14 08:11:43 +02:00
Miodrag Milanovic
514c55f53f
Fix yml for verific tests
2026-04-16 11:00:44 +02:00
Miodrag Milanovic
bccfdef05d
Check results properly
2026-03-18 17:48:28 +01:00
Miodrag Milanovic
cf4d4ff23d
CI: add support for merge queue
2026-03-04 11:35:16 +01:00
Emil J. Tywoniak
dfbef2fe24
.github: run unit tests in build jobs, not test jobs
2026-02-11 00:55:36 +01:00
Emil J. Tywoniak
ff9cd0eed7
Makefile: test target requires unit-test, add vanilla-test for old test target
2026-02-09 23:21:24 +01:00
Emil J. Tywoniak
214d09a8c6
.github: everything that triggers on main or PRs should trigger on merge queue commit
2025-11-27 14:57:02 +01:00
Miodrag Milanovic
5e0bc3fd9f
Build pyosys on CI
2025-11-13 16:17:53 +01:00
Miodrag Milanović
fcc3d7132d
Fix building and running unit tests ( #5374 )
...
* Fix building and running unit tests
* Enable unit tests
* Add gtest always
* test-sanitizers.yml: Use makefile.conf
* proper test setup
* make it run on macOS
* Run libyosys build only for unit tests after testing is done
* Disable LTO on public CI
---------
Co-authored-by: Krystine Sherwin <93062060+KrystalDelusion@users.noreply.github.com>
2025-09-23 17:10:18 +02:00
Krystine Sherwin
19667dd6f1
CI: Don't use self-hosted runner on forks
2025-09-19 11:43:22 +12:00
Krystine Sherwin
f102b25914
Reapply "Merge pull request #5301 from KrystalDelusion/krys/re_5280"
...
This reverts commit 88eb83a0c3
2025-09-12 10:41:01 +02:00
Miodrag Milanovic
88eb83a0c3
Revert "Merge pull request #5301 from KrystalDelusion/krys/re_5280"
...
This reverts commit c9a602e88251eaaffe09
2025-08-28 11:58:02 +02:00
Krystine Sherwin
eb773ce071
Reapply "Workflow adjustments"
...
This reverts commit b640a16b07
2025-08-19 11:29:53 +12:00
Jannis Harder
b640a16b07
Revert "Workflow adjustments"
2025-08-18 20:39:00 +02:00
Krystine Sherwin
73403ad830
ci: Adjust workflow triggers for tests
...
In light of problems with concurrent skipping, disable it.
Instead, limit the `push` trigger to just main, and enable `workflow_dispatch` for manual triggering.
Don't cancel builds from main if a new commit is pushed.
2025-08-12 12:05:23 +12:00
Krystine Sherwin
e609a59325
CI: Fixes from zizmor
...
> A static analysis tool for Github Actions
https://github.com/woodruffw/zizmor
Mostly means adding `persist-credentials: false` to checkouts and replacing `{{ env.VARNAME }}` with shell substitution.
2024-12-12 15:59:16 +13:00
Miodrag Milanović
b20df72e1e
Merge pull request #4536 from YosysHQ/functional
...
Functional Backend
2024-09-06 10:05:04 +02:00
Miodrag Milanovic
fc10a6eee2
Run functional tests on private runner only
2024-09-06 08:47:43 +02:00
Krystine Sherwin
25623b1010
ci: test-verific no longer needs special casing
2024-09-03 11:45:00 +12:00
Krystine Sherwin
e92de01ab3
ci: Split out prepare-docs
2024-09-03 11:40:47 +12:00
Krystine Sherwin
6c833d83b8
ci: Use docs/prep target
2024-09-03 11:31:06 +12:00
Krystine Sherwin
a97d99cbac
ci: Verific skipping conditional on github.ref
...
Docs jobs should not skip on concurrent jobs (in case a non-docs job is already
running, such as when a commit has been tagged for docs-preview). However, a
successful `test-verific` can allow for a future docs job to skip testing and go
straight to the preview.
2024-09-03 11:29:47 +12:00
Krystine Sherwin
a20756676c
ci: Update RTDs trigger conditional
...
Trigger on main, on a branch called `docs-preview*`, or on any tag.
2024-08-27 10:06:26 +12:00
Krystine Sherwin
83692075df
ci: Don't cancel previous builds
...
Which is what the comment said, but the code didn't match.
2024-08-27 10:06:26 +12:00
Krystine Sherwin
7d779c64a3
docs: Only trigger RTDs on main
2024-08-20 04:26:58 +12:00
Krystine Sherwin
8773cf7721
test-verific: Use fast runner
2024-08-19 21:24:48 +12:00
Krystine Sherwin
7bd3c7b968
Fix test-verific.yml
2024-08-16 10:43:51 +12:00
Krystine Sherwin
3b63ab07ae
docs: Build RTD artifacts directly
...
Use rtds-action instead of yosys-cmd-ref repo.
Add rtds_action to docs configuration.
Add `.readthedocs.yaml`.
Update `DOCS_USAGE_` make target to be able to use pre-generated executables without forcing a remake.
2024-08-16 10:43:51 +12:00
Emil J. Tywoniak
eeecb54532
Makefile: no LTO and lld by default
2024-08-05 19:28:09 +02:00
Miodrag Milanovic
ead4718e56
Enable extensions for CI
2024-07-09 09:22:37 +02:00
Krystine Sherwin
878ac02179
ci: Add skip check to test-verific
2024-05-09 09:39:27 +12:00
Roland Coeurjoly
09b9aa83c9
Add YosysHQ/abc as a submodule located in abc
2024-05-08 00:32:18 +02:00
Miodrag Milanovic
c38bbd7824
Add new verific testing environment CI
2024-04-16 07:50:50 +02:00
