All workflows

Workflow runs

• CA v0.3.1: content addressing for Lean 4

  completed successfully:
  CI#9:Commit0b62dd2pushedbymarcellop71
  main

  Oct 26, 20268m 33s
  More actions for workflow run 9

• Tests move to CATest/; lake test runs all five

  completed successfully:
  CI#8:Commitd920fcepushedbymarcellop71
  main

  Oct 26, 20266m 0s
  More actions for workflow run 8

• Repository cleanup: unlinked docs removed or linked, statuses brought…

  completed successfully:
  CI#7:Commit6cb3192pushedbymarcellop71
  main

  Oct 26, 20268m 23s
  More actions for workflow run 7

• Claims a reader can check: canode marked not yet public, a statement …

  completed successfully:
  CI#6:Commit05ff86fpushedbymarcellop71
  main

  Oct 26, 20269m 30s
  More actions for workflow run 6

• docs/walkthrough.md: the walkthrough step by step; sign the pack befo…

  completed successfully:
  CI#5:Commit44de167pushedbymarcellop71
  main

  Oct 23, 20267m 44s
  More actions for workflow run 5

• declbuild is now canode: every mention renamed; node export / import …

  completed successfully:
  CI#4:Commit8d5c623pushedbymarcellop71
  main

  Oct 23, 20268m 38s
  More actions for workflow run 4

• examples/: publish and consume projects, walkthrough; #ca_registry wr…

  completed successfully:
  CI#3:Commit60b02cdpushedbymarcellop71
  main

  Oct 23, 20266m 55s
  More actions for workflow run 3

• Docs in line with v0.3.0: CLI row, discovery and resolution no longer…

  completed successfully:
  CI#2:Commitc2752d3pushedbymarcellop71
  main

  Oct 23, 20266m 57s
  More actions for workflow run 2

• v0.3.0: a node you can consume, check, sign and merge

  completed successfully:
  CI#1:Commitc238bd7pushedbymarcellop71
  main

  Oct 23, 202610m 34s
  More actions for workflow run 1