Skip to content

Actions: input-output-hk/peras-design

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Proof of collision-free property CI #99: Commit 6a817b4 pushed by yveshauser
February 14, 2024 10:09 1m 18s main
main
February 14, 2024 10:09 1m 18s
CollisionFree predicate CI #98: Commit 8183a08 pushed by yveshauser
February 14, 2024 06:59 1m 21s main
main
February 14, 2024 06:59 1m 21s
Merge pull request #21 from input-output-hk/bwbush/peras-iosim CI #97: Commit f457cb8 pushed by bwbush
February 14, 2024 00:03 51s main
main
February 14, 2024 00:03 51s
Refactored to use MonadRandom. CI #96: Pull request #21 opened by bwbush
February 14, 2024 00:01 2m 17s bwbush/peras-iosim
bwbush/peras-iosim
February 14, 2024 00:01 2m 17s
Remove commented code CI #95: Commit c594bd9 pushed by abailly-iohk
February 13, 2024 17:18 1m 41s main
main
February 13, 2024 17:18 1m 41s
Merge pull request #20 from input-output-hk/bwbush/peras-iosim CI #94: Commit 7560009 pushed by bwbush
February 13, 2024 13:27 52s main
main
February 13, 2024 13:27 52s
Improved faithfulness of slot-leader selection. CI #93: Pull request #20 synchronize by bwbush
February 13, 2024 13:24 1m 51s bwbush/peras-iosim
bwbush/peras-iosim
February 13, 2024 13:24 1m 51s
Improved faithfulness of slot-leader selection. CI #92: Pull request #20 opened by bwbush
February 13, 2024 13:19 1m 45s bwbush/peras-iosim
bwbush/peras-iosim
February 13, 2024 13:19 1m 45s
Remove factor of 2 in leader 'election' CI #91: Commit e444008 pushed by abailly-iohk
February 13, 2024 10:27 2m 22s main
main
February 13, 2024 10:27 2m 22s
Actually check some property for the node CI #90: Commit a4087a9 pushed by abailly-iohk
February 13, 2024 07:46 1m 50s main
main
February 13, 2024 07:46 1m 50s
Remove old 'sketch' directory CI #89: Commit 86cedff pushed by abailly-iohk
February 13, 2024 07:08 25s main
main
February 13, 2024 07:08 25s
Updated Logbook CI #88: Commit 8cf272a pushed by abailly-iohk
February 13, 2024 06:41 1m 21s main
main
February 13, 2024 06:41 1m 21s
Merge pull request #19 from input-output-hk/bwbush/peras-iosim CI #87: Commit 52a6b88 pushed by bwbush
February 13, 2024 00:20 51s main
main
February 13, 2024 00:20 51s
IOSim enhancements CI #86: Pull request #19 opened by bwbush
February 13, 2024 00:17 2m 29s bwbush/peras-iosim
bwbush/peras-iosim
February 13, 2024 00:17 2m 29s
Collision free predicate CI #85: Commit cd753a3 pushed by yveshauser
February 12, 2024 21:32 1m 5s main
main
February 12, 2024 21:32 1m 5s
Run NodeModel against actual node in io-sim CI #84: Commit f11d7bb pushed by abailly-iohk
February 12, 2024 21:04 1m 9s main
main
February 12, 2024 21:04 1m 9s
Introduce Network and Node Models linked to peras-iosim CI #83: Commit d0a96c3 pushed by abailly-iohk
February 12, 2024 17:49 1m 11s main
main
February 12, 2024 17:49 1m 11s
Merge pull request #18 from input-output-hk/bwbush/peras-hs CI #82: Commit a6d770d pushed by bwbush
February 12, 2024 15:27 41s main
main
February 12, 2024 15:27 41s
Haskell package maintenance CI #81: Pull request #18 synchronize by bwbush
February 12, 2024 15:26 1m 7s bwbush/peras-hs
bwbush/peras-hs
February 12, 2024 15:26 1m 7s
Haskell package maintenance CI #80: Pull request #18 opened by bwbush
February 12, 2024 15:21 4m 2s bwbush/peras-hs
bwbush/peras-hs
February 12, 2024 15:21 4m 2s
Merge pull request #16 from input-output-hk/abailly-iohk/introduce-adrs CI #79: Commit af16186 pushed by abailly-iohk
February 12, 2024 14:26 1m 5s main
main
February 12, 2024 14:26 1m 5s
Introduce ADRs to keep track of our main decisions CI #78: Pull request #16 synchronize by abailly-iohk
February 12, 2024 14:26 47s abailly-iohk/introduce-adrs
abailly-iohk/introduce-adrs
February 12, 2024 14:26 47s
Remove dependencies on rust stuff CI #77: Commit 6844141 pushed by abailly-iohk
February 12, 2024 14:17 50s main
main
February 12, 2024 14:17 50s
Adjusted to API changes CI #76: Commit 67ab327 pushed by yveshauser
February 12, 2024 13:36 46s main
main
February 12, 2024 13:36 46s
Properties for block-tree, small cleanups CI #75: Commit f38a67b pushed by yveshauser
February 12, 2024 13:24 43s main
main
February 12, 2024 13:24 43s
ProTip! You can narrow down the results and go further in time using created:<2024-02-12 or the other filters available.