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

import TotalMapOn module in Ledger.Prelude Formal Ledger Specs #469: Commit 47d0bcf pushed by williamdemeo
July 15, 2023 10:52 37m 2s william/tok-alg-set
william/tok-alg-set
July 15, 2023 10:52 37m 2s
minor mods Formal Ledger Specs #468: Commit d8f5ade pushed by williamdemeo
July 15, 2023 10:38 8m 31s william/tok-alg-set
william/tok-alg-set
July 15, 2023 10:38 8m 31s
major changes Formal Ledger Specs #467: Commit ed5a484 pushed by williamdemeo
July 15, 2023 10:25 8m 40s william/tok-alg-set
william/tok-alg-set
July 15, 2023 10:25 8m 40s
messy getDatum function Formal Ledger Specs #466: Commit 09c6c68 pushed by Ali-Hill
July 13, 2023 09:31 6m 44s alasdair/scripts
alasdair/scripts
July 13, 2023 09:31 6m 44s
cleanup Formal Ledger Specs #465: Commit bef0fc9 pushed by williamdemeo
July 12, 2023 15:39 4m 9s william/tok-alg-set
william/tok-alg-set
July 12, 2023 15:39 4m 9s
final hole filled! Formal Ledger Specs #464: Commit 154fcaf pushed by williamdemeo
July 12, 2023 15:23 4m 18s william/tok-alg-set
william/tok-alg-set
July 12, 2023 15:23 4m 18s
drafting scriptvalidation functions Formal Ledger Specs #463: Commit 85b8b40 pushed by Ali-Hill
July 12, 2023 14:57 8m 35s alasdair/scripts
alasdair/scripts
July 12, 2023 14:57 8m 35s
nearly have total map on working as desired Formal Ledger Specs #462: Commit ecb4313 pushed by williamdemeo
July 12, 2023 14:40 4m 5s william/tok-alg-set
william/tok-alg-set
July 12, 2023 14:40 4m 5s
minor clean-up Formal Ledger Specs #461: Commit de07fbe pushed by williamdemeo
July 12, 2023 14:37 4m 3s william/tok-alg-set
william/tok-alg-set
July 12, 2023 14:37 4m 3s
minor formatting improvements Formal Ledger Specs #460: Commit 7d87a8e pushed by williamdemeo
July 12, 2023 14:30 4m 9s william/tok-alg-set
william/tok-alg-set
July 12, 2023 14:30 4m 9s
effect changes requested by @WhatisRT Formal Ledger Specs #459: Commit 0b16e3d pushed by williamdemeo
July 12, 2023 13:58 36m 52s william/tok-alg
william/tok-alg
July 12, 2023 13:58 36m 52s
nearly have total map on working as desired Formal Ledger Specs #458: Commit 60b8baa pushed by williamdemeo
July 12, 2023 13:15 4m 3s william/tok-alg-set
william/tok-alg-set
July 12, 2023 13:15 4m 3s
ProTip! You can narrow down the results and go further in time using created:<2023-07-12 or the other filters available.