Skip to content

Actions: input-output-hk/thorn-calculus

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
24 workflow runs
24 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
Merge bugfix/sync-io-type-restriction of pull request #127 into `ma… Automated quick-and-dirty build #215: Commit eec4b44 pushed by jeltsch
October 17, 2023 22:57 6m 8s master
master
October 17, 2023 22:57 6m 8s
Restrict the types of sync_send and sync_receive Automated quick-and-dirty build #214: Commit bb77ad0 pushed by jeltsch
October 13, 2023 00:41 8m 30s bugfix/sync-io-type-restriction
bugfix/sync-io-type-restriction
October 13, 2023 00:41 8m 30s
Merge improvement/sync-send-pretty-printing-block of pull request #… Automated quick-and-dirty build #213: Commit 735dcaf pushed by jeltsch
October 5, 2023 19:02 5m 50s master
master
October 5, 2023 19:02 5m 50s
Make sync_send processes pretty-printing blocks Automated quick-and-dirty build #212: Commit 5a2f883 pushed by jeltsch
October 3, 2023 17:41 6m 51s improvement/sync-send-pretty-printing-block
improvement/sync-send-pretty-printing-block
October 3, 2023 17:41 6m 51s
Merge enhancement/untyped-synchronous-channels of pull request #123… Automated quick-and-dirty build #211: Commit fa2b389 pushed by jeltsch
October 3, 2023 13:21 5m 59s master
master
October 3, 2023 13:21 5m 59s
Merge master into enhancement/untyped-synchronous-channels Automated quick-and-dirty build #210: Commit 02e9785 pushed by jeltsch
October 3, 2023 13:14 6m 50s enhancement/untyped-synchronous-channels
enhancement/untyped-synchronous-channels
October 3, 2023 13:14 6m 50s
Merge improvement/more-descriptive-val-morphism-names of pull reque… Automated quick-and-dirty build #209: Commit a9d7a1f pushed by jeltsch
October 3, 2023 13:13 7m 40s master
master
October 3, 2023 13:13 7m 40s
Merge master into improvement/more-descriptive-val-morphism-names Automated quick-and-dirty build #208: Commit ad9ea0b pushed by jeltsch
October 3, 2023 12:53 7m 38s improvement/more-descriptive-val-morphism-names
improvement/more-descriptive-val-morphism-names
October 3, 2023 12:53 7m 38s
Add support for untyped synchronous channels Automated quick-and-dirty build #207: Commit 92fb2bd pushed by jeltsch
October 3, 2023 12:51 5m 37s enhancement/untyped-synchronous-channels
enhancement/untyped-synchronous-channels
October 3, 2023 12:51 5m 37s
Merge enhancement/sync-channel-embeddable of pull request #122 into… Automated quick-and-dirty build #206: Commit d4531ec pushed by jeltsch
October 3, 2023 12:43 5m 55s master
master
October 3, 2023 12:43 5m 55s
Make sync_channel an instance of embeddable Automated quick-and-dirty build #205: Commit 10506f3 pushed by jeltsch
October 3, 2023 12:36 5m 43s enhancement/sync-channel-embeddable
enhancement/sync-channel-embeddable
October 3, 2023 12:36 5m 43s
Merge improvement/sync-channel-definition of pull request #119 into… Automated quick-and-dirty build #204: Commit 750a483 pushed by jeltsch
October 3, 2023 12:34 6m 31s master
master
October 3, 2023 12:34 6m 31s
Improve the definition of sync_channel Automated quick-and-dirty build #203: Commit 59c26da pushed by jeltsch
October 3, 2023 11:34 5m 48s improvement/sync-channel-definition
improvement/sync-channel-definition
October 3, 2023 11:34 5m 48s
Give val morphisms more descriptive names Automated quick-and-dirty build #202: Commit 07e3bac pushed by jeltsch
October 3, 2023 11:17 5m 49s improvement/more-descriptive-val-morphism-names
improvement/more-descriptive-val-morphism-names
October 3, 2023 11:17 5m 49s
Merge enhancement/synchronous-channels of pull request #115 into `m… Automated quick-and-dirty build #201: Commit 3f1727d pushed by jeltsch
September 29, 2023 19:39 8m 35s master
master
September 29, 2023 19:39 8m 35s
Add support for synchronous channels Automated quick-and-dirty build #200: Commit a28f2d0 pushed by jeltsch
September 28, 2023 18:00 10m 34s enhancement/synchronous-channels
enhancement/synchronous-channels
September 28, 2023 18:00 10m 34s