Build NuGet Package · Workflow runs · Z3Prover/z3 · GitHub

Actions

All workflows
Workflows
- Android Build Android Build
- Bazel Build Bazel Build
- Build NuGet Package Build NuGet Package
- CI Failure Doctor CI Failure Doctor
- CodeQL CodeQL
- Copilot coding agent Copilot coding agent
- Dependabot Updates Dependabot Updates
- Documentation Documentation
- GenAI Find Duplicate Issues GenAI Find Duplicate Issues
- GenAI Issue Labeller GenAI Issue Labeller
Management
- Caches

Build NuGet Package

Actions

Loading...
Loading

nuget-build.yml

1 workflow run

1 workflow run

Build NuGet Package Build NuGet Package #1: Manually run by NikolajBjorner

50m 45s master

master

50m 45s