Skip to content

Actions: jwaldmann/haskell-tpdb

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
14 workflow runs
14 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

no sIsEmpty Haskell-CI #65: Commit be514cb pushed by jwaldmann
1d 0h 0m 1s master
master
1d 0h 0m 1s
ceta-3 relative string reversal Haskell-CI #64: Commit 89ddc63 pushed by jwaldmann
1d 0h 0m 1s master
master
1d 0h 0m 1s
more ceta-3 Haskell-CI #63: Commit 5c36b74 pushed by jwaldmann
1d 0h 0m 2s master
master
1d 0h 0m 2s
note changes Haskell-CI #62: Commit 175ff3c pushed by jwaldmann
1d 0h 0m 3s master
master
1d 0h 0m 3s
apparently we don't write the relative part (here) if it's empty Haskell-CI #61: Commit 6cbae5d pushed by jwaldmann
1d 0h 0m 2s master
master
1d 0h 0m 2s
changes in ceta-3.6 Haskell-CI #60: Commit a6b82a8 pushed by jwaldmann
1d 0h 0m 1s master
master
1d 0h 0m 1s
handle relative rules in trsinput for ceta-3.4 Haskell-CI #59: Commit 864cf3c pushed by jwaldmann
1d 0h 0m 2s master
master
1d 0h 0m 2s
for relative terminaion (WIP) Haskell-CI #58: Commit 31bc6e6 pushed by jwaldmann
1d 0h 0m 1s master
master
1d 0h 0m 1s
add notes Haskell-CI #57: Commit b48cc60 pushed by jwaldmann
1d 0h 0m 2s master
master
1d 0h 0m 2s
sort-of-working for ceta-3.4 Haskell-CI #56: Commit af26071 pushed by jwaldmann
1d 0h 0m 1s master
master
1d 0h 0m 1s
repair output format Haskell-CI #55: Commit 314419c pushed by jwaldmann
1d 0h 0m 1s master
master
1d 0h 0m 1s
for ceta-3.4 Haskell-CI #54: Commit e6af6aa pushed by jwaldmann
1d 0h 0m 1s master
master
1d 0h 0m 1s
prepare for output of core matrix interpretations Haskell-CI #53: Commit 9db0e17 pushed by jwaldmann
1d 0h 0m 2s master
master
1d 0h 0m 2s
fix #46, bump version number Haskell-CI #52: Commit 1e0505b pushed by jwaldmann
2d 1h 48m 43s master
master
2d 1h 48m 43s