Skip to content

Actions: IntersectMBO/plutus

Actions

📝 Papers & Specs

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
papers-and-specs.yml
259 workflow runs
259 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

PlutusLedgerApi.V1.withCurrencySymbol (#6636) 📝 Papers & Specs #259: Commit 038b7c8 pushed by Unisay
November 7, 2024 16:03 34m 28s master
master
November 7, 2024 16:03 34m 28s
Add github/workflows/cabal-build-all.yml (#6641) 📝 Papers & Specs #258: Commit 2411c01 pushed by zeme-wana
November 7, 2024 07:30 34m 24s master
master
November 7, 2024 07:30 34m 24s
[Plinth] [Builtins] Remove 'CaseList' and 'CaseData' (#6638) 📝 Papers & Specs #257: Commit 3659f16 pushed by effectfully
November 6, 2024 22:56 31m 48s master
master
November 6, 2024 22:56 31m 48s
Remove README.md from extra-doc-files, as this causes haddock to fail… 📝 Papers & Specs #256: Commit 120c3c8 pushed by zeme-wana
November 6, 2024 20:25 4m 27s master
master
November 6, 2024 20:25 4m 27s
Enable Haddock for Agda (#6639) 📝 Papers & Specs #255: Commit c497f0e pushed by zeme-wana
November 6, 2024 11:02 26m 3s master
master
November 6, 2024 11:02 26m 3s
Use Agda Haskell lib instead of MAlonzo (#6562) 📝 Papers & Specs #254: Commit 6fa1bc9 pushed by ana-pantilie
November 5, 2024 16:08 28m 16s master
master
November 5, 2024 16:08 28m 16s
[Test] Mark more 'Integer's as interesting (#6619) 📝 Papers & Specs #253: Commit d7d35f0 pushed by effectfully
November 5, 2024 14:22 18m 41s master
master
November 5, 2024 14:22 18m 41s
Fix incorrect fromDistinctAscList in PlutusTx.ErrorCodes (#6635) 📝 Papers & Specs #252: Commit 0d22dad pushed by zliu41
November 5, 2024 14:02 33m 36s master
master
November 5, 2024 14:02 33m 36s
Kwxm/conformance/two digit test names (#6627) 📝 Papers & Specs #251: Commit cfcfe10 pushed by kwxm
November 4, 2024 13:14 37m 0s master
master
November 4, 2024 13:14 37m 0s
Fix array index access in slack-message-broker.yml (#6634) 📝 Papers & Specs #250: Commit ac8c225 pushed by zeme-wana
November 4, 2024 12:37 3m 54s master
master
November 4, 2024 12:37 3m 54s
New amends to slack-message-broker (#6632) 📝 Papers & Specs #249: Commit fa93753 pushed by zeme-wana
November 4, 2024 11:12 1h 8m 15s master
master
November 4, 2024 11:12 1h 8m 15s
Fix all dependabot alerts in doc/docusaurus/yarn.lock (#6629) 📝 Papers & Specs #248: Commit 0d962de pushed by zeme-wana
November 4, 2024 10:58 43m 24s master
master
November 4, 2024 10:58 43m 24s
Amends to slack-message-broker (#6628) 📝 Papers & Specs #247: Commit d270077 pushed by zeme-wana
November 4, 2024 09:55 2m 32s master
master
November 4, 2024 09:55 2m 32s
Update comment in sprint-issues-rollover 📝 Papers & Specs #246: Commit efcdfdb pushed by zeme-wana
November 4, 2024 08:42 33m 35s master
master
November 4, 2024 08:42 33m 35s
Extra conformance tests for verifyEcdsaSecp256k1Signature (#6622) 📝 Papers & Specs #245: Commit dcbb9ce pushed by kwxm
November 4, 2024 03:59 4m 24s master
master
November 4, 2024 03:59 4m 24s
Make the specification of the Secp256k1 signature verification functi… 📝 Papers & Specs #244: Commit 72fbe4d pushed by kwxm
November 2, 2024 06:19 4m 32s master
master
November 2, 2024 06:19 4m 32s
MintValue (#6609) 📝 Papers & Specs #243: Commit 373de94 pushed by Unisay
October 31, 2024 19:51 5m 22s master
master
October 31, 2024 19:51 5m 22s
Add official test vectors for verifySchnorrSecp256k1Signature (#6617) 📝 Papers & Specs #242: Commit 9a38bd7 pushed by kwxm
October 30, 2024 21:16 2m 28s master
master
October 30, 2024 21:16 2m 28s
Add expModInteger to specification (#6512) 📝 Papers & Specs #241: Commit 983eba5 pushed by kwxm
October 30, 2024 04:43 2m 29s master
master
October 30, 2024 04:43 2m 29s
Fix latex errors in old specification (#6601) 📝 Papers & Specs #240: Commit 697348c pushed by zeme-wana
October 29, 2024 08:52 2m 35s master
master
October 29, 2024 08:52 2m 35s
Derive PlutusTx.Show for some ledger api types (#6599) 📝 Papers & Specs #239: Commit 4cce897 pushed by zliu41
October 28, 2024 17:06 3m 20s master
master
October 28, 2024 17:06 3m 20s
Kwxm/conformance/write bits 2 (#6596) 📝 Papers & Specs #238: Commit faca16e pushed by kwxm
October 27, 2024 17:24 32m 19s master
master
October 27, 2024 17:24 32m 19s
[Test] Get the seed in 'noStructuralErrors' (#6595) 📝 Papers & Specs #237: Commit 7f6fefe pushed by effectfully
October 25, 2024 09:31 4m 38s master
master
October 25, 2024 09:31 4m 38s
Update all Flake Inputs & Add texliveFull to the devShell (#6588) 📝 Papers & Specs #236: Commit e294fcb pushed by zeme-wana
October 24, 2024 13:53 5m 29s master
master
October 24, 2024 13:53 5m 29s
chore(deps): bump benchmark-action/github-action-benchmark (#6594) 📝 Papers & Specs #235: Commit 7abbf75 pushed by Unisay
October 24, 2024 12:28 35m 55s master
master
October 24, 2024 12:28 35m 55s