Skip to content

Actions: IntersectMBO/plutus

Actions

Pre Commit Check

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
This workflow was disabled manually.
675 workflow runs
675 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

1.5.0.2 Pre Commit Check #2022: Pull request #5651 synchronize by zliu41
November 22, 2023 17:52 1m 13s zliu41/1.5.0.2
zliu41/1.5.0.2
November 22, 2023 17:52 1m 13s
1.5.0.2 Pre Commit Check #2021: Pull request #5651 synchronize by zliu41
November 22, 2023 17:00 2m 9s zliu41/1.5.0.2
zliu41/1.5.0.2
November 22, 2023 17:00 2m 9s
1.5.0.2 Pre Commit Check #2020: Pull request #5651 opened by zliu41
November 22, 2023 16:42 2m 42s zliu41/1.5.0.2
zliu41/1.5.0.2
November 22, 2023 16:42 2m 42s
Make test module names consistent. Pre Commit Check #2019: Pull request #5580 synchronize by thealmarty
October 17, 2023 15:17 2m 15s thealmarty/rename-test-modules
thealmarty/rename-test-modules
October 17, 2023 15:17 2m 15s
Make it build with ghc-9.8 Pre Commit Check #2018: Pull request #5564 synchronize by erikd
October 17, 2023 01:39 2m 32s erikd/ghc-9.8
erikd/ghc-9.8
October 17, 2023 01:39 2m 32s
Release 1.15.0.0 Pre Commit Check #2017: Pull request #5592 opened by kwxm
October 16, 2023 23:55 2m 3s kwxm/plutus-1.15.0.0
kwxm/plutus-1.15.0.0
October 16, 2023 23:55 2m 3s
Version-sensitive plutus-benchmark tests (PLT 7544) Pre Commit Check #2016: Pull request #5587 synchronize by kwxm
October 16, 2023 22:13 2m 33s kwxm/test/PLT-7544
kwxm/test/PLT-7544
October 16, 2023 22:13 2m 33s
We don't want 'find' to find .cabal Pre Commit Check #2015: Pull request #5591 opened by kwxm
October 16, 2023 19:52 1m 53s kwxm/fix-update-version.sh
kwxm/fix-update-version.sh
October 16, 2023 19:52 1m 53s
Release 1.15.0 Pre Commit Check #2014: Pull request #5590 opened by kwxm
October 16, 2023 19:25 1m 51s kwxm/release/1.15.0
kwxm/release/1.15.0
October 16, 2023 19:25 1m 51s
Make it build with ghc-9.8 Pre Commit Check #2013: Pull request #5564 synchronize by erikd
October 16, 2023 01:11 1m 57s erikd/ghc-9.8
erikd/ghc-9.8
October 16, 2023 01:11 1m 57s
Fix a misleading typo in a comment Pre Commit Check #2012: Pull request #5588 opened by kwxm
October 14, 2023 02:06 2m 0s kwxm/fix-minor-typo-builtins
kwxm/fix-minor-typo-builtins
October 14, 2023 02:06 2m 0s
Make test module names consistent. Pre Commit Check #2011: Pull request #5580 synchronize by thealmarty
October 13, 2023 15:24 1m 40s thealmarty/rename-test-modules
thealmarty/rename-test-modules
October 13, 2023 15:24 1m 40s
Make test module names consistent. Pre Commit Check #2010: Pull request #5580 synchronize by thealmarty
October 13, 2023 15:21 2m 43s thealmarty/rename-test-modules
thealmarty/rename-test-modules
October 13, 2023 15:21 2m 43s
Make test module names consistent. Pre Commit Check #2009: Pull request #5580 synchronize by thealmarty
October 13, 2023 15:19 2m 8s thealmarty/rename-test-modules
thealmarty/rename-test-modules
October 13, 2023 15:19 2m 8s
Version-sensitive plutus-benchmark tests (PLT 7544) Pre Commit Check #2008: Pull request #5587 opened by kwxm
October 12, 2023 23:41 2m 25s kwxm/test/PLT-7544
kwxm/test/PLT-7544
October 12, 2023 23:41 2m 25s
PLT-1398 Set up typechecking property tests for all PIR compiler passes Pre Commit Check #2007: Pull request #5565 synchronize by thealmarty
October 12, 2023 19:04 2m 6s thealmarty/plt-1398-pir-typechecking-tests
thealmarty/plt-1398-pir-typechecking-tests
October 12, 2023 19:04 2m 6s
PLT-1398 Set up typechecking property tests for all PIR compiler passes Pre Commit Check #2006: Pull request #5565 synchronize by thealmarty
October 12, 2023 18:04 2m 26s thealmarty/plt-1398-pir-typechecking-tests
thealmarty/plt-1398-pir-typechecking-tests
October 12, 2023 18:04 2m 26s
Update RELEASE.adoc Pre Commit Check #2005: Pull request #5586 opened by bezirg
October 12, 2023 15:16 2m 50s bezirg-patch-1
bezirg-patch-1
October 12, 2023 15:16 2m 50s
PLT-7745: Basic rewrite rules for builtins Pre Commit Check #2004: Pull request #5584 synchronize by bezirg
October 12, 2023 14:57 1m 44s bezirg/pir-rewrite
bezirg/pir-rewrite
October 12, 2023 14:57 1m 44s
PLT-1398 Set up typechecking property tests for all PIR compiler passes Pre Commit Check #2003: Pull request #5565 synchronize by thealmarty
October 12, 2023 14:54 1m 53s thealmarty/plt-1398-pir-typechecking-tests
thealmarty/plt-1398-pir-typechecking-tests
October 12, 2023 14:54 1m 53s
PLT-1398 Set up typechecking property tests for all PIR compiler passes Pre Commit Check #2002: Pull request #5565 synchronize by thealmarty
October 12, 2023 14:13 1m 42s thealmarty/plt-1398-pir-typechecking-tests
thealmarty/plt-1398-pir-typechecking-tests
October 12, 2023 14:13 1m 42s
PLT-1398 Set up typechecking property tests for all PIR compiler passes Pre Commit Check #2001: Pull request #5565 synchronize by thealmarty
October 12, 2023 14:12 2m 1s thealmarty/plt-1398-pir-typechecking-tests
thealmarty/plt-1398-pir-typechecking-tests
October 12, 2023 14:12 2m 1s
Make test module names consistent. Pre Commit Check #2000: Pull request #5580 synchronize by thealmarty
October 12, 2023 13:53 2m 21s thealmarty/rename-test-modules
thealmarty/rename-test-modules
October 12, 2023 13:53 2m 21s
Add some comments on FromBuiltin/ToBuiltin/Lift Pre Commit Check #1999: Pull request #5585 opened by michaelpj
October 12, 2023 13:29 1m 45s mpj/builtins-notes
mpj/builtins-notes
October 12, 2023 13:29 1m 45s
PLT-7745: Basic rewrite rules for builtins Pre Commit Check #1998: Pull request #5584 synchronize by bezirg
October 12, 2023 13:19 2m 30s bezirg/pir-rewrite
bezirg/pir-rewrite
October 12, 2023 13:19 2m 30s