Skip to content

Actions: input-output-hk/peras-design

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
71 workflow run results
71 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update Logbook.md CI #46: Commit 601305f pushed by yveshauser
February 8, 2024 14:25 3m 8s main
main
February 8, 2024 14:25 3m 8s
Downgraded agda version CI #45: Commit 35aa1f2 pushed by yveshauser
February 8, 2024 13:20 2m 39s main
main
February 8, 2024 13:20 2m 39s
Updated agda and std-lib version, added agda2hs CI #44: Commit d510fd9 pushed by yveshauser
February 8, 2024 13:06 13s main
main
February 8, 2024 13:06 13s
Added note about voting rules to random-fork. CI #43: Commit e529d37 pushed by bwbush
February 8, 2024 12:50 2m 55s main
main
February 8, 2024 12:50 2m 55s
Fixed compile error CI #42: Commit 1f4762b pushed by yveshauser
February 8, 2024 12:47 2m 57s main
main
February 8, 2024 12:47 2m 57s
Use of agda2hs to generate model in Haskell CI #41: Commit af0cd32 pushed by yveshauser
February 8, 2024 11:23 1m 5s main
main
February 8, 2024 11:23 1m 5s
Updated Logbook CI #40: Commit a6585f7 pushed by abailly-iohk
February 8, 2024 09:56 2m 54s main
main
February 8, 2024 09:56 2m 54s
Merge pull request #11 from input-output-hk/bwbush/peras-iosim CI #39: Commit e9af946 pushed by bwbush
February 7, 2024 22:12 3m 21s main
main
February 7, 2024 22:12 3m 21s
First steps on IOSim-based simulator CI #38: Pull request #11 opened by bwbush
February 7, 2024 22:11 3m 37s bwbush/peras-iosim
bwbush/peras-iosim
February 7, 2024 22:11 3m 37s
Message types from quickcheck-model in Agda, initial agda2hs CI #37: Commit 41e7d01 pushed by yveshauser
February 7, 2024 20:33 3m 22s main
main
February 7, 2024 20:33 3m 22s
Improve quickcheck model CI #36: Commit 3c14975 pushed by abailly-iohk
February 7, 2024 13:24 3m 19s main
main
February 7, 2024 13:24 3m 19s
CI does not like holes CI #35: Commit 7ba9e1f pushed by yveshauser
February 7, 2024 12:16 2m 58s main
main
February 7, 2024 12:16 2m 58s
Started working on sketching a proof from the PoS-NSB paper CI #34: Commit 4096680 pushed by yveshauser
February 7, 2024 10:56 2m 49s main
main
February 7, 2024 10:56 2m 49s
Sketch of a basic non-adversarial model CI #33: Commit 35dc3e6 pushed by abailly-iohk
February 7, 2024 10:31 1m 12s main
main
February 7, 2024 10:31 1m 12s
Merge pull request #10 from input-output-hk/bwbush/random-forks CI #32: Commit 42aaf39 pushed by bwbush
February 7, 2024 00:50 1m 10s main
main
February 7, 2024 00:50 1m 10s
Refactored and added basic voting CI #31: Pull request #10 opened by bwbush
February 7, 2024 00:50 1m 18s bwbush/random-forks
bwbush/random-forks
February 7, 2024 00:50 1m 18s
Update Logbook CI #30: Commit 888dcea pushed by abailly-iohk
February 6, 2024 17:18 1m 9s main
main
February 6, 2024 17:18 1m 9s
Sketch of a basic non-adversarial model CI #29: Pull request #9 opened by abailly-iohk
February 6, 2024 16:15 1m 14s abailly-iohk/initial-q-d-model
abailly-iohk/initial-q-d-model
February 6, 2024 16:15 1m 14s
Update Logbook.md CI #28: Commit 02ce142 pushed by yveshauser
February 6, 2024 15:25 1m 21s main
main
February 6, 2024 15:25 1m 21s
Update Logbook.md CI #27: Commit 51dc138 pushed by yveshauser
February 6, 2024 15:18 1m 19s main
main
February 6, 2024 15:18 1m 19s
Initial sketch of PoS-NSB small step semantics CI #26: Commit d90f164 pushed by yveshauser
February 6, 2024 15:07 1m 13s main
main
February 6, 2024 15:07 1m 13s
Adjusted path for link. CI #25: Commit 1df74e6 pushed by bwbush
February 6, 2024 14:10 1m 9s main
main
February 6, 2024 14:10 1m 9s
Fixed broken links to images. CI #24: Commit bd4221b pushed by bwbush
February 6, 2024 14:08 1m 27s main
main
February 6, 2024 14:08 1m 27s
Added notes on random-fork simulation. CI #23: Commit 2bb0277 pushed by bwbush
February 6, 2024 13:24 1m 25s main
main
February 6, 2024 13:24 1m 25s
Move all haskell projects to toplevel CI #22: Commit 5c06c07 pushed by abailly-iohk
February 6, 2024 09:45 1m 11s main
main
February 6, 2024 09:45 1m 11s