Skip to content

Actions: IntersectMBO/plutus

Actions

Check Changelog

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
This workflow was disabled manually.
3,040 workflow runs
3,040 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add workflow for publishing Agda Metatheory site Check Changelog #4435: Pull request #6223 synchronize by zeme-wana
June 19, 2024 10:02 25s metatheory-site
metatheory-site
June 19, 2024 10:02 25s
Add workflow for publishing Agda Metatheory site Check Changelog #4434: Pull request #6223 opened by zeme-wana
June 19, 2024 09:26 25s metatheory-site
metatheory-site
June 19, 2024 09:26 25s
Make it build with ghc 9.10 Check Changelog #4433: Pull request #6079 synchronize by erikd
June 19, 2024 05:34 21s erikd/ghc-9.10
erikd/ghc-9.10
June 19, 2024 05:34 21s
Optimise Data.Value union Check Changelog #4432: Pull request #6222 opened by ana-pantilie
June 18, 2024 13:22 21s ana/data-value-unionwith-performance
ana/data-value-unionwith-performance
June 18, 2024 13:22 21s
[EXPERIMENT] Marlowe with Data-backed Value and AssocMap Check Changelog #4431: Pull request #6221 opened by ana-pantilie
June 18, 2024 09:45 23s ana/data-value-marlowe
ana/data-value-marlowe
June 18, 2024 09:45 23s
Add documentation to Data.Value Check Changelog #4430: Pull request #6220 synchronize by ana-pantilie
June 18, 2024 09:16 22s ana/data-value-doc
ana/data-value-doc
June 18, 2024 09:16 22s
Add documentation to Data.Value Check Changelog #4429: Pull request #6220 synchronize by ana-pantilie
June 18, 2024 09:06 27s ana/data-value-doc
ana/data-value-doc
June 18, 2024 09:06 27s
Add documentation to Data.Value Check Changelog #4428: Pull request #6220 labeled by ana-pantilie
June 18, 2024 08:12 25s ana/data-value-doc
ana/data-value-doc
June 18, 2024 08:12 25s
Add documentation to Data.Value Check Changelog #4427: Pull request #6220 opened by ana-pantilie
June 18, 2024 08:11 20s ana/data-value-doc
ana/data-value-doc
June 18, 2024 08:11 20s
[Builtins] Replace 'EvaluationResult' with 'BuiltinResult' Check Changelog #4426: Pull request #5926 synchronize by effectfully
June 18, 2024 00:35 31s effectfully/builtins/replace-EvaluationResult-with-BuiltinResult
effectfully/builtins/replace-EvaluationResult-with-BuiltinResult
June 18, 2024 00:35 31s
[Builtins] Replace 'EvaluationResult' with 'BuiltinResult' Check Changelog #4425: Pull request #5926 synchronize by effectfully
June 17, 2024 23:43 28s effectfully/builtins/replace-EvaluationResult-with-BuiltinResult
effectfully/builtins/replace-EvaluationResult-with-BuiltinResult
June 17, 2024 23:43 28s
[Builtins] Replace 'EvaluationResult' with 'BuiltinResult' Check Changelog #4424: Pull request #5926 synchronize by effectfully
June 17, 2024 23:37 20s effectfully/builtins/replace-EvaluationResult-with-BuiltinResult
effectfully/builtins/replace-EvaluationResult-with-BuiltinResult
June 17, 2024 23:37 20s
New ./scripts/combined-haddock.sh Check Changelog #4423: Pull request #6205 synchronize by zeme-wana
June 17, 2024 20:34 21m 40s fix-haddock-combined-again
fix-haddock-combined-again
June 17, 2024 20:34 21m 40s
New ./scripts/combined-haddock.sh Check Changelog #4422: Pull request #6205 synchronize by zeme-wana
June 17, 2024 20:23 19m 30s fix-haddock-combined-again
fix-haddock-combined-again
June 17, 2024 20:23 19m 30s
New ./scripts/combined-haddock.sh Check Changelog #4421: Pull request #6205 synchronize by zeme-wana
June 17, 2024 19:48 27s fix-haddock-combined-again
fix-haddock-combined-again
June 17, 2024 19:48 27s
New ./scripts/combined-haddock.sh Check Changelog #4420: Pull request #6205 synchronize by zeme-wana
June 17, 2024 19:09 21s fix-haddock-combined-again
fix-haddock-combined-again
June 17, 2024 19:09 21s
New ./scripts/combined-haddock.sh Check Changelog #4419: Pull request #6205 synchronize by zeme-wana
June 17, 2024 19:06 30s fix-haddock-combined-again
fix-haddock-combined-again
June 17, 2024 19:06 30s
plutus-ir: fix redundant imports Check Changelog #4418: Pull request #6218 synchronize by disassembler
June 17, 2024 16:56 26s sl/fix-redundant-imports
sl/fix-redundant-imports
June 17, 2024 16:56 26s
plutus-ir: fix redundant imports Check Changelog #4417: Pull request #6218 synchronize by disassembler
June 17, 2024 16:18 24s sl/fix-redundant-imports
sl/fix-redundant-imports
June 17, 2024 16:18 24s
plutus-ir: fix redundant imports Check Changelog #4416: Pull request #6218 synchronize by Unisay
June 17, 2024 16:04 25s sl/fix-redundant-imports
sl/fix-redundant-imports
June 17, 2024 16:04 25s
plutus-ir: fix redundant imports Check Changelog #4415: Pull request #6218 labeled by disassembler
June 17, 2024 15:45 21s sl/fix-redundant-imports
sl/fix-redundant-imports
June 17, 2024 15:45 21s
plutus-ir: fix redundant imports Check Changelog #4414: Pull request #6218 opened by disassembler
June 17, 2024 15:43 21s sl/fix-redundant-imports
sl/fix-redundant-imports
June 17, 2024 15:43 21s
Fix incorrect Note reference Check Changelog #4413: Pull request #6217 opened by kwxm
June 17, 2024 12:28 20s kwxm/bitwise/fix-Note-reference
kwxm/bitwise/fix-Note-reference
June 17, 2024 12:28 20s
Fix incorrect Note reference Check Changelog #4412: Pull request #6217 labeled by kwxm
June 17, 2024 12:28 19s kwxm/bitwise/fix-Note-reference
kwxm/bitwise/fix-Note-reference
June 17, 2024 12:28 19s
Release 1.30.0.0 Check Changelog #4411: Pull request #6216 labeled by Unisay
June 17, 2024 07:57 22s yura/release-1.30.0.0
yura/release-1.30.0.0
June 17, 2024 07:57 22s