Miodrag Milanović 3a82894842 Merge pull request #6100 from YosysHQ/mmicko/test_verific ...

tests: Explicitly run tests without and with Verific where applicable

2026-09-10 10:07:07 +00:00

..

wheels

wheels: force static libffi in build

2026-07-27 15:40:23 +03:00

codeql.yml

codeql: do not generate reports for 3rd party code

2026-07-15 08:54:10 +02:00

extra-builds.yml

CI: back to using official action

2026-07-20 08:23:37 +02:00

nix.yml

Moving nix to weekly as non-critical

2026-06-26 19:35:44 +02:00

prepare-docs.yml

CI: back to using official action

2026-07-20 08:23:37 +02:00

source-vendor.yml

Upgrade base github actions

2026-06-26 08:06:44 +02:00

test-build.yml

CI: back to using official action

2026-07-20 08:23:37 +02:00

test-compile.yml

CI: back to using official action

2026-07-20 08:23:37 +02:00

test-sanitizers.yml

CI: back to using official action

2026-07-20 08:23:37 +02:00

test-verific-cfg.yml

Upgrade base github actions

2026-06-26 08:06:44 +02:00

test-verific.yml

tests: Explicitly run tests without and with Verific where applicable

2026-08-10 15:26:48 +02:00

wheels.yml

cmake: fix wheels build

2026-09-07 12:38:32 +02:00