Skip to content

Actions: microsoft/z3guide

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
432 workflow runs
432 workflow runs

Filter by Workflow

⌥ + click/return to exclude

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
typo and cosmetic fix to 05 - Quantifiers.md Execute z3py snippets in the documentation #74: Pull request #236 synchronize by NikolajBjorner
50s a-rahimi:patch-2
a-rahimi:patch-2
50s
typo and cosmetic fix to 05 - Quantifiers.md Build and Deployment #535: Pull request #236 synchronize by NikolajBjorner
1m 59s a-rahimi:patch-2
a-rahimi:patch-2
1m 59s
typo and cosmetic fix to 05 - Quantifiers.md Execute z3py snippets in the documentation #73: Pull request #236 opened by a-rahimi
Action required a-rahimi:patch-2
a-rahimi:patch-2
Action required
typo and cosmetic fix to 05 - Quantifiers.md Build and Deployment #534: Pull request #236 opened by a-rahimi
Action required a-rahimi:patch-2
a-rahimi:patch-2
Action required
fix typo in 03 - propositional-logic.md Execute z3py snippets in the documentation #72: Pull request #235 opened by a-rahimi
Action required a-rahimi:patch-1
a-rahimi:patch-1
Action required
fix typo in 03 - propositional-logic.md Build and Deployment #533: Pull request #235 opened by a-rahimi
Action required a-rahimi:patch-1
a-rahimi:patch-1
Action required
CodeQL CodeQL #77: by github-advanced-security AI
2m 27s main
main
2m 27s
npm_and_yarn in /website for lodash - Update #1364544237 Dependabot Updates #198: by dependabot Bot
56s main
main
56s
npm_and_yarn in /website for lodash-es - Update #1364497455 Dependabot Updates #197: by dependabot Bot
55s main
main
55s
npm_and_yarn in /website for minimatch - Update #1364416915 Dependabot Updates #196: by dependabot Bot
1m 17s main
main
1m 17s
npm_and_yarn in /website for ip-address - Update #1364345377 Dependabot Updates #195: by dependabot Bot
1m 6s main
main
1m 6s
npm_and_yarn in /website for tar - Update #1364246924 Dependabot Updates #194: by dependabot Bot
1m 14s main
main
1m 14s
npm_and_yarn in /website for brace-expansion - Update #1364201520 Dependabot Updates #193: by dependabot Bot
1m 28s main
main
1m 28s
npm_and_yarn in /website for serialize-javascript - Update #1364136059 Dependabot Updates #192: by dependabot Bot
1m 13s main
main
1m 13s
pages build and deployment pages-build-deployment #516: by github-pages Bot
45s gh-pages
gh-pages
45s
pages build and deployment pages-build-deployment #515: by github-pages Bot
38s gh-pages
gh-pages
38s
Update assertions and function definitions in documentation (#230) Build and Deployment #532: Commit a54e391 pushed by NikolajBjorner
2m 1s main
main
2m 1s
Update assertions and function definitions in documentation (#230) Execute z3py snippets in the documentation #71: Commit a54e391 pushed by NikolajBjorner
30s main
main
30s
Push on main CodeQL #76: by NikolajBjorner
1m 46s main
main
1m 46s
pages build and deployment pages-build-deployment #514: by github-pages Bot
19s gh-pages
gh-pages
19s
pages build and deployment pages-build-deployment #513: by github-pages Bot
10s gh-pages
gh-pages
10s
npm_and_yarn in /website for path-to-regexp - Update #1363834349 Dependabot Updates #191: by dependabot Bot
1m 32s main
main
1m 32s
Bump lodash-es from 4.17.23 to 4.18.1 in /website (#229) Build and Deployment #531: Commit 99f8e2f pushed by NikolajBjorner
1m 57s main
main
1m 57s
Bump lodash-es from 4.17.23 to 4.18.1 in /website (#229) Execute z3py snippets in the documentation #70: Commit 99f8e2f pushed by NikolajBjorner
23s main
main
23s
Push on main CodeQL #75: by NikolajBjorner
1m 31s main
main
1m 31s