Skip to content

Actions: IntersectMBO/plutus

Actions

🔮 Metatheory Site

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
metatheory-site.yml
254 workflow runs
254 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Kill doctest (#6647) 🔮 Metatheory Site #254: Commit c23a4d8 pushed by zeme-wana
November 10, 2024 21:36 11m 19s master
master
November 10, 2024 21:36 11m 19s
Swap cases for availability of taskset (#6649) 🔮 Metatheory Site #253: Commit 2f28e0d pushed by kwxm
November 10, 2024 13:06 7m 25s master
master
November 10, 2024 13:06 7m 25s
Upse taskset in ci-plutu-benchmark.sh (#6646) 🔮 Metatheory Site #252: Commit 085b74b pushed by kwxm
November 10, 2024 09:15 9m 22s master
master
November 10, 2024 09:15 9m 22s
Upgrade iogx and fourmolu (#6645) 🔮 Metatheory Site #251: Commit 9d46897 pushed by zeme-wana
November 9, 2024 08:25 34m 10s master
master
November 9, 2024 08:25 34m 10s
Embracing the Product Mindset (#6621) 🔮 Metatheory Site #250: Commit c006b99 pushed by zliu41
November 9, 2024 03:24 7m 24s master
master
November 9, 2024 03:24 7m 24s
Move MintValue spec to other package, add CEK properties. (#6631) 🔮 Metatheory Site #249: Commit ac09d41 pushed by Unisay
November 8, 2024 16:39 7m 34s master
master
November 8, 2024 16:39 7m 34s
PlutusLedgerApi.V1.withCurrencySymbol (#6636) 🔮 Metatheory Site #248: Commit 038b7c8 pushed by Unisay
November 7, 2024 16:03 2m 9s master
master
November 7, 2024 16:03 2m 9s
Add github/workflows/cabal-build-all.yml (#6641) 🔮 Metatheory Site #247: Commit 2411c01 pushed by zeme-wana
November 7, 2024 07:30 35m 22s master
master
November 7, 2024 07:30 35m 22s
[Plinth] [Builtins] Remove 'CaseList' and 'CaseData' (#6638) 🔮 Metatheory Site #246: Commit 3659f16 pushed by effectfully
November 6, 2024 22:56 32m 40s master
master
November 6, 2024 22:56 32m 40s
Remove README.md from extra-doc-files, as this causes haddock to fail… 🔮 Metatheory Site #245: Commit 120c3c8 pushed by zeme-wana
November 6, 2024 20:25 5m 19s master
master
November 6, 2024 20:25 5m 19s
Enable Haddock for Agda (#6639) 🔮 Metatheory Site #244: Commit c497f0e pushed by zeme-wana
November 6, 2024 11:02 26m 54s master
master
November 6, 2024 11:02 26m 54s
Use Agda Haskell lib instead of MAlonzo (#6562) 🔮 Metatheory Site #243: Commit 6fa1bc9 pushed by ana-pantilie
November 5, 2024 16:08 25m 7s master
master
November 5, 2024 16:08 25m 7s
[Test] Mark more 'Integer's as interesting (#6619) 🔮 Metatheory Site #242: Commit d7d35f0 pushed by effectfully
November 5, 2024 14:22 17m 11s master
master
November 5, 2024 14:22 17m 11s
Fix incorrect fromDistinctAscList in PlutusTx.ErrorCodes (#6635) 🔮 Metatheory Site #241: Commit 0d22dad pushed by zliu41
November 5, 2024 14:02 1m 47s master
master
November 5, 2024 14:02 1m 47s
Kwxm/conformance/two digit test names (#6627) 🔮 Metatheory Site #240: Commit cfcfe10 pushed by kwxm
November 4, 2024 13:14 33m 48s master
master
November 4, 2024 13:14 33m 48s
Fix array index access in slack-message-broker.yml (#6634) 🔮 Metatheory Site #239: Commit ac8c225 pushed by zeme-wana
November 4, 2024 12:37 33m 28s master
master
November 4, 2024 12:37 33m 28s
New amends to slack-message-broker (#6632) 🔮 Metatheory Site #238: Commit fa93753 pushed by zeme-wana
November 4, 2024 11:12 35m 49s master
master
November 4, 2024 11:12 35m 49s
Fix all dependabot alerts in doc/docusaurus/yarn.lock (#6629) 🔮 Metatheory Site #237: Commit 0d962de pushed by zeme-wana
November 4, 2024 10:58 44m 14s master
master
November 4, 2024 10:58 44m 14s
Amends to slack-message-broker (#6628) 🔮 Metatheory Site #236: Commit d270077 pushed by zeme-wana
November 4, 2024 09:55 10m 25s master
master
November 4, 2024 09:55 10m 25s
Update comment in sprint-issues-rollover 🔮 Metatheory Site #235: Commit efcdfdb pushed by zeme-wana
November 4, 2024 08:42 32m 10s master
master
November 4, 2024 08:42 32m 10s
Extra conformance tests for verifyEcdsaSecp256k1Signature (#6622) 🔮 Metatheory Site #234: Commit dcbb9ce pushed by kwxm
November 4, 2024 03:59 38m 49s master
master
November 4, 2024 03:59 38m 49s
Make the specification of the Secp256k1 signature verification functi… 🔮 Metatheory Site #233: Commit 72fbe4d pushed by kwxm
November 2, 2024 06:19 35m 20s master
master
November 2, 2024 06:19 35m 20s
MintValue (#6609) 🔮 Metatheory Site #232: Commit 373de94 pushed by Unisay
October 31, 2024 19:51 1m 47s master
master
October 31, 2024 19:51 1m 47s
Add official test vectors for verifySchnorrSecp256k1Signature (#6617) 🔮 Metatheory Site #231: Commit 9a38bd7 pushed by kwxm
October 30, 2024 21:16 34m 49s master
master
October 30, 2024 21:16 34m 49s
Add expModInteger to specification (#6512) 🔮 Metatheory Site #230: Commit 983eba5 pushed by kwxm
October 30, 2024 04:43 10m 51s master
master
October 30, 2024 04:43 10m 51s