Skip to content

Actions: microsoft/z3guide

Actions

Build and Deployment

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build.yml
113 workflow runs
113 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 postcss from 8.5.3 to 8.5.10 in /website (#233) Build and Deployment #525: Commit f758767 pushed by NikolajBjorner
1m 56s main
main
1m 56s
Bump postcss from 8.5.3 to 8.5.10 in /website Build and Deployment #524: Pull request #233 opened by dependabot Bot
2m 0s dependabot/npm_and_yarn/website/postcss-8.5.10
dependabot/npm_and_yarn/website/postcss-8.5.10
2m 0s
Bump postcss from 8.5.3 to 8.5.10 in /website Build and Deployment #523: Commit 40a3f74 pushed by dependabot Bot
1m 54s dependabot/npm_and_yarn/website/postcss-8.5.10
dependabot/npm_and_yarn/website/postcss-8.5.10
1m 54s
Bump follow-redirects from 1.15.6 to 1.16.0 in /website Build and Deployment #522: Pull request #232 opened by dependabot Bot
2m 25s dependabot/npm_and_yarn/website/follow-redirects-1.16.0
dependabot/npm_and_yarn/website/follow-redirects-1.16.0
2m 25s
Bump follow-redirects from 1.15.6 to 1.16.0 in /website Build and Deployment #521: Commit 17afa8b pushed by dependabot Bot
2m 31s dependabot/npm_and_yarn/website/follow-redirects-1.16.0
dependabot/npm_and_yarn/website/follow-redirects-1.16.0
2m 31s
Bump lodash from 4.17.23 to 4.18.1 in /website Build and Deployment #520: Pull request #231 opened by dependabot Bot
1m 52s dependabot/npm_and_yarn/website/lodash-4.18.1
dependabot/npm_and_yarn/website/lodash-4.18.1
1m 52s
Bump lodash from 4.17.23 to 4.18.1 in /website Build and Deployment #519: Commit e14c8ef pushed by dependabot Bot
1m 49s dependabot/npm_and_yarn/website/lodash-4.18.1
dependabot/npm_and_yarn/website/lodash-4.18.1
1m 49s
Bump lodash-es from 4.17.23 to 4.18.1 in /website Build and Deployment #517: Pull request #229 opened by dependabot Bot
2m 3s dependabot/npm_and_yarn/website/lodash-es-4.18.1
dependabot/npm_and_yarn/website/lodash-es-4.18.1
2m 3s
Bump lodash-es from 4.17.23 to 4.18.1 in /website Build and Deployment #516: Commit cfcf1b0 pushed by dependabot Bot
2m 4s dependabot/npm_and_yarn/website/lodash-es-4.18.1
dependabot/npm_and_yarn/website/lodash-es-4.18.1
2m 4s
Bump node-forge from 1.3.2 to 1.4.0 in /website (#228) Build and Deployment #515: Commit 8a44f1f pushed by NikolajBjorner
1m 59s main
main
1m 59s
Bump picomatch from 2.3.1 to 2.3.2 in /website (#226) Build and Deployment #514: Commit 783089a pushed by NikolajBjorner
1m 56s main
main
1m 56s
Bump handlebars from 4.7.8 to 4.7.9 in /website (#227) Build and Deployment #513: Commit 938ce9c pushed by NikolajBjorner
2m 1s main
main
2m 1s
Bump yaml from 1.10.2 to 1.10.3 in /website (#225) Build and Deployment #512: Commit 7fdc0fe pushed by NikolajBjorner
2m 0s main
main
2m 0s
Bump node-forge from 1.3.2 to 1.4.0 in /website Build and Deployment #511: Pull request #228 opened by dependabot Bot
1m 54s dependabot/npm_and_yarn/website/node-forge-1.4.0
dependabot/npm_and_yarn/website/node-forge-1.4.0
1m 54s
Bump node-forge from 1.3.2 to 1.4.0 in /website Build and Deployment #510: Commit f2848da pushed by dependabot Bot
1m 56s dependabot/npm_and_yarn/website/node-forge-1.4.0
dependabot/npm_and_yarn/website/node-forge-1.4.0
1m 56s
Bump handlebars from 4.7.8 to 4.7.9 in /website Build and Deployment #509: Pull request #227 opened by dependabot Bot
1m 46s dependabot/npm_and_yarn/website/handlebars-4.7.9
dependabot/npm_and_yarn/website/handlebars-4.7.9
1m 46s
Bump handlebars from 4.7.8 to 4.7.9 in /website Build and Deployment #508: Commit cfb4f9c pushed by dependabot Bot
1m 56s dependabot/npm_and_yarn/website/handlebars-4.7.9
dependabot/npm_and_yarn/website/handlebars-4.7.9
1m 56s
Bump picomatch from 2.3.1 to 2.3.2 in /website Build and Deployment #507: Pull request #226 opened by dependabot Bot
2m 21s dependabot/npm_and_yarn/website/picomatch-2.3.2
dependabot/npm_and_yarn/website/picomatch-2.3.2
2m 21s
Bump picomatch from 2.3.1 to 2.3.2 in /website Build and Deployment #506: Commit 871b3a9 pushed by dependabot Bot
1m 57s dependabot/npm_and_yarn/website/picomatch-2.3.2
dependabot/npm_and_yarn/website/picomatch-2.3.2
1m 57s
Bump yaml from 1.10.2 to 1.10.3 in /website Build and Deployment #505: Pull request #225 opened by dependabot Bot
1m 45s dependabot/npm_and_yarn/website/yaml-1.10.3
dependabot/npm_and_yarn/website/yaml-1.10.3
1m 45s
Bump yaml from 1.10.2 to 1.10.3 in /website Build and Deployment #504: Commit 4e46531 pushed by dependabot Bot
1m 48s dependabot/npm_and_yarn/website/yaml-1.10.3
dependabot/npm_and_yarn/website/yaml-1.10.3
1m 48s
Bump flatted from 3.3.1 to 3.4.2 in /website (#224) Build and Deployment #503: Commit 6a29de7 pushed by NikolajBjorner
2m 11s main
main
2m 11s
Bump flatted from 3.3.1 to 3.4.2 in /website Build and Deployment #502: Pull request #224 opened by dependabot Bot
2m 0s dependabot/npm_and_yarn/website/flatted-3.4.2
dependabot/npm_and_yarn/website/flatted-3.4.2
2m 0s
Bump flatted from 3.3.1 to 3.4.2 in /website Build and Deployment #501: Commit 66782dd pushed by dependabot Bot
2m 6s dependabot/npm_and_yarn/website/flatted-3.4.2
dependabot/npm_and_yarn/website/flatted-3.4.2
2m 6s
Bump svgo from 3.3.2 to 3.3.3 in /website (#223) Build and Deployment #500: Commit 642794a pushed by NikolajBjorner
2m 2s main
main
2m 2s