Skip to content

Actions: Z3Prover/z3

Actions

Open Issues

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
wip.yml
747 workflow runs
747 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Open Issues Open Issues #3328: Scheduled
38m 13s master
master
38m 13s
Open Issues Open Issues #3327: Scheduled
34m 20s master
master
34m 20s
Open Issues Open Issues #3326: Scheduled
34m 19s master
master
34m 19s
Open Issues Open Issues #3325: Scheduled
38m 2s master
master
38m 2s
Open Issues Open Issues #3324: Scheduled
34m 7s master
master
34m 7s
Open Issues Open Issues #3323: Scheduled
34m 7s master
master
34m 7s
Open Issues Open Issues #3322: Scheduled
33m 49s master
master
33m 49s
Open Issues Open Issues #3321: Scheduled
38m 46s master
master
38m 46s
update token Open Issues #3320: Commit 40a60f1 pushed by dsyme
34m 32s master
master
34m 32s
update agentics Open Issues #3319: Commit 1aeef3b pushed by dsyme
34m 37s master
master
34m 37s
Bump actions/github-script from 7 to 8 (#7882) Open Issues #3318: Commit 96996bf pushed by NikolajBjorner
33m 47s master
master
33m 47s
Bump anthropics/claude-code-base-action from 0.0.56 to 0.0.63 (#7881) Open Issues #3317: Commit 7d6ff3f pushed by NikolajBjorner
34m 5s master
master
34m 5s
Bump actions/checkout from 3 to 5 (#7880) Open Issues #3316: Commit c4675cb pushed by NikolajBjorner
35m 0s master
master
35m 0s
Remove unused variable in polynomial.cpp Open Issues #3315: Commit 6752be7 pushed by NikolajBjorner
33m 53s master
master
33m 53s
Update polynomial.cpp Open Issues #3314: Commit b0bc414 pushed by NikolajBjorner
2m 6s master
master
2m 6s
Change MSVC build trigger to scheduled cron job Open Issues #3313: Commit 58bab09 pushed by NikolajBjorner
1m 16s master
master
1m 16s
Change MSVC Clang-CL build trigger to scheduled Open Issues #3312: Commit 9a91ba1 pushed by NikolajBjorner
1m 8s master
master
1m 8s
Update Pyodide workflow to use scheduled builds Open Issues #3311: Commit 01da267 pushed by NikolajBjorner
1m 7s master
master
1m 7s
Change GitHub Actions trigger to scheduled Open Issues #3310: Commit 93333ec pushed by NikolajBjorner
1m 1s master
master
1m 1s
Change coverage schedule to run every two days Open Issues #3309: Commit c496787 pushed by NikolajBjorner
1m 7s master
master
1m 7s
Add scheduled trigger for Android build workflow Open Issues #3308: Commit ff6a4f9 pushed by NikolajBjorner
1m 7s master
master
1m 7s
Update polynomial.cpp Open Issues #3307: Commit 7efcda2 pushed by NikolajBjorner
1m 9s master
master
1m 9s
Merge pull request #7878 from Z3Prover/perf/daily-perf-improver-build… Open Issues #3306: Commit 7b41949 pushed by dsyme
36m 34s master
master
36m 34s
update workflows and use token for safe outputs Open Issues #3305: Commit 25a79d7 pushed by dsyme
35m 40s master
master
35m 40s
Add comprehensive test coverage for math/lp and math/polynomial modul… Open Issues #3304: Commit 41491d7 pushed by NikolajBjorner
35m 3s master
master
35m 3s