Skip to content

Actions: benkeks/equivalence-fiddle

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
27 workflow runs
27 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Scala CI Scala CI #127: Manually run by benkeks
October 16, 2024 16:09 3m 6s tweak-weak-spectroscopy
tweak-weak-spectroscopy
October 16, 2024 16:09 3m 6s
Scala CI Scala CI #126: synchronize by benkeks
October 16, 2024 16:07 -1s tweak-weak-spectroscopy
tweak-weak-spectroscopy
October 16, 2024 16:07 -1s
Scala CI Scala CI #125: Manually run by benkeks
October 16, 2024 16:04 15s tweak-weak-spectroscopy
tweak-weak-spectroscopy
October 16, 2024 16:04 15s
Scala CI Scala CI #124: synchronize by benkeks
October 16, 2024 16:01 Startup failure tweak-weak-spectroscopy
tweak-weak-spectroscopy
October 16, 2024 16:01 Startup failure
Slightly optimize game solving Scala CI #123: Pull request #22 opened by benkeks
October 16, 2024 15:51 19s tweak-weak-spectroscopy
tweak-weak-spectroscopy
October 16, 2024 15:51 19s
Merge pull request #21 from benkeks/tweak-weak-spectroscopy Scala CI #122: Commit d103163 pushed by benkeks
September 25, 2024 04:23 3m 19s main
main
September 25, 2024 04:23 3m 19s
Add tests for weak spectroscopy Scala CI #121: Pull request #21 opened by benkeks
September 25, 2024 04:22 3m 35s tweak-weak-spectroscopy
tweak-weak-spectroscopy
September 25, 2024 04:22 3m 35s
Merge pull request #20 from benkeks/spectrum-view Scala CI #120: Commit bc6bad2 pushed by benkeks
September 9, 2024 03:33 2m 28s main
main
September 9, 2024 03:33 2m 28s
Spectrum view Scala CI #119: Pull request #20 opened by benkeks
September 9, 2024 03:29 3m 10s spectrum-view
spectrum-view
September 9, 2024 03:29 3m 10s
Add renaming / syntax for CSP style hiding Scala CI #118: Commit 423bf65 pushed by benkeks
September 3, 2024 17:08 2m 33s main
main
September 3, 2024 17:08 2m 33s
Provide finite representation of CCS restriction/recursion nesting Scala CI #117: Commit 459b6e2 pushed by benkeks
September 3, 2024 10:36 3m 29s main
main
September 3, 2024 10:36 3m 29s
Make inner defender loop imperative Scala CI #116: Commit 574761e pushed by benkeks
June 27, 2024 19:19 3m 9s main
main
June 27, 2024 19:19 3m 9s
Add on-the-fly minimum selection in energy game solving Scala CI #115: Commit 94c635b pushed by benkeks
June 26, 2024 12:44 4m 27s main
main
June 26, 2024 12:44 4m 27s
Rename instable ~> unstable Scala CI #114: Commit feb68ee pushed by benkeks
June 26, 2024 12:00 3m 29s main
main
June 26, 2024 12:00 3m 29s
Apply paper naming to example Scala CI #113: Commit feeb9fa pushed by benkeks
April 23, 2024 11:44 2m 35s main
main
April 23, 2024 11:44 2m 35s
Indicate that pipeline markers are clickable Scala CI #112: Commit 6f53a67 pushed by benkeks
April 20, 2024 09:42 4m 40s main
main
April 20, 2024 09:42 4m 40s
Merge pull request #19 from benkeks/pipeline-arrows Scala CI #111: Commit 26fa367 pushed by benkeks
March 21, 2024 13:33 2m 38s main
main
March 21, 2024 13:33 2m 38s
Highlight possible operations by arrows in gutter Scala CI #110: Pull request #19 opened by benkeks
March 21, 2024 13:32 3m 31s pipeline-arrows
pipeline-arrows
March 21, 2024 13:32 3m 31s
Merge pull request #18 from benkeks/fix-delayed-formulas Scala CI #109: Commit ae1ed15 pushed by benkeks
March 19, 2024 14:26 4m 9s main
main
March 19, 2024 14:26 4m 9s
Fix delayed formulas Scala CI #108: Pull request #18 opened by benkeks
March 19, 2024 14:24 4m 33s fix-delayed-formulas
fix-delayed-formulas
March 19, 2024 14:24 4m 33s
Make little-brother-elimination in benchmark optional and deactivate Scala CI #107: Commit eb444ac pushed by benkeks
March 18, 2024 14:21 4m 31s main
main
March 18, 2024 14:21 4m 31s
Split CSV lines in at most 2 places Scala CI #106: Commit cc515f0 pushed by benkeks
March 18, 2024 14:11 5m 23s main
main
March 18, 2024 14:11 5m 23s
Split CSV lines in at most 2 places Scala CI #105: Pull request #17 opened by Gobbel2000
March 18, 2024 11:01 2m 27s Gobbel2000:csv
Gobbel2000:csv
March 18, 2024 11:01 2m 27s
Merge pull request #16 from benkeks/weak-spectrum-improvements Scala CI #104: Commit 42e9e43 pushed by benkeks
January 27, 2024 11:32 3m 10s main
main
January 27, 2024 11:32 3m 10s
Weak spectrum improvements Scala CI #103: Pull request #16 synchronize by benkeks
January 23, 2024 13:50 3m 40s weak-spectrum-improvements
weak-spectrum-improvements
January 23, 2024 13:50 3m 40s