All workflows

Workflow runs

• Record TODOs for Borel's lemma and gauge jet realization

  completed successfully:
  PR Comment#1:Commitf460f54pushedbynateabr
  codex/borel-realization-todos

  Oct 19, 202654s
  More actions for workflow run 1

• Update Lean Project

  completed successfully:
  Update Lean Project#17:Scheduled
  master

  Oct 18, 20262m 31s
  More actions for workflow run 17

• feat(SpaceTime): the action of spacetime series on derivative symbols

  skipped:
  Autolabel PRs#7:Commite48ebf4pushedbynateabr
  codex/spacetime-series-action

  Oct 12, 20261s
  More actions for workflow run 7

• Update Lean Project

  completed successfully:
  Update Lean Project#16:Scheduled
  master

  Oct 11, 20262m 24s
  More actions for workflow run 16

• feat(SpaceTime): complex conjugation in the spacetime algebra

  skipped:
  Autolabel PRs#6:Commite60acbcpushedbynateabr
  codex/spacetime-star

  Oct 6, 20261s
  More actions for workflow run 6

• feat(Mathematics): SUAlgebra

  skipped:
  Autolabel PRs#5:Commit0634519pushedbynateabr
  codex/su-lie-algebra

  Oct 4, 20261s
  More actions for workflow run 5

• Update Lean Project

  completed successfully:
  Update Lean Project#15:Scheduled
  master

  Oct 4, 20262m 47s
  More actions for workflow run 15

• feat(SpaceTime): the spacetime algebra and its Taylor series

  skipped:
  Autolabel PRs#4:Commitb2ce877pushedbynateabr
  spacetime-taylor-data

  Sep 30, 20261s
  More actions for workflow run 4

• Update Lean Project

  completed successfully:
  Update Lean Project#14:Scheduled
  master

  Sep 27, 20262m 19s
  More actions for workflow run 14

• Update Lean Project

  completed successfully:
  Update Lean Project#13:Scheduled
  master

  Sep 20, 20262m 29s
  More actions for workflow run 13

• Update Lean Project

  completed successfully:
  Update Lean Project#12:Scheduled
  master

  Sep 13, 20262m 36s
  More actions for workflow run 12

• Update Lean Project

  completed successfully:
  Update Lean Project#11:Scheduled
  master

  Sep 6, 20263m 3s
  More actions for workflow run 11

• Update Lean Project

  completed successfully:
  Update Lean Project#10:Scheduled
  master

  Aug 30, 20262m 43s
  More actions for workflow run 10

• Update Lean Project

  completed successfully:
  Update Lean Project#9:Scheduled
  master

  Aug 23, 20262m 29s
  More actions for workflow run 9

• Update Lean Project

  completed successfully:
  Update Lean Project#8:Scheduled
  master

  Aug 16, 20262m 23s
  More actions for workflow run 8

• Update Lean Project

  completed successfully:
  Update Lean Project#7:Scheduled
  master

  Aug 9, 20262m 29s
  More actions for workflow run 7

• Update Lean Project

  completed successfully:
  Update Lean Project#6:Scheduled
  master

  Aug 2, 20261m 42s
  More actions for workflow run 6

• refactor: define free-derivative symmetries by algebra automorphisms

  skipped:
  Autolabel PRs#3:Commita9b5f9fpushedbynateabr
  free-deriv-symmetry-api

  Jul 31, 20261s
  More actions for workflow run 3

• Update Lean Project

  completed successfully:
  Update Lean Project#5:Scheduled
  master

  Jul 26, 20261m 27s
  More actions for workflow run 5

• fix(standard-model): update lepton doublet tensor import

  skipped:
  Autolabel PRs#2:Commit05158a6pushedbynateabr
  leptondoublet

  Jul 25, 20261s
  More actions for workflow run 2

• Update Lean Project

  completed successfully:
  Update Lean Project#4:Scheduled
  master

  Jul 19, 20261m 32s
  More actions for workflow run 4

• feat(ClassicalMechanics): König's theorem in the body frame (#1418)

  completed successfully:
  Style linters#13:Commit26f8f8bpushedbynateabr
  master

  Jul 17, 202640m 51s
  More actions for workflow run 13

• feat(ClassicalMechanics): König's theorem in the body frame (#1418)

  completed successfully:
  Style linters#12:Commit26f8f8bpushedbynateabr
  master

  Jul 17, 20267m 56s
  More actions for workflow run 12

• feat: add unitary conjugation of partially-defined operators (#1421)

  skipped:
  Autolabel PRs#1:Commite6ca5dapushedbynateabr
  master

  Jul 16, 20261s
  More actions for workflow run 1

• feat: add unitary conjugation of partially-defined operators (#1421)

  completed successfully:
  Style linters#11:Commite6ca5dapushedbynateabr
  master

  Jul 16, 20267m 48s
  More actions for workflow run 11