All workflows

Workflow runs

• HEAD of dependencies

  completed successfully:
  HEAD of dependencies#1674:Scheduled
  main

  Oct 22, 20262m 24s
  More actions for workflow run 1674

• CI

  completed successfully:
  CI#4994:Scheduled
  main

  Oct 22, 20263m 36s
  More actions for workflow run 4994

• HEAD of dependencies

  completed successfully:
  HEAD of dependencies#1673:Scheduled
  main

  Oct 21, 20263m 41s
  More actions for workflow run 1673

• CI

  completed successfully:
  CI#4993:Scheduled
  main

  Oct 21, 20263m 38s
  More actions for workflow run 4993

• HEAD of dependencies

  completed successfully:
  HEAD of dependencies#1672:Scheduled
  main

  Oct 20, 20263m 9s
  More actions for workflow run 1672

• CI

  completed successfully:
  CI#4992:Scheduled
  main

  Oct 20, 20264m 30s
  More actions for workflow run 4992

• chore(deps): pre-commit.ci autoupdate

  completed successfully:
  CI#4991:Pull request#774synchronizebypre-commit-ci[bot]Bot
  pre-commit-ci-update-config

  Oct 19, 20264m 43s
  More actions for workflow run 4991

• chore(deps): pre-commit.ci autoupdate

  completed successfully:
  CD#1140:Pull request#774synchronizebypre-commit-ci[bot]Bot
  pre-commit-ci-update-config

  Oct 19, 202628s
  More actions for workflow run 1140

• HEAD of dependencies

  completed successfully:
  HEAD of dependencies#1671:Scheduled
  main

  Oct 19, 20263m 29s
  More actions for workflow run 1671

• CI LaTeX

  completed successfully:
  CI LaTeX#157:Scheduled
  main

  Oct 19, 20262m 17s
  More actions for workflow run 157

• CI

  completed successfully:
  CI#4990:Scheduled
  main

  Oct 19, 20263m 35s
  More actions for workflow run 4990

• HEAD of dependencies

  completed successfully:
  HEAD of dependencies#1670:Scheduled
  main

  Oct 18, 20262m 57s
  More actions for workflow run 1670

• CI

  completed successfully:
  CI#4989:Scheduled
  main

  Oct 18, 20265m 15s
  More actions for workflow run 4989

• HEAD of dependencies

  completed successfully:
  HEAD of dependencies#1669:Scheduled
  main

  Oct 17, 20262m 17s
  More actions for workflow run 1669

• CI

  completed successfully:
  CI#4988:Scheduled
  main

  Oct 17, 20263m 22s
  More actions for workflow run 4988

• HEAD of dependencies

  completed successfully:
  HEAD of dependencies#1668:Scheduled
  main

  Oct 16, 20263m 12s
  More actions for workflow run 1668

• CI

  completed successfully:
  CI#4987:Scheduled
  main

  Oct 16, 20265m 46s
  More actions for workflow run 4987

• HEAD of dependencies

  completed successfully:
  HEAD of dependencies#1667:Scheduled
  main

  Oct 15, 20264m 10s
  More actions for workflow run 1667

• CI

  completed successfully:
  CI#4986:Scheduled
  main

  Oct 15, 20264m 30s
  More actions for workflow run 4986

• HEAD of dependencies

  completed successfully:
  HEAD of dependencies#1666:Scheduled
  main

  Oct 14, 20263m 43s
  More actions for workflow run 1666

• CI

  completed successfully:
  CI#4985:Scheduled
  main

  Oct 14, 20264m 34s
  More actions for workflow run 4985

• HEAD of dependencies

  completed successfully:
  HEAD of dependencies#1665:Scheduled
  main

  Oct 13, 20265m 17s
  More actions for workflow run 1665

• CI

  completed successfully:
  CI#4984:Scheduled
  main

  Oct 13, 20263m 34s
  More actions for workflow run 4984

• chore(deps): pre-commit.ci autoupdate

  completed successfully:
  CI#4983:Pull request#774synchronizebypre-commit-ci[bot]Bot
  pre-commit-ci-update-config

  Oct 12, 20263m 21s
  More actions for workflow run 4983

• chore(deps): pre-commit.ci autoupdate

  completed successfully:
  CD#1139:Pull request#774synchronizebypre-commit-ci[bot]Bot
  pre-commit-ci-update-config

  Oct 12, 202616s
  More actions for workflow run 1139