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

Change 𝒞 to C Automated quick-and-dirty build #158: Commit 84464da pushed by javierdiaz72
September 26, 2023 15:11 8m 21s enhancement/initial-chain-sync-program-based
enhancement/initial-chain-sync-program-based
September 26, 2023 15:11 8m 21s
Improve the order of imports Automated quick-and-dirty build #157: Commit 043166e pushed by javierdiaz72
September 26, 2023 15:05 6m 35s enhancement/initial-chain-sync-program-based
enhancement/initial-chain-sync-program-based
September 26, 2023 15:05 6m 35s
Change 𝒞⇩1 to 𝒞' in roll_back Automated quick-and-dirty build #156: Commit 0912719 pushed by javierdiaz72
September 26, 2023 15:01 6m 32s enhancement/initial-chain-sync-program-based
enhancement/initial-chain-sync-program-based
September 26, 2023 15:01 6m 32s
Drop using p in favor of using q for points Automated quick-and-dirty build #155: Commit 7a74e4d pushed by javierdiaz72
September 26, 2023 14:54 8m 27s enhancement/initial-chain-sync-program-based
enhancement/initial-chain-sync-program-based
September 26, 2023 14:54 8m 27s
Change rp to k and mrb to r in server_program Automated quick-and-dirty build #154: Commit 2f8c216 pushed by javierdiaz72
September 25, 2023 14:54 6m 24s enhancement/initial-chain-sync-program-based
enhancement/initial-chain-sync-program-based
September 25, 2023 14:54 6m 24s
Properly align the outermost ) in client_program Automated quick-and-dirty build #153: Commit ac376e0 pushed by javierdiaz72
September 25, 2023 13:01 7m 42s enhancement/initial-chain-sync-program-based
enhancement/initial-chain-sync-program-based
September 25, 2023 13:01 7m 42s
Use Sublist.prefix instead of its definition Automated quick-and-dirty build #152: Commit 2da43a1 pushed by javierdiaz72
September 25, 2023 12:47 7m 43s enhancement/initial-chain-sync-program-based
enhancement/initial-chain-sync-program-based
September 25, 2023 12:47 7m 43s
Make first_intersection_point more compact Automated quick-and-dirty build #151: Commit 8bfebf1 pushed by javierdiaz72
September 25, 2023 12:31 7m 44s enhancement/initial-chain-sync-program-based
enhancement/initial-chain-sync-program-based
September 25, 2023 12:31 7m 44s
Remove parenthesis around case patterns Automated quick-and-dirty build #150: Commit 931d323 pushed by jeltsch
September 23, 2023 22:41 7m 22s improvement/no-case-pattern-parentheses
improvement/no-case-pattern-parentheses
September 23, 2023 22:41 7m 22s
Adapt heading to single-state-machine specification Automated quick-and-dirty build #149: Commit f8b4ea7 pushed by jeltsch
September 23, 2023 22:38 7m 50s bugfix/only-one-state-machine
bugfix/only-one-state-machine
September 23, 2023 22:38 7m 50s
Improve text in comment in server_program Automated quick-and-dirty build #148: Commit a0ef9d8 pushed by javierdiaz72
September 22, 2023 21:01 6m 25s enhancement/initial-chain-sync-program-based
enhancement/initial-chain-sync-program-based
September 22, 2023 21:01 6m 25s
Drop the preposition of from point_of and index_of Automated quick-and-dirty build #147: Commit 07e9f06 pushed by javierdiaz72
September 22, 2023 20:40 6m 25s enhancement/initial-chain-sync-program-based
enhancement/initial-chain-sync-program-based
September 22, 2023 20:40 6m 25s
Place ψ as the first parameter in index_of Automated quick-and-dirty build #146: Commit 82fce86 pushed by javierdiaz72
September 22, 2023 20:27 6m 17s enhancement/initial-chain-sync-program-based
enhancement/initial-chain-sync-program-based
September 22, 2023 20:27 6m 17s
Improve text in comment in client_program Automated quick-and-dirty build #145: Commit fdc0c2a pushed by javierdiaz72
September 22, 2023 19:56 6m 20s enhancement/initial-chain-sync-program-based
enhancement/initial-chain-sync-program-based
September 22, 2023 19:56 6m 20s
Drop line break before case in client_program Automated quick-and-dirty build #144: Commit 02d9391 pushed by javierdiaz72
September 22, 2023 19:15 6m 17s enhancement/initial-chain-sync-program-based
enhancement/initial-chain-sync-program-based
September 22, 2023 19:15 6m 17s
Amend previous commit (e4b5357) Automated quick-and-dirty build #143: Commit c8f22ea pushed by javierdiaz72
September 22, 2023 19:06 6m 23s enhancement/initial-chain-sync-program-based
enhancement/initial-chain-sync-program-based
September 22, 2023 19:06 6m 23s
Sort the arguments of client_program accordingly Automated quick-and-dirty build #142: Commit e4b5357 pushed by javierdiaz72
September 22, 2023 18:46 6m 22s enhancement/initial-chain-sync-program-based
enhancement/initial-chain-sync-program-based
September 22, 2023 18:46 6m 22s
Change ph to φ in client_program Automated quick-and-dirty build #141: Commit 217a9c6 pushed by javierdiaz72
September 22, 2023 18:38 6m 34s enhancement/initial-chain-sync-program-based
enhancement/initial-chain-sync-program-based
September 22, 2023 18:38 6m 34s
Sort the parameters of the chain_sync locale accordingly Automated quick-and-dirty build #140: Commit e773f95 pushed by javierdiaz72
September 22, 2023 18:32 6m 28s enhancement/initial-chain-sync-program-based
enhancement/initial-chain-sync-program-based
September 22, 2023 18:32 6m 28s
Place the definition of phase after roll_back Automated quick-and-dirty build #139: Commit 9bc20c2 pushed by javierdiaz72
September 22, 2023 18:25 6m 22s enhancement/initial-chain-sync-program-based
enhancement/initial-chain-sync-program-based
September 22, 2023 18:25 6m 22s
Parenthesize ∃-expression in roll_back for clarity Automated quick-and-dirty build #138: Commit ef9c961 pushed by javierdiaz72
September 22, 2023 18:16 7m 13s enhancement/initial-chain-sync-program-based
enhancement/initial-chain-sync-program-based
September 22, 2023 18:16 7m 13s
Rename roll_back_to to roll_back Automated quick-and-dirty build #137: Commit 835363b pushed by javierdiaz72
September 22, 2023 18:01 6m 39s enhancement/initial-chain-sync-program-based
enhancement/initial-chain-sync-program-based
September 22, 2023 18:01 6m 39s
Place ψ as the first parameter in roll_back_to Automated quick-and-dirty build #136: Commit 0b5be84 pushed by javierdiaz72
September 22, 2023 17:50 6m 35s enhancement/initial-chain-sync-program-based
enhancement/initial-chain-sync-program-based
September 22, 2023 17:50 6m 35s
Use primrec instead of fun for agent_in_state' Automated quick-and-dirty build #135: Commit 04a0252 pushed by javierdiaz72
September 22, 2023 17:39 6m 33s enhancement/initial-chain-sync-program-based
enhancement/initial-chain-sync-program-based
September 22, 2023 17:39 6m 33s
Fix typo in discriminator for RequestNext Automated quick-and-dirty build #134: Commit 163e645 pushed by javierdiaz72
September 22, 2023 15:38 6m 40s enhancement/initial-chain-sync-program-based
enhancement/initial-chain-sync-program-based
September 22, 2023 15:38 6m 40s