Skip to content

Actions: mlabs-haskell/covenant

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
118 workflow runs
118 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Pin all dependencies
covenant #18: Commit 741f800 pushed by kozross
January 22, 2025 20:44 8m 3s koz/16
January 22, 2025 20:44 8m 3s
Plutus constant support
covenant #17: Commit 87fdd7c pushed by kozross
January 22, 2025 20:36 8m 45s koz/12
January 22, 2025 20:36 8m 45s
Support Plutus builtins
covenant #16: Pull request #14 opened by kozross
January 22, 2025 19:31 10m 8s koz/10
January 22, 2025 19:31 10m 8s
Merge branch 'main' into koz/10
covenant #15: Commit 178b443 pushed by kozross
January 22, 2025 19:30 8m 52s koz/10
January 22, 2025 19:30 8m 52s
Merge pull request #7 from mlabs-haskell/koz/5
covenant #14: Commit a3594c5 pushed by kozross
January 22, 2025 18:44 15m 16s main
January 22, 2025 18:44 15m 16s
Add support for Plutus primitives in Covenant AST
covenant #13: Commit ef048a6 pushed by kozross
January 22, 2025 00:58 10m 31s koz/10
January 22, 2025 00:58 10m 31s
CI, initial Expr
covenant #12: Pull request #7 opened by kozross
January 21, 2025 21:10 9m 47s koz/5
January 21, 2025 21:10 9m 47s
Proper module header for Covenant.Expr
covenant #11: Commit 9330f67 pushed by kozross
January 21, 2025 21:02 7m 32s koz/5
January 21, 2025 21:02 7m 32s
Use cabal-gild, add to CI and standards
covenant #10: Commit 2037a7e pushed by kozross
January 21, 2025 20:50 8m 20s koz/5
January 21, 2025 20:50 8m 20s
Use cabal-gild, add to CI and standards
covenant #9: Commit c675e0a pushed by kozross
January 21, 2025 20:46 7m 7s koz/5
January 21, 2025 20:46 7m 7s
Add HLint to CI
covenant #8: Commit c3cc601 pushed by kozross
January 21, 2025 00:51 4m 55s koz/5
January 21, 2025 00:51 4m 55s
Add HLint to CI
covenant #7: Commit d4fea53 pushed by kozross
January 21, 2025 00:50 27s koz/5
January 21, 2025 00:50 27s
Add Ormolu to CI
covenant #6: Commit 9a1c22f pushed by kozross
January 21, 2025 00:41 4m 38s koz/5
January 21, 2025 00:41 4m 38s
Add Ormolu to CI
covenant #5: Commit f130c67 pushed by kozross
January 21, 2025 00:40 1s koz/5
January 21, 2025 00:40 1s
Github Actions basic setup
covenant #4: Commit 826b638 pushed by kozross
January 21, 2025 00:29 8m 8s koz/5
January 21, 2025 00:29 8m 8s
Github Actions basic setup
covenant #3: Commit ea6fc8b pushed by kozross
January 21, 2025 00:27 44s koz/5
January 21, 2025 00:27 44s
Github Actions basic setup
covenant #2: Commit 0bae165 pushed by kozross
January 21, 2025 00:26 14s koz/5
January 21, 2025 00:26 14s
Github Actions basic setup
covenant #1: Commit 29a6c03 pushed by kozross
January 21, 2025 00:22 Failure koz/5
January 21, 2025 00:22 Failure