Idris2 Proof

Workflow runs for Idris2 Proof

• refactor(root): move root artefacts to their canonical locations (#55)

  failed:
  Idris2 Proof#7:Commit7329cebpushedbyhyperpolymath
  main

  Sep 19, 202638m 41s
  More actions for workflow run 7

• refactor(root): move root artefacts to their canonical locations

  failed:
  Idris2 Proof#6:Pull request#55openedbyhyperpolymath
  refactor/root-shape-rollout

  Sep 19, 202638m 4s
  More actions for workflow run 6

• chore(deps): bump the actions group with 8 updates (#24)

  completed successfully:
  Idris2 Proof#5:Commit19616e2pushedbyhyperpolymath
  main

  Jul 24, 20268m 8s
  More actions for workflow run 5

• chore(deps): bump the actions group with 8 updates

  completed successfully:
  Idris2 Proof#4:Pull request#24openedbydependabot[bot]Bot
  dependabot/github_actions/actions-572d523b9a

  Jul 24, 20268m 17s
  More actions for workflow run 4

• MVP kernel: L2 grade algebras + L1 graded checker + anytype-specific …

  completed successfully:
  Idris2 Proof#3:Commite32ae12pushedbyhyperpolymath
  main

  Jul 21, 202647m 57s
  More actions for workflow run 3

• MVP kernel: L2 grade algebras + L1 graded checker + anytype-specific seam (Phases 2-4)

  completed successfully:
  Idris2 Proof#2:Pull request#12synchronizebyhyperpolymath
  feat/mvp-kernel-phases-2-4

  Jul 21, 202652m 17s
  More actions for workflow run 2

• MVP kernel: L2 grade algebras + L1 graded checker + anytype-specific seam (Phases 2-4)

  cancelled:
  Idris2 Proof#1:Pull request#12openedbyhyperpolymath
  feat/mvp-kernel-phases-2-4

  Jul 21, 202647s
  More actions for workflow run 1