Skip to content
CI

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

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 … #18

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Build (ubuntu-latest)
6m 17s
Build (macos-latest)
6m 41s
Test external
0s
12m 58s