Skip to content

Actions: IntersectMBO/formal-ledger-specifications

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

LaTeX best practices Formal Ledger Specs #2804: Pull request #693 synchronize by williamdemeo
February 21, 2025 00:49 27m 8s 681-use-latex-best-practices-and-packages
681-use-latex-best-practices-and-packages
February 21, 2025 00:49 27m 8s
LaTeX best practices Formal Ledger Specs #2803: Pull request #693 synchronize by williamdemeo
February 21, 2025 00:47 29m 32s 681-use-latex-best-practices-and-packages
681-use-latex-best-practices-and-packages
February 21, 2025 00:47 29m 32s
LaTeX best practices Formal Ledger Specs #2802: Pull request #693 synchronize by williamdemeo
February 20, 2025 21:58 24m 16s 681-use-latex-best-practices-and-packages
681-use-latex-best-practices-and-packages
February 20, 2025 21:58 24m 16s
LaTeX best practices Formal Ledger Specs #2801: Pull request #693 opened by williamdemeo
February 20, 2025 21:57 24m 51s 681-use-latex-best-practices-and-packages
681-use-latex-best-practices-and-packages
February 20, 2025 21:57 24m 51s
pages build and deployment pages-build-deployment #310: by github-pages bot
February 20, 2025 16:40 49s gh-pages
gh-pages
February 20, 2025 16:40 49s
Fix duplication introduced by #659 (#692) Formal Ledger Specs #2800: Commit d7aea02 pushed by WhatisRT
February 20, 2025 16:29 10m 30s master
master
February 20, 2025 16:29 10m 30s
Fix duplication introduced by #659 Formal Ledger Specs - PR Merged #104: Pull request #692 closed by WhatisRT
February 20, 2025 16:29 32s andre/fix-duplicate-paragraph
andre/fix-duplicate-paragraph
February 20, 2025 16:29 32s
Refactor GOV from conformance Formal Ledger Specs #2799: Pull request #688 synchronize by carlostome
February 20, 2025 15:19 26m 9s carlos/refactor-gov-conformance
carlos/refactor-gov-conformance
February 20, 2025 15:19 26m 9s
Fix duplication introduced by #659 Formal Ledger Specs #2798: Pull request #692 opened by WhatisRT
February 20, 2025 13:22 19m 16s andre/fix-duplicate-paragraph
andre/fix-duplicate-paragraph
February 20, 2025 13:22 19m 16s
pages build and deployment pages-build-deployment #309: by github-pages bot
February 20, 2025 12:50 48s gh-pages
gh-pages
February 20, 2025 12:50 48s
Reference previous specifications & other material Formal Ledger Specs - PR Merged #103: Pull request #659 closed by williamdemeo
February 20, 2025 12:41 33s 341-reference-previous-specifications-other-material
341-reference-previous-specifications-other-material
February 20, 2025 12:41 33s
Reference previous specifications & other material (#659) Formal Ledger Specs #2797: Commit 3295ab2 pushed by williamdemeo
February 20, 2025 12:41 9m 1s master
master
February 20, 2025 12:41 9m 1s
Reference previous specifications & other material Formal Ledger Specs #2796: Pull request #659 synchronize by williamdemeo
February 20, 2025 12:02 25m 8s 341-reference-previous-specifications-other-material
341-reference-previous-specifications-other-material
February 20, 2025 12:02 25m 8s
Reference previous specifications & other material Formal Ledger Specs #2795: Pull request #659 synchronize by williamdemeo
February 20, 2025 11:25 26m 36s 341-reference-previous-specifications-other-material
341-reference-previous-specifications-other-material
February 20, 2025 11:25 26m 36s
Refactor GOV from conformance Formal Ledger Specs #2794: Pull request #688 synchronize by carlostome
February 20, 2025 11:03 19m 25s carlos/refactor-gov-conformance
carlos/refactor-gov-conformance
February 20, 2025 11:03 19m 25s
Refactor GOV from conformance Formal Ledger Specs #2793: Pull request #688 synchronize by carlostome
February 20, 2025 10:07 21m 47s carlos/refactor-gov-conformance
carlos/refactor-gov-conformance
February 20, 2025 10:07 21m 47s
Refactor GOV from conformance Formal Ledger Specs #2792: Pull request #688 synchronize by carlostome
February 20, 2025 09:17 21m 13s carlos/refactor-gov-conformance
carlos/refactor-gov-conformance
February 20, 2025 09:17 21m 13s
Refactor GOV from conformance Formal Ledger Specs #2791: Pull request #688 synchronize by carlostome
February 20, 2025 08:55 21m 5s carlos/refactor-gov-conformance
carlos/refactor-gov-conformance
February 20, 2025 08:55 21m 5s
Reference previous specifications & other material Formal Ledger Specs #2790: Pull request #659 synchronize by williamdemeo
February 20, 2025 02:02 25m 22s 341-reference-previous-specifications-other-material
341-reference-previous-specifications-other-material
February 20, 2025 02:02 25m 22s
Reference previous specifications & other material Formal Ledger Specs #2789: Pull request #659 synchronize by williamdemeo
February 19, 2025 22:52 25m 31s 341-reference-previous-specifications-other-material
341-reference-previous-specifications-other-material
February 19, 2025 22:52 25m 31s
Reference previous specifications & other material Formal Ledger Specs #2788: Pull request #659 synchronize by carlostome
February 19, 2025 12:23 25m 35s 341-reference-previous-specifications-other-material
341-reference-previous-specifications-other-material
February 19, 2025 12:23 25m 35s
pages build and deployment pages-build-deployment #308: by github-pages bot
February 19, 2025 11:29 49s gh-pages
gh-pages
February 19, 2025 11:29 49s
Simplify isUnregisteredDRep (#684) Formal Ledger Specs #2787: Commit 038817e pushed by WhatisRT
February 19, 2025 11:20 9m 2s master
master
February 19, 2025 11:20 9m 2s
Simplify isUnregisteredDRep Formal Ledger Specs - PR Merged #102: Pull request #684 closed by WhatisRT
February 19, 2025 11:20 32s carlos/refactor-isUnregisteredDRep
carlos/refactor-isUnregisteredDRep
February 19, 2025 11:20 32s
Simplify isUnregisteredDRep Formal Ledger Specs #2786: Pull request #684 synchronize by carlostome
February 19, 2025 10:21 19m 15s carlos/refactor-isUnregisteredDRep
carlos/refactor-isUnregisteredDRep
February 19, 2025 10:21 19m 15s