Skip to content
Kagenti CI

fix(ci): use READ_ONLY_GITHUB_TOKEN for z3-sys source download #19

Sign in to view logs

fix(ci): use READ_ONLY_GITHUB_TOKEN for z3-sys source download

fix(ci): use READ_ONLY_GITHUB_TOKEN for z3-sys source download #19

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Rust
2m 45s
Python
14s
Markdown
19s
3m 18s