Skip to content

Actions: microsoft/z3guide

Actions

Build and Deployment

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build.yml
131 workflow runs
131 workflow runs

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Bump nanoid from 3.3.16 to 3.3.18 in /website Build and Deployment #580: Pull request #249 opened by dependabot Bot
1m 58s dependabot/npm_and_yarn/website/nanoid-3.3.18
dependabot/npm_and_yarn/website/nanoid-3.3.18
1m 58s
Bump nanoid from 3.3.16 to 3.3.18 in /website Build and Deployment #579: Commit 0c3421e pushed by dependabot Bot
2m 1s dependabot/npm_and_yarn/website/nanoid-3.3.18
dependabot/npm_and_yarn/website/nanoid-3.3.18
2m 1s
Update 10 - Special Relations.md (#248) Build and Deployment #578: Commit 2ba8c2f pushed by levnach
1m 38s main
main
1m 38s
Update 10 - Special Relations.md Build and Deployment #577: Pull request #248 synchronize by Copilot AI
1m 39s NikolajBjorner-patch-1
NikolajBjorner-patch-1
1m 39s
Fix CI segfault: replace subinterpreters with subprocess in executor Build and Deployment #576: Commit 94cca6d pushed by Copilot AI
1m 40s NikolajBjorner-patch-1
NikolajBjorner-patch-1
1m 40s
Build and Deployment Build and Deployment #575: Manually run by NikolajBjorner
1m 46s main
main
1m 46s
Update 10 - Special Relations.md Build and Deployment #574: Pull request #248 opened by NikolajBjorner
1m 41s NikolajBjorner-patch-1
NikolajBjorner-patch-1
1m 41s
Update 10 - Special Relations.md Build and Deployment #573: Commit f8e46bc pushed by NikolajBjorner
1m 40s NikolajBjorner-patch-1
NikolajBjorner-patch-1
1m 40s
Bump postcss from 8.5.10 to 8.5.23 in /website (#247) Build and Deployment #572: Commit 35a2130 pushed by NikolajBjorner
2m 10s main
main
2m 10s
Bump postcss from 8.5.10 to 8.5.23 in /website Build and Deployment #571: Pull request #247 opened by dependabot Bot
2m 7s dependabot/npm_and_yarn/website/postcss-8.5.23
dependabot/npm_and_yarn/website/postcss-8.5.23
2m 7s
Bump postcss from 8.5.10 to 8.5.23 in /website Build and Deployment #570: Commit a0a11cc pushed by dependabot Bot
1m 41s dependabot/npm_and_yarn/website/postcss-8.5.23
dependabot/npm_and_yarn/website/postcss-8.5.23
1m 41s
Bump svgo from 3.3.3 to 3.3.4 in /website (#245) Build and Deployment #569: Commit a84b259 pushed by NikolajBjorner
2m 7s main
main
2m 7s
Bump shell-quote from 1.8.4 to 1.10.0 in /website (#246) Build and Deployment #568: Commit 94a1650 pushed by NikolajBjorner
2m 16s main
main
2m 16s
Bump shell-quote from 1.8.4 to 1.10.0 in /website Build and Deployment #567: Pull request #246 opened by dependabot Bot
2m 6s dependabot/npm_and_yarn/website/shell-quote-1.10.0
dependabot/npm_and_yarn/website/shell-quote-1.10.0
2m 6s
Bump shell-quote from 1.8.4 to 1.10.0 in /website Build and Deployment #566: Commit ec66658 pushed by dependabot Bot
2m 8s dependabot/npm_and_yarn/website/shell-quote-1.10.0
dependabot/npm_and_yarn/website/shell-quote-1.10.0
2m 8s
Bump svgo from 3.3.3 to 3.3.4 in /website Build and Deployment #565: Pull request #245 opened by dependabot Bot
1m 43s dependabot/npm_and_yarn/website/svgo-3.3.4
dependabot/npm_and_yarn/website/svgo-3.3.4
1m 43s
Bump svgo from 3.3.3 to 3.3.4 in /website Build and Deployment #564: Commit cd91b18 pushed by dependabot Bot
2m 11s dependabot/npm_and_yarn/website/svgo-3.3.4
dependabot/npm_and_yarn/website/svgo-3.3.4
2m 11s
Bump @babel/core from 7.26.10 to 7.29.7 in /website (#242) Build and Deployment #563: Commit 1d1a30b pushed by NikolajBjorner
2m 4s main
main
2m 4s
Bump http-proxy-middleware from 2.0.9 to 2.0.10 in /website (#243) Build and Deployment #562: Commit 2b3115a pushed by NikolajBjorner
2m 9s main
main
2m 9s
Bump websocket-driver from 0.7.4 to 0.7.5 in /website (#244) Build and Deployment #561: Commit c20c0f7 pushed by NikolajBjorner
2m 2s main
main
2m 2s
Bump websocket-driver from 0.7.4 to 0.7.5 in /website Build and Deployment #560: Pull request #244 opened by dependabot Bot
2m 4s dependabot/npm_and_yarn/website/websocket-driver-0.7.5
dependabot/npm_and_yarn/website/websocket-driver-0.7.5
2m 4s
Bump websocket-driver from 0.7.4 to 0.7.5 in /website Build and Deployment #559: Commit c66a3d8 pushed by dependabot Bot
1m 49s dependabot/npm_and_yarn/website/websocket-driver-0.7.5
dependabot/npm_and_yarn/website/websocket-driver-0.7.5
1m 49s
Bump http-proxy-middleware from 2.0.9 to 2.0.10 in /website Build and Deployment #558: Pull request #243 opened by dependabot Bot
2m 6s dependabot/npm_and_yarn/website/http-proxy-middleware-2.0.10
dependabot/npm_and_yarn/website/http-proxy-middleware-2.0.10
2m 6s
Bump http-proxy-middleware from 2.0.9 to 2.0.10 in /website Build and Deployment #557: Commit 14fcd85 pushed by dependabot Bot
2m 5s dependabot/npm_and_yarn/website/http-proxy-middleware-2.0.10
dependabot/npm_and_yarn/website/http-proxy-middleware-2.0.10
2m 5s
Bump @babel/core from 7.26.10 to 7.29.7 in /website Build and Deployment #556: Pull request #242 opened by dependabot Bot
2m 21s dependabot/npm_and_yarn/website/babel/core-7.29.7
dependabot/npm_and_yarn/website/babel/core-7.29.7
2m 21s