Skip to content

Actions: input-output-hk/peras-design

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Modify Agda code to trigger CI rebuild CI #59: Commit aee9cfd pushed by ghost
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 ghost
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
IOGX flake and CI CI #49: Pull request #12 opened by bwbush
February 8, 2024 19:59 28m 46s bwbush/iogx
bwbush/iogx
February 8, 2024 19:59 28m 46s
Add messages handling to quicheck model CI #48: Commit 1d31249 pushed by ghost
February 8, 2024 16:26 3m 0s main
main
February 8, 2024 16:26 3m 0s
Update Logbook CI #47: Commit 43995fb pushed by ghost
February 8, 2024 14:41 2m 57s main
main
February 8, 2024 14:41 2m 57s
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 ghost
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 ghost
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
ProTip! You can narrow down the results and go further in time using created:<2024-02-07 or the other filters available.