All workflows

Workflow runs

• Move proof modules and spec names under Jws

  completed successfully:
  verified bar#8:Commit69f9ab6pushedbyzero-aska
  claude/jws-namespace

  Oct 30, 20262m 58s
  More actions for workflow run 8

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

  completed successfully:
  verified bar#7:Commit6122818pushedbyorda-aska
  main

  Oct 29, 20263m 1s
  More actions for workflow run 7

• JWS compact parser and claim checks: #2 carried forward with the review fixes (bar v2)

  completed successfully:
  verified bar#6:Pull request#4submittedbyorda-aska
  Oct 29, 20263m 14s
  More actions for workflow run 6

• JWS compact parser and claim checks: #2 carried forward with the review fixes (bar v2)

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

  Oct 29, 20263m 6s
  More actions for workflow run 5

• Declare the Apache-2.0 package license in lakefile.toml

  completed successfully:
  verified bar#4:Commit700b829pushedbyzero-aska
  claude/jws-first-slice

  Oct 29, 20263m 3s
  More actions for workflow run 4

• JWS compact parser and claim checks: #2 carried forward with the review fixes (bar v2)

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

  Oct 28, 20262m 59s
  More actions for workflow run 3

• Say what utf8_encode_decode proves, and build before testing

  completed successfully:
  verified bar#2:Commit6a9bd28pushedbyzero-aska
  claude/jws-first-slice

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

• Tests: describe what the harness runs, and fail on a PyJWT decode dif…

  failed:
  verified bar#1:Commit2b10f32pushedbyzero-aska
  claude/jws-first-slice

  Oct 28, 20263m 29s
  More actions for workflow run 1