Skip to content

Actions: input-output-hk/thorn-calculus

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
8 workflow runs
8 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge bugfix/copyright-and-license of pull request #135 into master Automated quick-and-dirty build #223: Commit a7077e6 pushed by jeltsch
January 23, 2024 18:08 4m 26s master
master
January 23, 2024 18:08 4m 26s
Fix copyright and licensing information Automated quick-and-dirty build #222: Commit 6fe0645 pushed by jeltsch
January 23, 2024 16:28 4m 23s bugfix/copyright-and-license
bugfix/copyright-and-license
January 23, 2024 16:28 4m 23s
Merge enhancement/readme-completion of pull request #133 into master Automated quick-and-dirty build #221: Commit c6e9c5e pushed by jeltsch
January 22, 2024 23:22 5m 54s master
master
January 22, 2024 23:22 5m 54s
Add an overview Automated quick-and-dirty build #220: Commit bef67df pushed by jeltsch
January 22, 2024 14:41 4m 45s enhancement/readme-completion
enhancement/readme-completion
January 22, 2024 14:41 4m 45s
Specify the dependencies on other Isabelle sessions Automated quick-and-dirty build #219: Commit 7391efe pushed by jeltsch
January 20, 2024 17:09 5m 30s enhancement/readme-completion
enhancement/readme-completion
January 20, 2024 17:09 5m 30s
Make synchronous channels work for process families Automated quick-and-dirty build #218: Commit d998775 pushed by javierdiaz72
January 15, 2024 13:44 5m 23s enhancement/synchronous-channels-process-family-support
enhancement/synchronous-channels-process-family-support
January 15, 2024 13:44 5m 23s
Merge bugfix/sync-io-type-restriction of pull request #127 into `ma… Automated quick-and-dirty build #217: Commit eec4b44 pushed by javierdiaz72
January 15, 2024 13:43 5m 40s enhancement/synchronous-channels-process-family-support
enhancement/synchronous-channels-process-family-support
January 15, 2024 13:43 5m 40s
Add support for ordered transmission Automated quick-and-dirty build #216: Commit e7b9104 pushed by jeltsch
January 15, 2024 01:09 5m 33s enhancement/fifo-transmission
enhancement/fifo-transmission
January 15, 2024 01:09 5m 33s