Skip to content

qed-proof-core 0.3.0

Choose a tag to compare

View all tags
@floating-astronaut floating-astronaut released this 26 Sep 23:59
· 8 commits to main since this release
v0.3.0
This tag was signed with the committer’s verified signature.
floating-astronaut Tejas Karan Agrawal
SSH Key Fingerprint: NaIbDkZcSyu4SbCyI/ooY9q7Hn/hhgDtkw9Orn/x3Ec
Verified
Learn about vigilant mode.
9820bc6
This commit was signed with the committer’s verified signature.
floating-astronaut Tejas Karan Agrawal
SSH Key Fingerprint: NaIbDkZcSyu4SbCyI/ooY9q7Hn/hhgDtkw9Orn/x3Ec
Verified
Learn about vigilant mode.

Added

  • Node: Slack (slack.message.post) and X (x.post.publish) verifiers, alongside the existing GitHub and HTTP ones.
  • Node: listing a workspace's claims, with a cursor.
  • Spec: an action profile document for each live action (github.commit.push, github.pr.open, github.checks.pass,
    slack.message.post, x.post.publish) under spec/profiles/.
Assets 2
Loading