Skip to content

Actions: input-output-hk/network-equivalences

Actions

All workflows

Actions

Loading...

Showing runs from all workflows
21 workflow runs
21 workflow runs
Event

Filter by event
Status

Filter by status
Branch
Actor

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
Merge enhancement/better-contribution-rules of pull request #39 int… Automated quick-and-dirty build #111: Commit ab64191 pushed by jeltsch
July 20, 2023 14:10 6m 46s master
master
July 20, 2023 14:10 6m 46s
Merge master into enhancement/better-contribution-rules Automated quick-and-dirty build #110: Commit bf93825 pushed by jeltsch
July 20, 2023 13:55 6m 40s enhancement/better-contribution-rules
enhancement/better-contribution-rules
July 20, 2023 13:55 6m 40s
Merge improvement/imports-layout of pull request #37 into master Automated quick-and-dirty build #109: Commit ebb96db pushed by jeltsch
July 20, 2023 13:55 6m 14s master
master
July 20, 2023 13:55 6m 14s
Merge master into improvement/imports-layout Automated quick-and-dirty build #108: Commit 893d326 pushed by jeltsch
July 20, 2023 13:35 7m 38s improvement/imports-layout
improvement/imports-layout
July 20, 2023 13:35 7m 38s
Merge bugfix/process-term-disambiguation of pull request #45 into `… Automated quick-and-dirty build #107: Commit 0b9e1ae pushed by jeltsch
July 20, 2023 13:29 8m 42s master
master
July 20, 2023 13:29 8m 42s
Merge bugfix/general-parallel-standard-notation into `bugfix/proces… Automated quick-and-dirty build #106: Commit da4f14a pushed by jeltsch
July 19, 2023 17:54 7m 25s bugfix/process-term-disambiguation
bugfix/process-term-disambiguation
July 19, 2023 17:54 7m 25s
Add import of stmaryrd Automated quick-and-dirty build #105: Commit 8329415 pushed by jeltsch
July 19, 2023 17:33 2m 9s bugfix/general-parallel-standard-notation
bugfix/general-parallel-standard-notation
July 19, 2023 17:33 2m 9s
Adapt this session to the change from ∏ to ‖ Automated quick-and-dirty build #104: Commit dc9c045 pushed by jeltsch
July 19, 2023 15:32 2m 21s bugfix/general-parallel-standard-notation
bugfix/general-parallel-standard-notation
July 19, 2023 15:32 2m 21s
Add indirect dependency on ZFC_in_HOL Automated quick-and-dirty build #103: Commit b0ad962 pushed by jeltsch
July 19, 2023 15:05 5m 42s bugfix/zfc-in-hol-dependency
bugfix/zfc-in-hol-dependency
July 19, 2023 15:05 5m 42s
Extend and improve the contribution rules Automated quick-and-dirty build #102: Commit cc64d26 pushed by jeltsch
July 16, 2023 20:01 2m 25s enhancement/better-contribution-rules
enhancement/better-contribution-rules
July 16, 2023 20:01 2m 25s
Improve the layout of imports clauses Automated quick-and-dirty build #101: Commit 0861483 pushed by jeltsch
July 16, 2023 16:55 2m 10s improvement/imports-layout
improvement/imports-layout
July 16, 2023 16:55 2m 10s
Merge improvement/afp-sessions of pull request #34 into master Automated quick-and-dirty build #100: Commit cf162db pushed by jeltsch
May 10, 2023 21:45 5m 35s master
master
May 10, 2023 21:45 5m 35s
Adapt workflow to jeltsch/actions-isabelle-build#8 Automated quick-and-dirty build #99: Commit 5d172f7 pushed by jeltsch
May 10, 2023 17:53 5m 56s improvement/afp-sessions
improvement/afp-sessions
May 10, 2023 17:53 5m 56s
Merge improvement/actions-isabelle-build of pull request #32 into `… Automated quick-and-dirty build #98: Commit 65910b2 pushed by jeltsch
May 9, 2023 21:53 5m 57s master
master
May 9, 2023 21:53 5m 57s
Change newlines to spaces in github-sessions Automated quick-and-dirty build #97: Commit b84cbb0 pushed by jeltsch
May 8, 2023 23:06 6m 4s improvement/actions-isabelle-build
improvement/actions-isabelle-build
May 8, 2023 23:06 6m 4s
Start using jeltsch/actions-isabelle-build Automated quick-and-dirty build #96: Commit ac0b7ad pushed by jeltsch
May 8, 2023 22:56 1m 54s improvement/actions-isabelle-build
improvement/actions-isabelle-build
May 8, 2023 22:56 1m 54s