Skip to content

Actions: Z3Prover/z3

Actions

Build NuGet Package

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
nuget-build.yml
5 workflow runs
5 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

update release to dedup and include manylinux Build NuGet Package #5: Commit f80414f pushed by NikolajBjorner
52m 53s z3-4.15.8
z3-4.15.8
52m 53s
Revert "mpz: use pointer tagging to save space (#8447)" Build NuGet Package #4: Commit c269421 pushed by NikolajBjorner
54m 48s z3-4.15.7
z3-4.15.7
54m 48s
Update RELEASE_NOTES.md for version 4.15.6 Build NuGet Package #3: Commit 1799e6b pushed by NikolajBjorner
53m 36s z3-4.15.6
z3-4.15.6
53m 36s
Update RELEASE_NOTES.md for version 4.15.5 Build NuGet Package #2: Commit 013172d pushed by NikolajBjorner
52m 43s z3-4.15.5
z3-4.15.5
52m 43s
Build NuGet Package Build NuGet Package #1: Manually run by NikolajBjorner
50m 45s master
master
50m 45s