Skip to content

Actions: mlabs-haskell/plutus

Actions

🔮 Metatheory Site

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

MintValue (#6609) 🔮 Metatheory Site #16: Commit 373de94 pushed by t4ccer
October 31, 2024 22:11 1d 15h 27m 50s master
master
October 31, 2024 22:11 1d 15h 27m 50s
Update RELEASE.adoc (#6458) 🔮 Metatheory Site #15: Commit b1709a6 pushed by kozross
September 10, 2024 22:28 1d 15h 10m 49s master
master
September 10, 2024 22:28 1d 15h 10m 49s
Release 1.34.0.0 (#6452) 🔮 Metatheory Site #14: Commit 200ad0f pushed by kozross
September 9, 2024 19:14 1d 18h 24m 32s master
master
September 9, 2024 19:14 1d 18h 24m 32s
Remove ADRs from user documentation (#6401) 🔮 Metatheory Site #13: Commit de3150e pushed by kozross
August 28, 2024 01:40 1d 11h 59m 15s master
master
August 28, 2024 01:40 1d 11h 59m 15s
Fix shiftByteString and rotateByteString (#6385) 🔮 Metatheory Site #12: Commit 18b4174 pushed by kozross
August 7, 2024 21:17 1d 16h 21m 22s master
master
August 7, 2024 21:17 1d 16h 21m 22s
Release 1.32.0.0 (#6374) 🔮 Metatheory Site #11: Commit da52206 pushed by kozross
August 7, 2024 19:06 1d 18h 32m 31s master
master
August 7, 2024 19:06 1d 18h 32m 31s
Restore CI checks for doc site code (#6376) 🔮 Metatheory Site #10: Commit 5947b18 pushed by kozross
August 6, 2024 19:38 1d 18h 0m 45s master
master
August 6, 2024 19:38 1d 18h 0m 45s
Restore auto generation of compiler option table (#6373) 🔮 Metatheory Site #9: Commit d3cf117 pushed by kozross
August 4, 2024 19:31 1d 18h 7m 35s master
master
August 4, 2024 19:31 1d 18h 7m 35s
[Plinth] [Builtins] Add a general 'mkNil' (#6347) 🔮 Metatheory Site #8: Commit a4b0f43 pushed by kozross
August 1, 2024 01:58 1d 11h 40m 23s master
master
August 1, 2024 01:58 1d 11h 40m 23s
[Benchmark] Reduce the number of benchmarks (#6328) 🔮 Metatheory Site #7: Commit ffe41b8 pushed by kozross
August 1, 2024 01:12 1d 12h 26m 32s master
master
August 1, 2024 01:12 1d 12h 26m 32s
Make NumBytesCostedAsNumWords use Integer instead of Int (#6350) 🔮 Metatheory Site #6: Commit 613ab5f pushed by kozross
July 30, 2024 19:31 1d 18h 7m 37s master
master
July 30, 2024 19:31 1d 18h 7m 37s
[Plinth] [Builtins] Fix 'writeBits' (#6329) 🔮 Metatheory Site #5: Commit d510d24 pushed by kozross
July 30, 2024 00:52 1d 12h 46m 49s master
master
July 30, 2024 00:52 1d 12h 46m 49s
Kwxm/costing/bitwise 4 (#6301) 🔮 Metatheory Site #4: Commit 39ae101 pushed by kozross
July 25, 2024 01:54 1d 11h 44m 36s master
master
July 25, 2024 01:54 1d 11h 44m 36s
Change writeBits to take changelists as two separate lists (#6317) 🔮 Metatheory Site #3: Commit 0da4c4b pushed by kozross
July 24, 2024 22:38 1d 15h 0m 20s master
master
July 24, 2024 22:38 1d 15h 0m 20s
Release 1.31.0.0 (#6312) 🔮 Metatheory Site #2: Commit de7339b pushed by kozross
July 18, 2024 22:40 1d 14h 58m 47s master
master
July 18, 2024 22:40 1d 14h 58m 47s
All names are printed with their unique values by default. (#5972) 🔮 Metatheory Site #1: Commit 0c02489 pushed by kozross
July 15, 2024 19:18 1d 18h 20m 51s master
master
July 15, 2024 19:18 1d 18h 20m 51s