Skip to content

Actions: IntersectMBO/formal-ledger-specifications

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Equivalence proof between spec and conformance rules (#585) Formal Ledger Specs #2532: Pull request #622 synchronize by williamdemeo
December 5, 2024 03:39 20m 43s issue585
issue585
December 5, 2024 03:39 20m 43s
Added reg cert, fixed hashing of VKeys Formal Ledger Specs #2531: Pull request #616 synchronize by williamdemeo
December 4, 2024 23:07 20m 59s jj/legacy-regcert
jj/legacy-regcert
December 4, 2024 23:07 20m 59s
pages build and deployment pages-build-deployment #280: by github-pages bot
December 4, 2024 22:57 47s gh-pages
gh-pages
December 4, 2024 22:57 47s
Reuse ledger code in conformance (#618) Formal Ledger Specs #2530: Commit b184f97 pushed by williamdemeo
December 4, 2024 22:49 8m 38s master
master
December 4, 2024 22:49 8m 38s
Reuse ledger code in conformance Formal Ledger Specs - PR Merged #69: Pull request #618 closed by williamdemeo
December 4, 2024 22:49 36s reuse-ledger-code-in-conformance
reuse-ledger-code-in-conformance
December 4, 2024 22:49 36s
pages build and deployment pages-build-deployment #279: by github-pages bot
December 4, 2024 17:17 47s gh-pages
gh-pages
December 4, 2024 17:17 47s
Added reg cert, fixed hashing of VKeys Formal Ledger Specs #2529: Pull request #616 synchronize by williamdemeo
December 4, 2024 17:16 20m 32s jj/legacy-regcert
jj/legacy-regcert
December 4, 2024 17:16 20m 32s
Equivalence proof between spec and conformance rules (#585) Formal Ledger Specs #2528: Pull request #622 synchronize by williamdemeo
December 4, 2024 17:15 21m 8s issue585
issue585
December 4, 2024 17:15 21m 8s
Reuse ledger code in conformance Formal Ledger Specs #2527: Pull request #618 synchronize by williamdemeo
December 4, 2024 17:12 20m 51s reuse-ledger-code-in-conformance
reuse-ledger-code-in-conformance
December 4, 2024 17:12 20m 51s
Document changes to BaseAddr Formal Ledger Specs - PR Merged #68: Pull request #619 closed by williamdemeo
December 4, 2024 17:08 36s 617-document-changes-to-baseaddr
617-document-changes-to-baseaddr
December 4, 2024 17:08 36s
Document changes to BaseAddr (#619) Formal Ledger Specs #2526: Commit c59a4e3 pushed by williamdemeo
December 4, 2024 17:08 9m 19s master
master
December 4, 2024 17:08 9m 19s
Added reg cert, fixed hashing of VKeys Formal Ledger Specs #2525: Pull request #616 synchronize by Soupstraw
December 4, 2024 16:21 20m 31s jj/legacy-regcert
jj/legacy-regcert
December 4, 2024 16:21 20m 31s
Equivalence proof between spec and conformance rules (#585) Formal Ledger Specs #2524: Pull request #622 synchronize by williamdemeo
December 4, 2024 05:56 9m 2s issue585
issue585
December 4, 2024 05:56 9m 2s
Equivalence proof between spec and conformance rules (#585) Formal Ledger Specs #2523: Pull request #622 synchronize by williamdemeo
December 4, 2024 05:44 16m 14s issue585
issue585
December 4, 2024 05:44 16m 14s
Equivalence proof between spec and conformance rules (#585) Formal Ledger Specs #2522: Pull request #622 synchronize by williamdemeo
December 4, 2024 05:16 21m 38s issue585
issue585
December 4, 2024 05:16 21m 38s
Equivalence proof between spec and conformance rules (#585) Formal Ledger Specs #2521: Pull request #622 synchronize by williamdemeo
December 3, 2024 23:44 21m 0s issue585
issue585
December 3, 2024 23:44 21m 0s
Document changes to BaseAddr Formal Ledger Specs #2520: Pull request #619 synchronize by williamdemeo
December 3, 2024 19:35 16m 57s 617-document-changes-to-baseaddr
617-document-changes-to-baseaddr
December 3, 2024 19:35 16m 57s
Equivalence proof between spec and conformance rules (#585) Formal Ledger Specs #2519: Pull request #622 opened by UlfNorell
December 3, 2024 15:37 23m 6s issue585
issue585
December 3, 2024 15:37 23m 6s
Added reg cert, fixed hashing of VKeys Formal Ledger Specs #2518: Pull request #616 synchronize by Soupstraw
December 3, 2024 14:53 9m 10s jj/legacy-regcert
jj/legacy-regcert
December 3, 2024 14:53 9m 10s
Document changes to BaseAddr Formal Ledger Specs #2517: Pull request #619 synchronize by williamdemeo
December 3, 2024 14:51 21m 55s 617-document-changes-to-baseaddr
617-document-changes-to-baseaddr
December 3, 2024 14:51 21m 55s
Added reg cert, fixed hashing of VKeys Formal Ledger Specs #2516: Pull request #616 synchronize by Soupstraw
December 3, 2024 14:29 20m 40s jj/legacy-regcert
jj/legacy-regcert
December 3, 2024 14:29 20m 40s
Added reg cert, fixed hashing of VKeys Formal Ledger Specs #2515: Pull request #616 synchronize by Soupstraw
December 3, 2024 14:17 25m 33s jj/legacy-regcert
jj/legacy-regcert
December 3, 2024 14:17 25m 33s
Added reg cert, fixed hashing of VKeys Formal Ledger Specs #2514: Pull request #616 synchronize by Soupstraw
December 3, 2024 13:55 20m 15s jj/legacy-regcert
jj/legacy-regcert
December 3, 2024 13:55 20m 15s
Added reg cert, fixed hashing of VKeys Formal Ledger Specs #2513: Pull request #616 synchronize by Soupstraw
December 3, 2024 13:47 16m 48s jj/legacy-regcert
jj/legacy-regcert
December 3, 2024 13:47 16m 48s
Added reg cert, fixed hashing of VKeys Formal Ledger Specs #2512: Pull request #616 synchronize by Soupstraw
December 3, 2024 13:36 20m 58s jj/legacy-regcert
jj/legacy-regcert
December 3, 2024 13:36 20m 58s