Code Conventions Analyzer · Workflow runs · Z3Prover/z3 · GitHub

Actions

All workflows
Workflows
- Agentic Maintenance Agentic Maintenance
- Android Build Android Build
- API Coherence Checker API Coherence Checker
- Bazel Build Bazel Build
- Build NuGet Package Build NuGet Package
- Build Warning Fixer Build Warning Fixer
- CI CI
- Code Conventions Analyzer Code Conventions Analyzer
- Copilot code review Copilot code review
- Copilot coding agent Copilot coding agent
Management
- Caches

Code Conventions Analyzer

Actions

Loading...
Loading

code-conventions-analyzer.lock.yml

44 workflow runs

44 workflow runs

Code Conventions Analyzer Code Conventions Analyzer #19: Manually run by NikolajBjorner

13s master

master

13s

Code Conventions Analyzer Code Conventions Analyzer #18: Manually run by NikolajBjorner

8m 42s master

master

8m 42s

Code Conventions Analyzer Code Conventions Analyzer #17: Scheduled

17s master

master

17s

Code Conventions Analyzer Code Conventions Analyzer #16: Manually run by NikolajBjorner

10m 1s master

master

10m 1s

Code Conventions Analyzer Code Conventions Analyzer #15: Scheduled

10m 0s master

master

10m 0s

Code Conventions Analyzer Code Conventions Analyzer #14: Scheduled

12m 21s master

master

12m 21s

Code Conventions Analyzer Code Conventions Analyzer #13: Manually run by NikolajBjorner

9m 51s master

master

9m 51s

Code Conventions Analyzer Code Conventions Analyzer #12: Scheduled

1m 17s master

master

1m 17s

Code Conventions Analyzer Code Conventions Analyzer #11: Manually run by NikolajBjorner

8m 28s master

master

8m 28s

Code Conventions Analyzer Code Conventions Analyzer #10: Scheduled

7m 12s master

master

7m 12s

Code Conventions Analyzer Code Conventions Analyzer #9: Scheduled

6m 56s master

master

6m 56s

Code Conventions Analyzer Code Conventions Analyzer #8: Manually run by NikolajBjorner

8m 25s master

master

8m 25s

Code Conventions Analyzer Code Conventions Analyzer #7: Manually run by NikolajBjorner

7m 24s master

master

7m 24s

Code Conventions Analyzer Code Conventions Analyzer #6: Manually run by NikolajBjorner

7m 39s master

master

7m 39s

Code Conventions Analyzer Code Conventions Analyzer #5: Manually run by NikolajBjorner

7m 7s master

master

7m 7s

Code Conventions Analyzer Code Conventions Analyzer #4: Manually run by NikolajBjorner

5m 45s master

master

5m 45s

Code Conventions Analyzer Code Conventions Analyzer #3: Scheduled

5m 22s master

master

5m 22s

Code Conventions Analyzer Code Conventions Analyzer #2: Manually run by NikolajBjorner

5m 19s master

master

5m 19s

Code Conventions Analyzer Code Conventions Analyzer #1: Manually run by NikolajBjorner

5m 46s master

master

5m 46s