All workflows

Workflow runs

• Merge pull request #2 from proof-computer/agent/BKLG-20260925-3uyx-pr…

  completed successfully:
  CI#9:Commit83e1a56pushedbyfiregrass
  main

  Oct 19, 20262m 29s
  More actions for workflow run 9

• License the public CLI under FSL-1.1-Apache-2.0

  completed successfully:
  CI#8:Pull request#2openedbyfiregrass
  agent/BKLG-20260925-3uyx-proof-cli-carries-an-fsl-1-1-apache

  Oct 19, 202617m 56s
  More actions for workflow run 8

• Merge pull request #1 from proof-computer/agent/BKLG-20261019-y295-pr…

  completed successfully:
  CI#7:Commit790e314pushedbyfiregrass
  main

  Oct 19, 202630s
  More actions for workflow run 7

• Fix installed-package smoke tarball discovery

  completed successfully:
  CI#6:Pull request#1openedbyfiregrass
  agent/BKLG-20261019-y295-proof-cli-s-installed-package-smoke

  Oct 19, 202636s
  More actions for workflow run 6

• List Liskov as a public plugin (now published)

  failed:
  CI#5:Commit02775f4pushedbyfiregrass
  main

  Jun 18, 202634s
  More actions for workflow run 5

• Point root CLI at renamed plugins: baran + liskov

  failed:
  CI#4:Commit3119295pushedbyfiregrass
  main

  Jun 18, 202629s
  More actions for workflow run 4

• Bump PROOF CLI plugin metadata

  failed:
  CI#3:Commit2e555bdpushedbyfiregrass
  main

  May 25, 202626s
  More actions for workflow run 3

• Release proof CLI to npmjs

  failed:
  CI#2:Commit5f2a7d2pushedbyfiregrass
  main

  May 21, 202626s
  More actions for workflow run 2

• Release proof CLI root package

  failed:
  CI#1:Commitedd928dpushedbyfiregrass
  main

  May 21, 202630s
  More actions for workflow run 1