All workflows

Workflow runs

• LeanDojo-v2 / LeanCopilot integration check

  completed successfully:
  LeanDojo-v2 / LeanCopilot integration check#7:Scheduled
  main

  Sep 21, 202617s
  More actions for workflow run 7

• Build check

  completed successfully:
  Build check#13:Scheduled
  main

  Sep 14, 20268m 32s
  More actions for workflow run 13

• Dependency freshness check

  completed successfully:
  Dependency freshness check#6:Scheduled
  main

  Sep 14, 202651s
  More actions for workflow run 6

• LeanDojo-v2 / LeanCopilot integration check

  completed successfully:
  LeanDojo-v2 / LeanCopilot integration check#6:Scheduled
  main

  Sep 14, 202615s
  More actions for workflow run 6

• Build check

  completed successfully:
  Build check#12:Scheduled
  main

  Sep 7, 202610m 53s
  More actions for workflow run 12

• Dependency freshness check

  completed successfully:
  Dependency freshness check#5:Scheduled
  main

  Sep 7, 202640s
  More actions for workflow run 5

• LeanDojo-v2 / LeanCopilot integration check

  completed successfully:
  LeanDojo-v2 / LeanCopilot integration check#5:Scheduled
  main

  Sep 7, 202616s
  More actions for workflow run 5

• Build check

  completed successfully:
  Build check#11:Scheduled
  main

  Aug 31, 20269m 7s
  More actions for workflow run 11

• Dependency freshness check

  completed successfully:
  Dependency freshness check#4:Scheduled
  main

  Aug 31, 202640s
  More actions for workflow run 4

• LeanDojo-v2 / LeanCopilot integration check

  completed successfully:
  LeanDojo-v2 / LeanCopilot integration check#4:Scheduled
  main

  Aug 31, 202618s
  More actions for workflow run 4

• Build check

  completed successfully:
  Build check#10:Scheduled
  main

  Aug 24, 20269m 25s
  More actions for workflow run 10

• Dependency freshness check

  completed successfully:
  Dependency freshness check#3:Scheduled
  main

  Aug 24, 202635s
  More actions for workflow run 3

• LeanDojo-v2 / LeanCopilot integration check

  completed successfully:
  LeanDojo-v2 / LeanCopilot integration check#3:Scheduled
  main

  Aug 24, 202614s
  More actions for workflow run 3

• bump fix

  completed successfully:
  Build check#9:Commit3215b7epushedbywadkisson
  main

  Aug 18, 20268m 21s
  More actions for workflow run 9

• Build check

  completed successfully:
  Build check#8:Scheduled
  main

  Aug 17, 20267m 40s
  More actions for workflow run 8

• Dependency freshness check

  failed:
  Dependency freshness check#2:Scheduled
  main

  Aug 17, 202635s
  More actions for workflow run 2

• LeanDojo-v2 / LeanCopilot integration check

  completed successfully:
  LeanDojo-v2 / LeanCopilot integration check#2:Scheduled
  main

  Aug 17, 202616s
  More actions for workflow run 2

• Build check

  completed successfully:
  Build check#7:Scheduled
  main

  Aug 10, 20269m 38s
  More actions for workflow run 7

• Dependency freshness check

  failed:
  Dependency freshness check#1:Scheduled
  main

  Aug 10, 202635s
  More actions for workflow run 1

• LeanDojo-v2 / LeanCopilot integration check

  completed successfully:
  LeanDojo-v2 / LeanCopilot integration check#1:Scheduled
  main

  Aug 10, 202628s
  More actions for workflow run 1

• ci: add unsigned release build workflow

  completed successfully:
  Release (unsigned)#1:Commit5ea80a6pushedbywadkisson
  v1.4.0

  Aug 5, 20269m 26s
  More actions for workflow run 1

• ci: add unsigned release build workflow

  completed successfully:
  Build check#6:Commit5ea80a6pushedbywadkisson
  main

  Aug 5, 202611m 38s
  More actions for workflow run 6

• ci: fix app search path, gulp outputs it one level above vscode/, not…

  completed successfully:
  Build check#5:Commit7f07942pushedbywadkisson
  main

  Aug 4, 202611m 47s
  More actions for workflow run 5

• fix: restrict tars-panel tsconfig types to prevent ambient webpack ty…

  failed:
  Build check#4:Commitf984538pushedbywadkisson
  main

  Aug 4, 20269m 14s
  More actions for workflow run 4

• chore: pin @types/node to exact 20.19.43 across panel extensions to p…

  failed:
  Build check#3:Commit6db8f68pushedbywadkisson
  main

  Aug 4, 20262m 42s
  More actions for workflow run 3