Skip to content
CI

Merge branch 'main' of https://github.com/lean-dojo/LeanCopilot into … #74

Sign in to view logs

Merge branch 'main' of https://github.com/lean-dojo/LeanCopilot into …

Merge branch 'main' of https://github.com/lean-dojo/LeanCopilot into … #74

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Build (ubuntu-latest)
6m 58s
Build (macos-latest)
9m 39s
Test external (ubuntu-latest)
2s
Test external (macos-latest)
3s
16m 42s