Skip to content

Actions: Z3Prover/z3

Actions

Windows

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
Windows.yml
882 workflow runs
882 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Simplify CI workflow by removing emscripten steps Windows #1290: Commit 04d9504 pushed by NikolajBjorner
1h 2m 16s master
master
1h 2m 16s
Add working directory for wasm build step Windows #1289: Commit 9ffc7e4 pushed by NikolajBjorner
1h 0m 2s master
master
1h 0m 2s
Update docs.yml Windows #1288: Commit a912bfe pushed by NikolajBjorner
1h 4m 9s master
master
1h 4m 9s
Update docs.yml Windows #1287: Commit 470d660 pushed by NikolajBjorner
1h 3m 5s master
master
1h 3m 5s
Fix docs.yml workflow: resolve WASM/native library conflict in docume… Windows #1286: Commit fc72855 pushed by NikolajBjorner
1h 4m 2s master
master
1h 4m 2s
use new arithmetic solver for AUFLIA, fixes #8090 Windows #1285: Commit 9933500 pushed by NikolajBjorner
1h 5m 20s master
master
1h 5m 20s
fix #8092 Windows #1284: Commit 60926e0 pushed by NikolajBjorner
1h 2m 47s master
master
1h 2m 47s
Fix docs.yml workflow: remove conflicting native build step (#8091) Windows #1283: Commit 9a09b10 pushed by NikolajBjorner
1h 4m 30s master
master
1h 4m 30s
merge Windows #1282: Commit 8cc1d12 pushed by NikolajBjorner
1h 4m 58s master
master
1h 4m 58s
BLD: Add CMake option to build Python bindings without rebuilding lib… Windows #1281: Commit 429771e pushed by NikolajBjorner
1h 3m 23s master
master
1h 3m 23s
Update docs.yml Windows #1280: Commit 9f7e304 pushed by NikolajBjorner
1h 2m 26s master
master
1h 2m 26s
Add defaults for job run working directory Windows #1279: Commit 818afaf pushed by NikolajBjorner
1h 2m 12s master
master
1h 2m 12s
Update docs.yml Windows #1278: Commit b82287d pushed by NikolajBjorner
1h 6m 44s master
master
1h 6m 44s
Update docs.yml Windows #1277: Commit 6b6e1e0 pushed by NikolajBjorner
1h 2m 40s master
master
1h 2m 40s
build the ts bindings Windows #1276: Commit 8407bfc pushed by NikolajBjorner
57m 45s master
master
57m 45s
build the ts bindings Windows #1275: Commit d7f6f0d pushed by NikolajBjorner
1h 3m 34s master
master
1h 3m 34s
Bump actions/upload-artifact from 5 to 6 (#8083) Windows #1274: Commit 7cbd442 pushed by NikolajBjorner
1h 5m 6s master
master
1h 5m 6s
Build native Z3 for x64 before generating docs (#8086) Windows #1273: Commit 8cda0fc pushed by NikolajBjorner
1h 3m 50s master
master
1h 3m 50s
Bump actions/download-artifact from 6 to 7 (#8082) Windows #1272: Commit dd15a27 pushed by NikolajBjorner
1h 3m 32s master
master
1h 3m 32s
Bump actions/cache from 4 to 5 (#8081) Windows #1271: Commit 17f231c pushed by NikolajBjorner
58m 9s master
master
58m 9s
Add GitHub Actions workflow to publish JavaScript/TypeScript API docu… Windows #1270: Commit 042b6d9 pushed by NikolajBjorner
1h 4m 54s master
master
1h 4m 54s
Fix DEL character (0x7F) not being escaped in string literals (#8080) Windows #1269: Commit 901a1c3 pushed by NikolajBjorner
1h 4m 8s master
master
1h 4m 8s
Typescript typedef and doc fixes take 2 (#8078) Windows #1268: Commit ebe8b5d pushed by NikolajBjorner
1h 9m 21s master
master
1h 9m 21s
Revert "Typescript typedef and doc fixes (#8073)" (#8077) Windows #1267: Commit 77cb70a pushed by NikolajBjorner
1h 2m 23s master
master
1h 2m 23s
Typescript typedef and doc fixes (#8073) Windows #1266: Commit 6cfbcd1 pushed by NikolajBjorner
1h 3m 53s master
master
1h 3m 53s