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

Fix implicit conversion warnings: use UINT_MAX instead of -1 for unsi… CI #362: Pull request #8342 synchronize by NikolajBjorner
32m 43s fix-unsigned-initialization-warnings-7458f9332f4fded1
fix-unsigned-initialization-warnings-7458f9332f4fded1
32m 43s
Update bv_rewriter.cpp CI #361: Commit 43abc0c pushed by NikolajBjorner
30m 1s fix-unsigned-initialization-warnings-7458f9332f4fded1
fix-unsigned-initialization-warnings-7458f9332f4fded1
30m 1s
bug fixes CI #360: Commit b2a38d5 pushed by levnach
33m 47s lws
lws
33m 47s
fix underflow bug CI #359: Commit 023377f pushed by NikolajBjorner
33m 0s master
master
33m 0s
[WIP] Refactor find_cmd() to use std::optional CI #356: Pull request #8343 opened by Copilot AI
30m 32s copilot/refactor-find-cmd-optional
copilot/refactor-find-cmd-optional
30m 32s
Fix implicit conversion warnings: use UINT_MAX instead of -1 for unsi… CI #355: Pull request #8342 opened by NikolajBjorner
31m 27s fix-unsigned-initialization-warnings-7458f9332f4fded1
fix-unsigned-initialization-warnings-7458f9332f4fded1
31m 27s
Schedule code-conventions-analyzer to run every 3 hours (#8340) CI #354: Commit ee14a9d pushed by NikolajBjorner
35m 32s master
master
35m 32s
remove outdated version of cmake CI #353: Commit 6edf2f1 pushed by NikolajBjorner
57s master
master
57s
fix build warnings CI #352: Commit e65aa0e pushed by NikolajBjorner
3m 39s master
master
3m 39s
Refactor find_psort_decl() to return std::optional<psort_decl*> (#8339) CI #348: Commit 445f995 pushed by NikolajBjorner
18m 32s master
master
18m 32s
fix the build CI #344: Commit 0bb6d9d pushed by levnach
35m 41s lws
lws
35m 41s
Enforce bound polynomial LC protection in compute_omit_lc functions CI #343: Commit b551f2f pushed by levnach
7m 53s lws
lws
7m 53s
Refactor find_probe() to use std::optional (#8334) CI #337: Commit 49817bc pushed by NikolajBjorner
30m 30s master
master
30m 30s
revive nlsat check_lemma() CI #333: Commit 2ac78b6 pushed by levnach
31m 50s master
master
31m 50s
Refactor find_probe() to use std::optional CI #332: Pull request #8334 synchronize by Copilot AI
32m 7s copilot/refactor-find-probe-usage
copilot/refactor-find-probe-usage
32m 7s
Refactor find_probe() to use std::optional CI #331: Commit 6d1ec99 pushed by Copilot AI
33m 15s copilot/refactor-find-probe-usage
copilot/refactor-find-probe-usage
33m 15s
Refactor find_tactic_cmd to use std::optional<tactic_cmd*> (#8331) CI #329: Commit 7b182c9 pushed by NikolajBjorner
32m 17s master
master
32m 17s
Increase code-conventions-analyzer issue creation limit to 5 per run … CI #328: Commit 944777a pushed by NikolajBjorner
7m 50s master
master
7m 50s
Refactor find_tactic_cmd to use std::optional<tactic_cmd*> CI #324: Pull request #8331 synchronize by Copilot AI
32m 54s copilot/refactor-find-tactic-cmd-optional
copilot/refactor-find-tactic-cmd-optional
32m 54s
Refactor find_tactic_cmd to use std::optional<tactic_cmd*> CI #323: Commit 4bcde6e pushed by Copilot AI
33m 56s copilot/refactor-find-tactic-cmd-optional
copilot/refactor-find-tactic-cmd-optional
33m 56s
Add automated code quality analysis for lws branch CI #321: Pull request #8327 synchronize by Copilot AI
3m 53s copilot/improve-code-quality
copilot/improve-code-quality
3m 53s
Fix import syntax in lws code quality analyzer workflow CI #320: Commit 2f24b03 pushed by Copilot AI
29m 51s copilot/improve-code-quality
copilot/improve-code-quality
29m 51s
Add automated code quality analysis for lws branch CI #317: Pull request #8327 opened by Copilot AI
29m 17s copilot/improve-code-quality
copilot/improve-code-quality
29m 17s
Add weekly monitoring workflow for levelwise references CI #316: Pull request #8326 synchronize by Copilot AI
30m 36s copilot/summarize-levelwise-findings
copilot/summarize-levelwise-findings
30m 36s
Update cache example to use date placeholder format CI #315: Commit 2fb8559 pushed by Copilot AI
32m 0s copilot/summarize-levelwise-findings
copilot/summarize-levelwise-findings
32m 0s