Skip to content

Actions: input-output-hk/network-equivalences

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
5 workflow runs
5 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge bugfix/copyright-and-license of pull request #49 into master Automated quick-and-dirty build #116: Commit 445430b pushed by jeltsch
January 23, 2024 18:08 4m 23s master
master
January 23, 2024 18:08 4m 23s
Fix copyright and licensing information Automated quick-and-dirty build #115: Commit 3b6e07f pushed by jeltsch
January 23, 2024 16:28 4m 15s bugfix/copyright-and-license
bugfix/copyright-and-license
January 23, 2024 16:28 4m 15s
Merge enhancement/readme-completion of pull request #47 into master Automated quick-and-dirty build #114: Commit 246ba5f pushed by jeltsch
January 22, 2024 23:22 6m 3s master
master
January 22, 2024 23:22 6m 3s
Add an overview Automated quick-and-dirty build #113: Commit ca79157 pushed by jeltsch
January 22, 2024 14:41 4m 42s enhancement/readme-completion
enhancement/readme-completion
January 22, 2024 14:41 4m 42s
Specify the dependencies on other Isabelle sessions Automated quick-and-dirty build #112: Commit b6a4b91 pushed by jeltsch
January 20, 2024 17:10 5m 32s enhancement/readme-completion
enhancement/readme-completion
January 20, 2024 17:10 5m 32s