Skip to content

Actions: fmidue/logic-tasks

Haskell CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
502 workflow runs
502 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

address HLint hint
Haskell CI #697: Commit 09eb870 pushed by jvoigtlaender
September 5, 2024 13:14 15m 1s master
September 5, 2024 13:14 15m 1s
Bei LogicResolutionComplete "Neuberechnung" einer Musterlösung vermei…
Haskell CI #696: Commit 8e1e8e8 pushed by jvoigtlaender
September 5, 2024 13:10 30m 26s master
September 5, 2024 13:10 30m 26s
replace nub by nubOrd
Haskell CI #695: Commit f328aba pushed by jvoigtlaender
September 5, 2024 13:06 21m 14s master
September 5, 2024 13:06 21m 14s
Eingabe bei Decide auf gültige Indizes überprüfen (#162)
Haskell CI #694: Commit c3f0c74 pushed by jvoigtlaender
September 5, 2024 13:03 16m 34s master
September 5, 2024 13:03 16m 34s
Bäume/Formeln explizit in der Aufgabenstellung bei ComposeFormula b…
Haskell CI #693: Commit a224866 pushed by jvoigtlaender
September 5, 2024 12:58 30m 23s master
September 5, 2024 12:58 30m 23s
Hinweis auf unbekannte Atome in Einreichung
Haskell CI #692: Pull request #166 opened by nimec01
September 5, 2024 12:13 12m 31s nimec01:check-for-unknown-atoms
September 5, 2024 12:13 12m 31s
Formelausgabe bei IllegalFormulas anpassen
Haskell CI #691: Pull request #165 opened by nimec01
September 5, 2024 12:05 14m 42s nimec01:update-solution-display
September 5, 2024 12:05 14m 42s
Umfangreicheres Beispiel für Resolution
Haskell CI #690: Pull request #164 opened by nimec01
September 5, 2024 10:55 27m 18s nimec01:update-example
September 5, 2024 10:55 27m 18s
Fix current linter errors
Haskell CI #689: Pull request #163 opened by nimec01
September 5, 2024 10:45 14m 27s nimec01:fix-linter
September 5, 2024 10:45 14m 27s
Bei LogicResolutionComplete "Neuberechnung" einer Musterlösung vermeiden
Haskell CI #688: Pull request #154 synchronize by nimec01
September 5, 2024 10:38 22m 8s nimec01:153
September 5, 2024 10:38 22m 8s
Bei LogicResolutionComplete "Neuberechnung" einer Musterlösung vermeiden
Haskell CI #687: Pull request #154 synchronize by nimec01
September 5, 2024 10:36 56s nimec01:153
September 5, 2024 10:36 56s
Bei LogicResolutionComplete "Neuberechnung" einer Musterlösung vermeiden
Haskell CI #686: Pull request #154 synchronize by nimec01
September 5, 2024 10:34 57s nimec01:153
September 5, 2024 10:34 57s
Eingabe bei Decide auf gültige Indizes überprüfen
Haskell CI #685: Pull request #162 synchronize by nimec01
September 5, 2024 10:15 15m 29s nimec01:missing-test-decide
September 5, 2024 10:15 15m 29s
add pointer to test descriptions
Haskell CI #683: Commit db5efb3 pushed by jvoigtlaender
September 3, 2024 17:42 16m 43s master
September 3, 2024 17:42 16m 43s
Add more tests for genCnf and genDnf (#160)
Haskell CI #682: Commit 6b9ed04 pushed by jvoigtlaender
September 3, 2024 17:12 17m 50s master
September 3, 2024 17:12 17m 50s
Eingabe bei Decide auf gültige Indizes überprüfen
Haskell CI #681: Pull request #162 opened by nimec01
September 3, 2024 14:25 17m 5s nimec01:missing-test-decide
September 3, 2024 14:25 17m 5s
Add more tests for genCnf and genDnf
Haskell CI #679: Pull request #160 opened by nimec01
September 3, 2024 13:15 19m 54s nimec01:more-cnf-dnf-tests
September 3, 2024 13:15 19m 54s
Bei LogicResolutionComplete "Neuberechnung" einer Musterlösung vermeiden
Haskell CI #678: Pull request #154 synchronize by nimec01
September 3, 2024 12:49 12m 52s nimec01:153
September 3, 2024 12:49 12m 52s
Bei LogicResolutionComplete "Neuberechnung" einer Musterlösung vermeiden
Haskell CI #677: Pull request #154 synchronize by nimec01
September 3, 2024 12:43 11m 0s nimec01:153
September 3, 2024 12:43 11m 0s
Bei LogicResolutionComplete "Neuberechnung" einer Musterlösung vermeiden
Haskell CI #676: Pull request #154 synchronize by jvoigtlaender
September 2, 2024 15:13 22m 4s nimec01:153
September 2, 2024 15:13 22m 4s
Add missing Parse instance for debug module (#158)
Haskell CI #675: Commit d30122c pushed by jvoigtlaender
September 2, 2024 15:10 20m 48s master
September 2, 2024 15:10 20m 48s
More general formulas for Pick, Fill and Decide (#124)
Haskell CI #674: Commit 003b5c7 pushed by jvoigtlaender
September 2, 2024 15:03 22m 46s master
September 2, 2024 15:03 22m 46s
Add missing Parse instance for debug
Haskell CI #673: Pull request #158 opened by nimec01
August 29, 2024 14:43 1m 41s nimec01:fix-debug
August 29, 2024 14:43 1m 41s
ProTip! You can narrow down the results and go further in time using created:<2024-08-29 or the other filters available.