Skip to content

Actions: input-output-hk/ouroboros-high-assurance

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
156 workflow runs
156 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Name the introduction rules of conforms_to Automated quick-and-dirty build #108: Commit 55d165c pushed by jeltsch
August 11, 2023 17:36 7m 20s enhancement/program-based-mini-protocol-framework
enhancement/program-based-mini-protocol-framework
August 11, 2023 17:36 7m 20s
Start handling locales in thematically fitting subsections Automated quick-and-dirty build #107: Commit 83103ed pushed by jeltsch
August 11, 2023 17:31 6m 37s enhancement/program-based-mini-protocol-framework
enhancement/program-based-mini-protocol-framework
August 11, 2023 17:31 6m 37s
Improve type parameter names in protocol_programs Automated quick-and-dirty build #106: Commit 5545af7 pushed by jeltsch
August 11, 2023 12:57 7m 15s enhancement/program-based-mini-protocol-framework
enhancement/program-based-mini-protocol-framework
August 11, 2023 12:57 7m 15s
Turn derivable locale parameters into derived constants Automated quick-and-dirty build #105: Commit a7dbac3 pushed by jeltsch
August 10, 2023 23:10 7m 48s enhancement/program-based-mini-protocol-framework
enhancement/program-based-mini-protocol-framework
August 10, 2023 23:10 7m 48s
Add reference to the language codatatype Automated quick-and-dirty build #104: Commit 80366ba pushed by jeltsch
August 9, 2023 22:37 6m 26s enhancement/program-based-mini-protocol-framework
enhancement/program-based-mini-protocol-framework
August 9, 2023 22:37 6m 26s
Give defines equations custom names Automated quick-and-dirty build #103: Commit 216895b pushed by jeltsch
August 8, 2023 22:32 6m 9s enhancement/program-based-mini-protocol-framework
enhancement/program-based-mini-protocol-framework
August 8, 2023 22:32 6m 9s
Replace the mini-protocol framework by a program-based one Automated quick-and-dirty build #102: Commit 03e0f39 pushed by jeltsch
August 8, 2023 22:12 6m 31s enhancement/program-based-mini-protocol-framework
enhancement/program-based-mini-protocol-framework
August 8, 2023 22:12 6m 31s
Merge enhancement/ping-pong of pull request #55 into master Automated quick-and-dirty build #101: Commit 273ac7f pushed by jeltsch
August 4, 2023 17:01 6m 12s master
master
August 4, 2023 17:01 6m 12s
Implement the ping-pong protocol Automated quick-and-dirty build #100: Commit fca33b7 pushed by jeltsch
August 3, 2023 20:31 6m 9s enhancement/ping-pong
enhancement/ping-pong
August 3, 2023 20:31 6m 9s
Merge enhancement/mini-protocol-framework-core of pull request #53 … Automated quick-and-dirty build #99: Commit 56e3f9d pushed by jeltsch
August 3, 2023 20:31 7m 49s enhancement/ping-pong
enhancement/ping-pong
August 3, 2023 20:31 7m 49s
Merge enhancement/mini-protocol-framework-core of pull request #53 … Automated quick-and-dirty build #98: Commit 56e3f9d pushed by jeltsch
August 3, 2023 20:18 7m 47s master
master
August 3, 2023 20:18 7m 47s
Make example steps value less specified Automated quick-and-dirty build #97: Commit 560880e pushed by jeltsch
July 22, 2023 23:04 6m 2s enhancement/mini-protocol-framework-core
enhancement/mini-protocol-framework-core
July 22, 2023 23:04 6m 2s
Split the type of proper messages according to sender Automated quick-and-dirty build #96: Commit ee24ad8 pushed by jeltsch
July 22, 2023 14:26 6m 28s enhancement/mini-protocol-framework-core
enhancement/mini-protocol-framework-core
July 22, 2023 14:26 6m 28s
Merge master into enhancement/mini-protocol-framework-core Automated quick-and-dirty build #95: Commit 66c6b4b pushed by jeltsch
July 21, 2023 22:25 7m 18s enhancement/mini-protocol-framework-core
enhancement/mini-protocol-framework-core
July 21, 2023 22:25 7m 18s
Add documentation Automated quick-and-dirty build #94: Commit 3a26d26 pushed by jeltsch
July 21, 2023 22:24 6m 43s enhancement/mini-protocol-framework-core
enhancement/mini-protocol-framework-core
July 21, 2023 22:24 6m 43s
Merge enhancement/chain-sync-mini-protocol-implementation of pull r… Automated quick-and-dirty build #93: Commit bd6ca82 pushed by jeltsch
July 21, 2023 17:01 5m 58s master
master
July 21, 2023 17:01 5m 58s
Merge master into `enhancement/chain-sync-mini-protocol-implementat… Automated quick-and-dirty build #92: Commit 8f2c79d pushed by jeltsch
July 21, 2023 16:52 6m 2s enhancement/chain-sync-mini-protocol-implementation
enhancement/chain-sync-mini-protocol-implementation
July 21, 2023 16:52 6m 2s
Remove slot numbers and handling of the genesis block Automated quick-and-dirty build #91: Commit 06e163a pushed by javierdiaz72
July 21, 2023 15:19 4m 1s enhancement/chain-sync-mini-protocol-implementation
enhancement/chain-sync-mini-protocol-implementation
July 21, 2023 15:19 4m 1s
Rename init into initial Automated quick-and-dirty build #90: Commit 3736331 pushed by jeltsch
July 20, 2023 22:52 5m 57s enhancement/mini-protocol-framework-core
enhancement/mini-protocol-framework-core
July 20, 2023 22:52 5m 57s
Add validity constraint to the step type Automated quick-and-dirty build #89: Commit 786604e pushed by jeltsch
July 20, 2023 21:07 7m 44s enhancement/mini-protocol-framework-core
enhancement/mini-protocol-framework-core
July 20, 2023 21:07 7m 44s
Fix calculation of read pointer for a rollback situation Automated quick-and-dirty build #88: Commit f1bde04 pushed by javierdiaz72
July 20, 2023 20:17 3m 27s enhancement/chain-sync-mini-protocol-implementation
enhancement/chain-sync-mini-protocol-implementation
July 20, 2023 20:17 3m 27s
Merge improvement/imports-layout of pull request #49 into master Automated quick-and-dirty build #87: Commit 99eb96e pushed by jeltsch
July 20, 2023 18:41 5m 51s master
master
July 20, 2023 18:41 5m 51s
Merge improvement/imports-layout of pull request #49 into master Automated quick-and-dirty build #86: Commit 99eb96e pushed by jeltsch
July 20, 2023 18:41 8m 0s master
master
July 20, 2023 18:41 8m 0s
Merge master into improvement/imports-layout Automated quick-and-dirty build #85: Commit b36606c pushed by jeltsch
July 20, 2023 18:35 6m 6s improvement/imports-layout
improvement/imports-layout
July 20, 2023 18:35 6m 6s
Merge master into improvement/imports-layout Automated quick-and-dirty build #84: Commit b36606c pushed by jeltsch
July 20, 2023 18:35 6m 6s improvement/imports-layout
improvement/imports-layout
July 20, 2023 18:35 6m 6s