Skip to content

Actions: IntersectMBO/formal-ledger-specifications

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Added reg cert Formal Ledger Specs #2503: Pull request #616 synchronize by Soupstraw
November 25, 2024 15:02 15m 1s jj/legacy-regcert
jj/legacy-regcert
November 25, 2024 15:02 15m 1s
Reuse ledger code in conformance Formal Ledger Specs #2502: Pull request #618 opened by UlfNorell
November 25, 2024 12:52 22m 11s reuse-ledger-code-in-conformance
reuse-ledger-code-in-conformance
November 25, 2024 12:52 22m 11s
Added utxowDebug Formal Ledger Specs - PR Merged #67: Pull request #613 closed by Soupstraw
November 22, 2024 15:45 1m 14s jj/utxow-debug
jj/utxow-debug
November 22, 2024 15:45 1m 14s
Added reg cert Formal Ledger Specs #2501: Pull request #616 synchronize by Soupstraw
November 22, 2024 15:44 20m 20s jj/legacy-regcert
jj/legacy-regcert
November 22, 2024 15:44 20m 20s
Added reg cert Formal Ledger Specs #2500: Pull request #616 synchronize by Soupstraw
November 22, 2024 15:16 20m 41s jj/legacy-regcert
jj/legacy-regcert
November 22, 2024 15:16 20m 41s
Added reg cert Formal Ledger Specs #2499: Pull request #616 synchronize by Soupstraw
November 22, 2024 15:08 19m 42s jj/legacy-regcert
jj/legacy-regcert
November 22, 2024 15:08 19m 42s
Added reg cert Formal Ledger Specs #2498: Pull request #616 synchronize by Soupstraw
November 22, 2024 15:04 20m 3s jj/legacy-regcert
jj/legacy-regcert
November 22, 2024 15:04 20m 3s
Added reg cert Formal Ledger Specs #2497: Pull request #616 synchronize by Soupstraw
November 22, 2024 14:53 20m 24s jj/legacy-regcert
jj/legacy-regcert
November 22, 2024 14:53 20m 24s
Added reg cert Formal Ledger Specs #2496: Pull request #616 synchronize by Soupstraw
November 22, 2024 14:47 19m 48s jj/legacy-regcert
jj/legacy-regcert
November 22, 2024 14:47 19m 48s
Added reg cert Formal Ledger Specs #2495: Pull request #616 synchronize by Soupstraw
November 22, 2024 14:26 20m 25s jj/legacy-regcert
jj/legacy-regcert
November 22, 2024 14:26 20m 25s
Added reg cert Formal Ledger Specs #2494: Pull request #616 synchronize by Soupstraw
November 22, 2024 13:48 20m 43s jj/legacy-regcert
jj/legacy-regcert
November 22, 2024 13:48 20m 43s
Added reg cert Formal Ledger Specs #2493: Pull request #616 synchronize by Soupstraw
November 22, 2024 13:07 18m 9s jj/legacy-regcert
jj/legacy-regcert
November 22, 2024 13:07 18m 9s
Added utxowDebug Formal Ledger Specs #2492: Pull request #613 synchronize by Soupstraw
November 22, 2024 13:07 19m 11s jj/utxow-debug
jj/utxow-debug
November 22, 2024 13:07 19m 11s
Added reg cert Formal Ledger Specs #2491: Pull request #616 synchronize by Soupstraw
November 22, 2024 12:45 20m 27s jj/legacy-regcert
jj/legacy-regcert
November 22, 2024 12:45 20m 27s
pages build and deployment pages-build-deployment #278: by github-pages bot
November 22, 2024 12:44 45s
November 22, 2024 12:44 45s
Added reg cert Formal Ledger Specs #2490: Pull request #616 synchronize by Soupstraw
November 22, 2024 12:36 22m 4s jj/legacy-regcert
jj/legacy-regcert
November 22, 2024 12:36 22m 4s
CERTS should do the base case first (#604) Formal Ledger Specs #2489: Commit d406853 pushed by WhatisRT
November 22, 2024 12:35 8m 40s master
master
November 22, 2024 12:35 8m 40s
CERTS should do the base case first Formal Ledger Specs - PR Merged #66: Pull request #604 closed by WhatisRT
November 22, 2024 12:35 35s 545-certs-base-case-first
545-certs-base-case-first
November 22, 2024 12:35 35s
Added reg cert Formal Ledger Specs #2488: Pull request #616 synchronize by Soupstraw
November 22, 2024 12:24 11m 53s jj/legacy-regcert
jj/legacy-regcert
November 22, 2024 12:24 11m 53s
Added reg cert Formal Ledger Specs #2487: Pull request #616 synchronize by Soupstraw
November 22, 2024 11:20 9m 5s jj/legacy-regcert
jj/legacy-regcert
November 22, 2024 11:20 9m 5s
Added reg cert Formal Ledger Specs #2486: Pull request #616 synchronize by Soupstraw
November 22, 2024 11:11 6m 17s jj/legacy-regcert
jj/legacy-regcert
November 22, 2024 11:11 6m 17s
CERTS should do the base case first Formal Ledger Specs #2485: Pull request #604 synchronize by williamdemeo
November 21, 2024 22:52 20m 50s 545-certs-base-case-first
545-certs-base-case-first
November 21, 2024 22:52 20m 50s
Added reg cert Formal Ledger Specs #2484: Pull request #616 synchronize by Soupstraw
November 21, 2024 15:23 6m 17s jj/legacy-regcert
jj/legacy-regcert
November 21, 2024 15:23 6m 17s
Added reg cert Formal Ledger Specs #2483: Pull request #616 synchronize by Soupstraw
November 21, 2024 15:22 6m 35s jj/legacy-regcert
jj/legacy-regcert
November 21, 2024 15:22 6m 35s
Added reg cert Formal Ledger Specs #2482: Pull request #616 opened by Soupstraw
November 21, 2024 15:15 6m 23s jj/legacy-regcert
jj/legacy-regcert
November 21, 2024 15:15 6m 23s