Build various Verific configurations · Workflow runs · YosysHQ/yosys · GitHub

Actions

All workflows
Workflows
- Build and run tests Build and run tests
- Build and run tests with Verific (Linux) Build and run tests with Verific (Linux)
- Compiler testing Compiler testing
- Create source archive with vendored dependencies Create source archive with vendored dependencies
- Test extra build flows Test extra build flows
- Build docs artifact with Verific Build docs artifact with Verific
- Build various Verific configurations Build various Verific configurations
- Build Wheels for PyPI Build Wheels for PyPI
- Check clang sanitizers Check clang sanitizers
- CodeQL CodeQL
Management
- Caches
- Deployments

Build various Verific configurations

Actions

Loading...
Loading

test-verific-cfg.yml

1 workflow run

1 workflow run

Build various Verific configurations Build various Verific configurations #1: Manually run by mmicko

2m 32s main

main

2m 32s

⚡