Skip to content

Actions: IntersectMBO/formal-ledger-specifications

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,935 workflow runs
1,935 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Disallow empty withdrawal proposals Formal Ledger Specs #2653: Pull request #661 opened by Soupstraw
January 30, 2025 15:13 23m 29s jj/empty-withdrawals
jj/empty-withdrawals
January 30, 2025 15:13 23m 29s
652 remove superscripts from rec constr Formal Ledger Specs #2652: Pull request #655 synchronize by carlostome
January 30, 2025 13:21 23m 17s 652-remove-superscripts-from-rec-constr
652-remove-superscripts-from-rec-constr
January 30, 2025 13:21 23m 17s
652 remove superscripts from rec constr Formal Ledger Specs #2651: Pull request #655 synchronize by carlostome
January 30, 2025 12:35 26m 5s 652-remove-superscripts-from-rec-constr
652-remove-superscripts-from-rec-constr
January 30, 2025 12:35 26m 5s
Added some protocol parameters to the security group Formal Ledger Specs #2650: Pull request #660 opened by Soupstraw
January 30, 2025 11:14 16m 36s jj/security-group
jj/security-group
January 30, 2025 11:14 16m 36s
Reference previous specifications & other material Formal Ledger Specs #2649: Pull request #659 opened by williamdemeo
January 30, 2025 05:08 20m 36s 341-reference-previous-specifications-other-material
341-reference-previous-specifications-other-material
January 30, 2025 05:08 20m 36s
Make the usage of field keyword consistent Formal Ledger Specs #2648: Pull request #658 opened by williamdemeo
January 30, 2025 04:41 3m 0s 656-make-the-usage-of-field-keyword-consistent
656-make-the-usage-of-field-keyword-consistent
January 30, 2025 04:41 3m 0s
Adding Structured Contracts Framework Formal Ledger Specs #2647: Pull request #657 opened by polinavino
January 29, 2025 19:27 26m 39s polina-struc-record
polina-struc-record
January 29, 2025 19:27 26m 39s
652 remove superscripts from rec constr Formal Ledger Specs #2646: Pull request #655 synchronize by carlostome
January 29, 2025 12:08 1h 3m 7s 652-remove-superscripts-from-rec-constr
652-remove-superscripts-from-rec-constr
January 29, 2025 12:08 1h 3m 7s
652 remove superscripts from rec constr Formal Ledger Specs #2645: Pull request #655 synchronize by carlostome
January 29, 2025 10:49 6m 28s 652-remove-superscripts-from-rec-constr
652-remove-superscripts-from-rec-constr
January 29, 2025 10:49 6m 28s
652 remove superscripts from rec constr Formal Ledger Specs #2644: Pull request #655 opened by carlostome
January 29, 2025 10:13 6m 39s 652-remove-superscripts-from-rec-constr
652-remove-superscripts-from-rec-constr
January 29, 2025 10:13 6m 39s
pages build and deployment pages-build-deployment #293: by github-pages bot
January 28, 2025 12:00 45s gh-pages
gh-pages
January 28, 2025 12:00 45s
Behavior of Plutus V3 scripts without datum (#647) Formal Ledger Specs #2643: Commit 32d4249 pushed by WhatisRT
January 28, 2025 11:39 21m 15s master
master
January 28, 2025 11:39 21m 15s
Behavior of Plutus V3 scripts without datum Formal Ledger Specs - PR Merged #84: Pull request #647 closed by WhatisRT
January 28, 2025 11:39 11m 24s 637-behavior-of-plutus-v3-scripts-without-datum
637-behavior-of-plutus-v3-scripts-without-datum
January 28, 2025 11:39 11m 24s
Behavior of Plutus V3 scripts without datum Formal Ledger Specs #2642: Pull request #647 synchronize by williamdemeo
January 27, 2025 21:30 23m 28s 637-behavior-of-plutus-v3-scripts-without-datum
637-behavior-of-plutus-v3-scripts-without-datum
January 27, 2025 21:30 23m 28s
Behavior of Plutus V3 scripts without datum Formal Ledger Specs #2641: Pull request #647 synchronize by williamdemeo
January 27, 2025 20:54 22m 45s 637-behavior-of-plutus-v3-scripts-without-datum
637-behavior-of-plutus-v3-scripts-without-datum
January 27, 2025 20:54 22m 45s
Behavior of Plutus V3 scripts without datum Formal Ledger Specs #2640: Pull request #647 synchronize by williamdemeo
January 27, 2025 20:12 22m 50s 637-behavior-of-plutus-v3-scripts-without-datum
637-behavior-of-plutus-v3-scripts-without-datum
January 27, 2025 20:12 22m 50s
Behavior of Plutus V3 scripts without datum Formal Ledger Specs #2639: Pull request #647 synchronize by williamdemeo
January 27, 2025 20:11 23m 32s 637-behavior-of-plutus-v3-scripts-without-datum
637-behavior-of-plutus-v3-scripts-without-datum
January 27, 2025 20:11 23m 32s
Behavior of Plutus V3 scripts without datum Formal Ledger Specs #2638: Pull request #647 synchronize by williamdemeo
January 27, 2025 16:32 26m 13s 637-behavior-of-plutus-v3-scripts-without-datum
637-behavior-of-plutus-v3-scripts-without-datum
January 27, 2025 16:32 26m 13s
Behavior of Plutus V3 scripts without datum Formal Ledger Specs #2637: Pull request #647 synchronize by williamdemeo
January 27, 2025 16:32 22m 38s 637-behavior-of-plutus-v3-scripts-without-datum
637-behavior-of-plutus-v3-scripts-without-datum
January 27, 2025 16:32 22m 38s
Behavior of Plutus V3 scripts without datum Formal Ledger Specs #2636: Pull request #647 synchronize by williamdemeo
January 27, 2025 16:32 23m 18s 637-behavior-of-plutus-v3-scripts-without-datum
637-behavior-of-plutus-v3-scripts-without-datum
January 27, 2025 16:32 23m 18s
pages build and deployment pages-build-deployment #292: by github-pages bot
January 24, 2025 17:33 49s gh-pages
gh-pages
January 24, 2025 17:33 49s
Fix indentation of record fields in PDF Formal Ledger Specs - PR Merged #83: Pull request #651 closed by carlostome
January 24, 2025 17:24 30s carlos/fix-indentation
carlos/fix-indentation
January 24, 2025 17:24 30s
Fix indentation of record fields in PDF (#651) Formal Ledger Specs #2635: Commit e32b210 pushed by carlostome
January 24, 2025 17:24 9m 5s master
master
January 24, 2025 17:24 9m 5s
Eliminate Boolean properties Formal Ledger Specs #2634: Pull request #649 synchronize by carlostome
January 24, 2025 15:01 23m 48s 342-eliminate-boolean-properties
342-eliminate-boolean-properties
January 24, 2025 15:01 23m 48s
Eliminate Boolean properties Formal Ledger Specs #2633: Pull request #649 synchronize by carlostome
January 24, 2025 14:16 22m 48s 342-eliminate-boolean-properties
342-eliminate-boolean-properties
January 24, 2025 14:16 22m 48s