Skip to content

Actions: input-output-hk/equivalence-reasoner

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2 workflow runs
2 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge bugfix/copyright-and-license of pull request #75 into master Automated quick-and-dirty build #150: Commit 4492906 pushed by jeltsch
January 23, 2024 18:08 4m 24s master
master
January 23, 2024 18:08 4m 24s
Fix copyright and licensing information Automated quick-and-dirty build #149: Commit 59e5ca9 pushed by jeltsch
January 23, 2024 16:27 4m 38s bugfix/copyright-and-license
bugfix/copyright-and-license
January 23, 2024 16:27 4m 38s