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

Merge bugfix/copyright-and-license of pull request #104 into master Automated quick-and-dirty build #233: Commit d086170 pushed by jeltsch
January 23, 2024 18:08 4m 47s master
master
January 23, 2024 18:08 4m 47s
Fix copyright and licensing information Automated quick-and-dirty build #232: Commit 62c054a pushed by jeltsch
January 23, 2024 16:28 4m 47s bugfix/copyright-and-license
bugfix/copyright-and-license
January 23, 2024 16:28 4m 47s
Merge enhancement/readme-completion of pull request #102 into master Automated quick-and-dirty build #231: Commit 122cd03 pushed by jeltsch
January 22, 2024 23:22 6m 5s master
master
January 22, 2024 23:22 6m 5s
Fix the URL of the Ouroboros Praos article Automated quick-and-dirty build #230: Commit c117942 pushed by jeltsch
January 22, 2024 14:48 4m 51s enhancement/readme-completion
enhancement/readme-completion
January 22, 2024 14:48 4m 51s
Add an overview Automated quick-and-dirty build #229: Commit 44bc345 pushed by jeltsch
January 22, 2024 14:42 5m 17s enhancement/readme-completion
enhancement/readme-completion
January 22, 2024 14:42 5m 17s
Specify the dependencies on other Isabelle sessions Automated quick-and-dirty build #228: Commit f57b8b2 pushed by jeltsch
January 20, 2024 17:10 6m 20s enhancement/readme-completion
enhancement/readme-completion
January 20, 2024 17:10 6m 20s
Informally prove property of the chain sync mini-protocol with fixed … Automated quick-and-dirty build #227: Commit 96d45e0 pushed by javierdiaz72
January 19, 2024 22:54 6m 31s enhancement/chain-sync-mini-protocol-simple-correctness-proof-sketch
enhancement/chain-sync-mini-protocol-simple-correctness-proof-sketch
January 19, 2024 22:54 6m 31s
Specify property of the chain sync mini-protocol with fixed chain Automated quick-and-dirty build #226: Commit 4e2d863 pushed by javierdiaz72
January 15, 2024 23:10 5m 30s enhancement/chain-sync-mini-protocol-simple-correctness-specification
enhancement/chain-sync-mini-protocol-simple-correctness-specification
January 15, 2024 23:10 5m 30s
Merge enhancement/complete-chain-sync-program-based of pull request… Automated quick-and-dirty build #225: Commit 78a3e59 pushed by jeltsch
November 29, 2023 21:36 6m 3s master
master
November 29, 2023 21:36 6m 3s
Remove a superfluous empty line Automated quick-and-dirty build #224: Commit 5d113a4 pushed by jeltsch
November 28, 2023 21:14 4m 44s enhancement/complete-chain-sync-program-based
enhancement/complete-chain-sync-program-based
November 28, 2023 21:14 4m 44s
Change u to 𝒞 Automated quick-and-dirty build #223: Commit 7be2444 pushed by jeltsch
November 28, 2023 17:57 4m 49s enhancement/complete-chain-sync-program-based
enhancement/complete-chain-sync-program-based
November 28, 2023 17:57 4m 49s
Change 'p to 'q in the definition of server_step Automated quick-and-dirty build #222: Commit 1482c0a pushed by jeltsch
November 28, 2023 15:28 4m 35s enhancement/complete-chain-sync-program-based
enhancement/complete-chain-sync-program-based
November 28, 2023 15:28 4m 35s
Remove underscores from server phase identifiers Automated quick-and-dirty build #221: Commit 2f5a315 pushed by jeltsch
November 28, 2023 14:51 4m 42s enhancement/complete-chain-sync-program-based
enhancement/complete-chain-sync-program-based
November 28, 2023 14:51 4m 42s
Drop sending the initial chain Automated quick-and-dirty build #220: Commit 64d3db9 pushed by jeltsch
November 26, 2023 22:21 4m 46s enhancement/complete-chain-sync-program-based
enhancement/complete-chain-sync-program-based
November 26, 2023 22:21 4m 46s
Move and improve the text about server_chains Automated quick-and-dirty build #219: Commit a4270d9 pushed by jeltsch
November 26, 2023 21:52 4m 49s enhancement/complete-chain-sync-program-based
enhancement/complete-chain-sync-program-based
November 26, 2023 21:52 4m 49s
Get rid of the use of smt Automated quick-and-dirty build #218: Commit 5630684 pushed by jeltsch
November 26, 2023 21:35 4m 45s enhancement/complete-chain-sync-program-based
enhancement/complete-chain-sync-program-based
November 26, 2023 21:35 4m 45s
Rename server_chain_updates to server_chains Automated quick-and-dirty build #217: Commit 09cbc40 pushed by jeltsch
November 26, 2023 21:27 4m 26s enhancement/complete-chain-sync-program-based
enhancement/complete-chain-sync-program-based
November 26, 2023 21:27 4m 26s
Improve names of server phases Automated quick-and-dirty build #216: Commit bdfe40e pushed by jeltsch
November 26, 2023 21:12 4m 30s enhancement/complete-chain-sync-program-based
enhancement/complete-chain-sync-program-based
November 26, 2023 21:12 4m 30s
Change identifiers *_program to *_main_loop Automated quick-and-dirty build #215: Commit 10d3a26 pushed by jeltsch
November 26, 2023 21:01 4m 28s enhancement/complete-chain-sync-program-based
enhancement/complete-chain-sync-program-based
November 26, 2023 21:01 4m 28s
Correct and simplify server program Automated quick-and-dirty build #214: Commit 1c6a24f pushed by jeltsch
November 26, 2023 20:51 4m 27s enhancement/complete-chain-sync-program-based
enhancement/complete-chain-sync-program-based
November 26, 2023 20:51 4m 27s
Add a space before ⦇ Automated quick-and-dirty build #213: Commit 9012e34 pushed by javierdiaz72
November 22, 2023 15:33 4m 49s enhancement/complete-chain-sync-program-based
enhancement/complete-chain-sync-program-based
November 22, 2023 15:33 4m 49s
Drop unnecessary comment Automated quick-and-dirty build #212: Commit b4a8654 pushed by javierdiaz72
November 22, 2023 15:28 4m 39s enhancement/complete-chain-sync-program-based
enhancement/complete-chain-sync-program-based
November 22, 2023 15:28 4m 39s
Rename server_state_in_phase to state_in_server_phase Automated quick-and-dirty build #211: Commit bbed133 pushed by javierdiaz72
November 22, 2023 15:09 4m 46s enhancement/complete-chain-sync-program-based
enhancement/complete-chain-sync-program-based
November 22, 2023 15:09 4m 46s
Drop unnecessary comments Automated quick-and-dirty build #210: Commit 37b475d pushed by javierdiaz72
November 22, 2023 14:55 4m 37s enhancement/complete-chain-sync-program-based
enhancement/complete-chain-sync-program-based
November 22, 2023 14:55 4m 37s
Handle the two phases in the opposite order in server_program Automated quick-and-dirty build #209: Commit db422d9 pushed by javierdiaz72
November 22, 2023 14:37 4m 48s enhancement/complete-chain-sync-program-based
enhancement/complete-chain-sync-program-based
November 22, 2023 14:37 4m 48s