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

Update Logbook CI #74: Commit ada7deb pushed by abailly-iohk
February 12, 2024 07:44 45s main
main
February 12, 2024 07:44 45s
Added weekly reports CI #73: Commit 26f76e4 pushed by abailly-iohk
February 12, 2024 07:38 54s main
main
February 12, 2024 07:38 54s
Convert unit test to property CI #72: Commit 94c0d70 pushed by abailly-iohk
February 12, 2024 06:56 49s main
main
February 12, 2024 06:56 49s
Introduce ADRs to keep track of our main decisions CI #71: Pull request #16 opened by abailly-iohk
February 11, 2024 15:53 45s abailly-iohk/introduce-adrs
abailly-iohk/introduce-adrs
February 11, 2024 15:53 45s
Rename quickcheck model project to peras-quickcheck CI #70: Commit 961c87a pushed by abailly-iohk
February 11, 2024 15:43 47s main
main
February 11, 2024 15:43 47s
Merge pull request #15 from input-output-hk/bwbush/peras-iosim CI #69: Commit 32b993f pushed by bwbush
February 10, 2024 23:49 53s main
main
February 10, 2024 23:49 53s
Mostly finished refactoring of peras-iosim to incorporate functionality of random-forks. CI #68: Pull request #15 opened by bwbush
February 10, 2024 23:48 48s bwbush/peras-iosim
bwbush/peras-iosim
February 10, 2024 23:48 48s
Merge pull request #14 from input-output-hk/bwbush/peras-iosim CI #67: Commit 9043692 pushed by bwbush
February 10, 2024 03:08 25s main
main
February 10, 2024 03:08 25s
Continued refactoring of peras-iosim to incorporate functionality of random-forks. CI #66: Pull request #14 opened by bwbush
February 10, 2024 03:07 49s bwbush/peras-iosim
bwbush/peras-iosim
February 10, 2024 03:07 49s
Merge pull request #13 from input-output-hk/bwbush/peras-iosim CI #65: Commit 56ba9f1 pushed by bwbush
February 9, 2024 20:00 25s main
main
February 9, 2024 20:00 25s
Integrated peras-iosim with Agda-derived types. CI #64: Pull request #13 opened by bwbush
February 9, 2024 19:59 49s bwbush/peras-iosim
bwbush/peras-iosim
February 9, 2024 19:59 49s
Update Logbook.md CI #63: Commit 983bb59 pushed by yveshauser
February 9, 2024 16:44 1m 2s main
main
February 9, 2024 16:44 1m 2s
Slot type changed CI #62: Commit 6fe1efa pushed by yveshauser
February 9, 2024 16:20 1m 6s main
main
February 9, 2024 16:20 1m 6s
Better representation of NodeId CI #61: Commit 6f54be0 pushed by abailly-iohk
February 9, 2024 15:12 1m 17s main
main
February 9, 2024 15:12 1m 17s
Model and property compile and run, failing as expected CI #60: Commit 154c7a6 pushed by abailly-iohk
February 9, 2024 13:27 1m 18s main
main
February 9, 2024 13:27 1m 18s
Modify Agda code to trigger CI rebuild CI #59: Commit aee9cfd pushed by abailly-iohk
February 9, 2024 08:05 1m 9s main
main
February 9, 2024 08:05 1m 9s
Update CI to run on self-hosted machine CI #58: Commit 54606fc pushed by abailly-iohk
February 9, 2024 07:47 12m 57s main
main
February 9, 2024 07:47 12m 57s
Update Logbook CI #57: Commit 6087eee pushed by bwbush
February 8, 2024 21:54 24m 54s main
main
February 8, 2024 21:54 24m 54s
Added cabal file for Haskell modules generated by agda2hs. CI #56: Commit 898c759 pushed by bwbush
February 8, 2024 21:51 26m 39s main
main
February 8, 2024 21:51 26m 39s
Fixed missing semicolon. 🤦 CI #55: Commit 312fb9f pushed by bwbush
February 8, 2024 21:24 22m 52s main
main
February 8, 2024 21:24 22m 52s
Merge pull request #12 from input-output-hk/bwbush/iogx CI #54: Commit f30f283 pushed by bwbush
February 8, 2024 20:46 28m 39s main
main
February 8, 2024 20:46 28m 39s
IOGX flake and CI CI #53: Pull request #12 synchronize by bwbush
February 8, 2024 20:45 26m 2s bwbush/iogx
bwbush/iogx
February 8, 2024 20:45 26m 2s
IOGX flake and CI CI #52: Pull request #12 synchronize by bwbush
February 8, 2024 20:39 23m 12s bwbush/iogx
bwbush/iogx
February 8, 2024 20:39 23m 12s
IOGX flake and CI CI #51: Pull request #12 synchronize by bwbush
February 8, 2024 20:38 3m 31s bwbush/iogx
bwbush/iogx
February 8, 2024 20:38 3m 31s
IOGX flake and CI CI #50: Pull request #12 synchronize by bwbush
February 8, 2024 20:34 3m 30s bwbush/iogx
bwbush/iogx
February 8, 2024 20:34 3m 30s
ProTip! You can narrow down the results and go further in time using created:<2024-02-08 or the other filters available.