Skip to content

Actions: Z3Prover/z3

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
218 workflow runs
218 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Refactor dyn_ack.cpp to use structured bindings for app_pair/app_triple CI #396: Pull request #8359 opened by Copilot AI
Action required copilot/refactor-dyn-ack-to-c17
copilot/refactor-dyn-ack-to-c17
Action required
Bump actions/cache from 4.3.0 to 5.0.2 (#8350) CI #394: Commit de44585 pushed by NikolajBjorner
2h 40m 43s master
master
2h 40m 43s
Bump actions/checkout from 4 to 6 (#8351) CI #393: Commit 8596ec6 pushed by NikolajBjorner
39s master
master
39s
Bump githubnext/gh-aw from 0.37.23 to 0.37.24 (#8352) CI #392: Commit 248c805 pushed by NikolajBjorner
12s master
master
12s
Bump githubnext/gh-aw from 0.37.23 to 0.37.24 CI #391: Commit 2ccfccf pushed by dependabot bot
2h 11m 7s dependabot/github_actions/githubnext/gh-aw-0.37.24
dependabot/github_actions/githubnext/gh-aw-0.37.24
2h 11m 7s
Bump githubnext/gh-aw from 0.37.23 to 0.37.24 CI #390: Pull request #8352 opened by dependabot bot
2h 10m 41s dependabot/github_actions/githubnext/gh-aw-0.37.24
dependabot/github_actions/githubnext/gh-aw-0.37.24
2h 10m 41s
Bump actions/checkout from 4 to 6 CI #389: Commit ce495f9 pushed by dependabot bot
1h 57m 42s dependabot/github_actions/actions/checkout-6
dependabot/github_actions/actions/checkout-6
1h 57m 42s
Bump actions/checkout from 4 to 6 CI #388: Pull request #8351 opened by dependabot bot
2h 21m 58s dependabot/github_actions/actions/checkout-6
dependabot/github_actions/actions/checkout-6
2h 21m 58s
Bump actions/cache from 4.3.0 to 5.0.2 CI #387: Pull request #8350 opened by dependabot bot
2h 17m 11s dependabot/github_actions/actions/cache-5.0.2
dependabot/github_actions/actions/cache-5.0.2
2h 17m 11s
Bump actions/cache from 4.3.0 to 5.0.2 CI #386: Commit a5b0854 pushed by dependabot bot
2h 3m 50s dependabot/github_actions/actions/cache-5.0.2
dependabot/github_actions/actions/cache-5.0.2
2h 3m 50s
fix bug with skipping too many discriminants CI #385: Commit 14d5673 pushed by levnach
2h 37m 52s lws
lws
2h 37m 52s
Disable std::optional refactoring in code-conventions-analyzer workfl… CI #384: Commit 4d86525 pushed by NikolajBjorner
2h 24m 57s master
master
2h 24m 57s
Revert "Refactor find_tactic_cmd to use std::optional<tactic_cmd*> (#… CI #383: Commit 76d46ee pushed by NikolajBjorner
1m 0s master
master
1m 0s
Expose timestamp method in sls_context (#8347) CI #382: Commit 0a68837 pushed by NikolajBjorner
2h 36m 55s revert-8339-8334-8331
revert-8339-8334-8331
2h 36m 55s
Expose timestamp method in sls_context (#8347) CI #373: Commit 0a68837 pushed by NikolajBjorner
20m 43s revert-8339-8334-8331
revert-8339-8334-8331
20m 43s
Simplify levelwise: remove chain/lowest_degree heuristics, unify rela… CI #372: Commit b629e2f pushed by levnach
56m 30s lws
lws
56m 30s
Expose timestamp method in sls_context (#8347) CI #371: Commit 0a68837 pushed by NikolajBjorner
1h 52m 27s master
master
1h 52m 27s
Expose timestamp method in sls_context CI #370: Pull request #8347 synchronize by Copilot AI
1h 52m 52s copilot/expose-unsigned-timestamp-method
copilot/expose-unsigned-timestamp-method
1h 52m 52s
Expose timestamp method in sls_context CI #369: Commit 39edb3b pushed by Copilot AI
1h 59m 56s copilot/expose-unsigned-timestamp-method
copilot/expose-unsigned-timestamp-method
1h 59m 56s
Expose timestamp method in sls_context CI #368: Pull request #8347 opened by Copilot AI
27m 49s copilot/expose-unsigned-timestamp-method
copilot/expose-unsigned-timestamp-method
27m 49s
Reset timestamp for variables in sat_ddfw.cpp CI #367: Commit 4a29326 pushed by NikolajBjorner
1h 3m 9s master
master
1h 3m 9s
Update timestamp on variable flip in ddfw CI #366: Commit d18cc56 pushed by NikolajBjorner
1m 7s master
master
1m 7s
Update sat_ddfw.h CI #365: Commit a4e123b pushed by NikolajBjorner
1m 28s master
master
1m 28s
Fix implicit conversion warnings: use UINT_MAX instead of -1 for unsi… CI #364: Commit 8a02077 pushed by NikolajBjorner
31m 53s master
master
31m 53s
restore a deleted function CI #363: Commit b6a854c pushed by levnach
29m 29s lws
lws
29m 29s