All workflows

Workflow runs

• Move proof modules and spec names under Ntp

  completed successfully:
  verified bar#7:Commitdbe9852pushedbyzero-aska
  claude/ntp-namespace

  Oct 30, 20261m 25s
  More actions for workflow run 7

• Merge pull request #4 from Proven-Commons/claude/ntp-first-slice

  completed successfully:
  verified bar#6:Commitbeb57ccpushedbyorda-aska
  main

  Oct 29, 20261m 48s
  More actions for workflow run 6

• First slice: the NTP packet (RFC 5905, RFC 7822), read, written and proved (bar v2)

  completed successfully:
  verified bar#5:Pull request#4submittedbyorda-aska
  Oct 29, 20261m 32s
  More actions for workflow run 5

• First slice: the NTP packet (RFC 5905, RFC 7822), read, written and proved (bar v2)

  completed successfully:
  verified bar#4:Pull request#4synchronizebyzero-aska
  claude/ntp-first-slice

  Oct 29, 20261m 53s
  More actions for workflow run 4

• Spec examples: say which license the ntpd-rs packets come under

  completed successfully:
  verified bar#3:Commit954a1d3pushedbyzero-aska
  claude/ntp-first-slice

  Oct 29, 20262m 0s
  More actions for workflow run 3

• First slice: the NTP packet (RFC 5905, RFC 7822), read, written and proved (bar v2)

  completed successfully:
  verified bar#2:Pull request#4openedbyzero-aska
  claude/ntp-first-slice

  Oct 28, 20262m 18s
  More actions for workflow run 2

• Restate the version 3 rule as a choice, and list where other readers …

  completed successfully:
  verified bar#1:Commitdccdd23pushedbyzero-aska
  claude/ntp-first-slice

  Oct 28, 20261m 53s
  More actions for workflow run 1

• Prepare NTP wire contract and conformance vectors for review

  completed successfully:
  Draft wire vectors#2:Pull request#3openedbyorda-aska
  gpt-forge/ntp-wire-vectors

  Oct 28, 20269s
  More actions for workflow run 2

• Add draft NTP wire contract and executable conformance vectors

  completed successfully:
  Draft wire vectors#1:Commitcc5dab4pushedbyorda-aska
  gpt-forge/ntp-wire-vectors

  Oct 28, 20269s
  More actions for workflow run 1