Skip to content

Actions: IntersectMBO/formal-ledger-specifications

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,212 workflow runs
2,212 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

pages build and deployment pages-build-deployment #32: by github-pages bot
August 2, 2023 19:40 52s
August 2, 2023 19:40 52s
Update src/Ledger/PParams.lagda Formal Ledger Specs #537: Commit c716eab pushed by williamdemeo
August 2, 2023 19:38 53m 7s william/145-PParams
william/145-PParams
August 2, 2023 19:38 53m 7s
Add the proper latex dependency to shell.nix (#164) Formal Ledger Specs #536: Commit bb38b01 pushed by williamdemeo
August 2, 2023 19:36 4m 43s master
master
August 2, 2023 19:36 4m 43s
Add the proper latex dependency to shell.nix Formal Ledger Specs #535: Commit 9564014 pushed by williamdemeo
August 2, 2023 19:31 4m 7s andre/build-improvements
andre/build-improvements
August 2, 2023 19:31 4m 7s
Revert "Add the proper latex dependency to shell.nix" Formal Ledger Specs #534: Commit 56ebe36 pushed by williamdemeo
August 2, 2023 19:29 4m 30s andre/build-improvements
andre/build-improvements
August 2, 2023 19:29 4m 30s
improve .gitignore Formal Ledger Specs #533: Commit f1d2d6d pushed by williamdemeo
August 2, 2023 19:27 4m 8s andre/build-improvements
andre/build-improvements
August 2, 2023 19:27 4m 8s
Add the proper latex dependency to shell.nix Formal Ledger Specs #532: Commit 9564014 pushed by WhatisRT
August 2, 2023 17:16 4m 17s andre/build-improvements
andre/build-improvements
August 2, 2023 17:16 4m 17s
Add the proper latex dependency to shell.nix Formal Ledger Specs #531: Commit 366726c pushed by WhatisRT
August 2, 2023 17:13 4m 27s andre/build-improvements
andre/build-improvements
August 2, 2023 17:13 4m 27s
pages build and deployment pages-build-deployment #31: by github-pages bot
August 2, 2023 17:09 1m 6s
August 2, 2023 17:09 1m 6s
This addresses one item in issue #145 (Ratification) Formal Ledger Specs #530: Commit e1fcb69 pushed by williamdemeo
August 2, 2023 16:41 46m 18s william/145-Ratification
william/145-Ratification
August 2, 2023 16:41 46m 18s
Improve building the PDF via Makefile (#160) Formal Ledger Specs #529: Commit 9da4a59 pushed by williamdemeo
August 2, 2023 16:07 1h 1m 57s master
master
August 2, 2023 16:07 1h 1m 57s
Improve building the PDF via Makefile Formal Ledger Specs #528: Commit 4073cf2 pushed by WhatisRT
August 2, 2023 11:32 4m 8s andre/build-improvements
andre/build-improvements
August 2, 2023 11:32 4m 8s
Conway spec prose: GovernanceActions Formal Ledger Specs #527: Commit 893eb30 pushed by williamdemeo
August 1, 2023 21:00 39m 10s william/145-GovernanceActions
william/145-GovernanceActions
August 1, 2023 21:00 39m 10s
incorporates changes requested by @WhatisRT Formal Ledger Specs #526: Commit 836fcd1 pushed by williamdemeo
August 1, 2023 20:50 46m 29s william/145-GovernanceActions
william/145-GovernanceActions
August 1, 2023 20:50 46m 29s
Conway spec prose: Protocol parameters Formal Ledger Specs #525: Commit 972ec2d pushed by williamdemeo
August 1, 2023 19:14 39m 47s william/145-PParams
william/145-PParams
August 1, 2023 19:14 39m 47s
Conway spec prose: Protocol parameters Formal Ledger Specs #524: Commit c323347 pushed by williamdemeo
August 1, 2023 19:06 42m 27s william/145-PParams
william/145-PParams
August 1, 2023 19:06 42m 27s
scripts needed definition without script hash Formal Ledger Specs #523: Commit 70a58ee pushed by Ali-Hill
August 1, 2023 15:36 18m 0s alasdair/scripts
alasdair/scripts
August 1, 2023 15:36 18m 0s
Improve building the PDF via Makefile Formal Ledger Specs #522: Commit 9386b34 pushed by WhatisRT
August 1, 2023 11:13 54m 44s andre/build-improvements
andre/build-improvements
August 1, 2023 11:13 54m 44s
merging remote to local Formal Ledger Specs #521: Commit 187d7c1 pushed by williamdemeo
July 28, 2023 15:30 1h 1m 8s william/tok-alg-val
william/tok-alg-val
July 28, 2023 15:30 1h 1m 8s
This addresses one item in issue #145 (Ratification) Formal Ledger Specs #520: Commit e1ad2db pushed by williamdemeo
July 28, 2023 08:49 1h 1m 56s william/145-Ratification
william/145-Ratification
July 28, 2023 08:49 1h 1m 56s
better definition of txinsScript Formal Ledger Specs #519: Commit 26a5397 pushed by Ali-Hill
July 27, 2023 12:11 15m 43s alasdair/scripts
alasdair/scripts
July 27, 2023 12:11 15m 43s
adding txinsScript function Formal Ledger Specs #518: Commit 76e2f0f pushed by Ali-Hill
July 27, 2023 11:53 15m 23s alasdair/scripts
alasdair/scripts
July 27, 2023 11:53 15m 23s
Conway spec prose: GovernanceActions Formal Ledger Specs #517: Commit bcf13e9 pushed by williamdemeo
July 27, 2023 03:52 52m 45s william/145-GovernanceActions
william/145-GovernanceActions
July 27, 2023 03:52 52m 45s
Conway spec prose: GovernanceActions Formal Ledger Specs #516: Commit acae025 pushed by williamdemeo
July 27, 2023 03:47 39m 30s william/145-GovernanceActions
william/145-GovernanceActions
July 27, 2023 03:47 39m 30s
Conway spec prose: Protocol parameters Formal Ledger Specs #515: Commit 40c7098 pushed by williamdemeo
July 27, 2023 02:29 44m 29s william/145-PParams
william/145-PParams
July 27, 2023 02:29 44m 29s
ProTip! You can narrow down the results and go further in time using created:<2023-07-27 or the other filters available.