Skip to content

Actions: input-output-hk/equivalence-reasoner

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
9 workflow runs
9 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
Merge improvement/imports-layout of pull request #71 into master Automated quick-and-dirty build #148: Commit 0a52f79 pushed by jeltsch
July 18, 2023 16:59 4m 10s master
master
July 18, 2023 16:59 4m 10s
Merge master into improvement/imports-layout Automated quick-and-dirty build #147: Commit 67cee9d pushed by jeltsch
July 18, 2023 16:52 3m 35s improvement/imports-layout
improvement/imports-layout
July 18, 2023 16:52 3m 35s
Merge enhancement/better-contribution-rules of pull request #73 int… Automated quick-and-dirty build #146: Commit 5695d8f pushed by jeltsch
July 18, 2023 15:47 6m 25s master
master
July 18, 2023 15:47 6m 25s
Extend and improve the contribution rules Automated quick-and-dirty build #145: Commit 1d01ec9 pushed by jeltsch
July 16, 2023 20:01 5m 28s enhancement/better-contribution-rules
enhancement/better-contribution-rules
July 16, 2023 20:01 5m 28s
Improve the layout of the imports clause Automated quick-and-dirty build #144: Commit f9a0ebd pushed by jeltsch
July 16, 2023 17:11 1m 28s enhancement/next-generation-usage-example
enhancement/next-generation-usage-example
July 16, 2023 17:11 1m 28s
Improve the layout of imports clauses Automated quick-and-dirty build #143: Commit b6bb82b pushed by jeltsch
July 16, 2023 16:59 3m 34s improvement/imports-layout
improvement/imports-layout
July 16, 2023 16:59 3m 34s
Merge improvement/afp-sessions of pull request #69 into master Automated quick-and-dirty build #142: Commit daaed2c pushed by jeltsch
July 16, 2023 16:42 6m 25s improvement/imports-layout
improvement/imports-layout
July 16, 2023 16:42 6m 25s