Skip to content

Actions: fmidue/logic-tasks

Actions

Check .cabal Consistency

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
consistency.yml
74 workflow run results
74 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

remove .ghci file and re-export types needed to call testModule Check .cabal Consistency #218: Commit a339a3e pushed by owestphal
September 16, 2024 13:53 1m 39s master
master
September 16, 2024 13:53 1m 39s
Lösungen in den Instanzen speichern (#170) Check .cabal Consistency #217: Commit 085cba0 pushed by jvoigtlaender
September 12, 2024 15:13 1m 36s master
master
September 12, 2024 15:13 1m 36s
Add offerUnicodeInput setting Check .cabal Consistency #216: Pull request #172 synchronize by nimec01
September 12, 2024 15:09 1m 37s nimec01:unicode-input
nimec01:unicode-input
September 12, 2024 15:09 1m 37s
Add offerUnicodeInput setting Check .cabal Consistency #215: Pull request #172 opened by nimec01
September 12, 2024 15:06 1m 37s nimec01:unicode-input
nimec01:unicode-input
September 12, 2024 15:06 1m 37s
Lösungen in den Instanzen speichern Check .cabal Consistency #214: Pull request #170 opened by nimec01
September 12, 2024 14:01 1m 36s nimec01:solutions-into-instance
nimec01:solutions-into-instance
September 12, 2024 14:01 1m 36s
more specific import Check .cabal Consistency #213: Commit f64e4b4 pushed by jvoigtlaender
September 12, 2024 12:37 1m 40s master
master
September 12, 2024 12:37 1m 40s
Hinweis auf unbekannte Atome in Einreichung (#166) Check .cabal Consistency #212: Commit cde569b pushed by jvoigtlaender
September 12, 2024 12:34 1m 37s master
master
September 12, 2024 12:34 1m 37s
Hinweis auf unbekannte Atome in Einreichung Check .cabal Consistency #211: Pull request #166 synchronize by nimec01
September 12, 2024 12:19 1m 33s nimec01:check-for-unknown-atoms
nimec01:check-for-unknown-atoms
September 12, 2024 12:19 1m 33s
more specific import Check .cabal Consistency #210: Commit 6c6acd1 pushed by jvoigtlaender
September 10, 2024 20:32 1m 39s master
master
September 10, 2024 20:32 1m 39s
refactor delayed parsing business Check .cabal Consistency #209: Commit 0912e7d pushed by jvoigtlaender
September 10, 2024 18:55 1m 32s master
master
September 10, 2024 18:55 1m 32s
Hinweis auf unbekannte Atome in Einreichung Check .cabal Consistency #208: Pull request #166 synchronize by jvoigtlaender
September 10, 2024 17:35 1m 38s nimec01:check-for-unknown-atoms
nimec01:check-for-unknown-atoms
September 10, 2024 17:35 1m 38s
tweaks Check .cabal Consistency #207: Commit a31f556 pushed by jvoigtlaender
September 10, 2024 17:31 1m 34s master
master
September 10, 2024 17:31 1m 34s
Flag useSetNotation bei Aufgabentyp Step und Resolve (#95) Check .cabal Consistency #206: Commit b3ad9ed pushed by jvoigtlaender
September 10, 2024 17:23 1m 33s master
master
September 10, 2024 17:23 1m 33s
Anpassen von Test-Konfigurationen (#169) Check .cabal Consistency #205: Commit be45f50 pushed by jvoigtlaender
September 10, 2024 17:15 1m 34s master
master
September 10, 2024 17:15 1m 34s
Anpassen von Test-Konfigurationen Check .cabal Consistency #204: Pull request #169 opened by nimec01
September 10, 2024 16:01 1m 34s nimec01:test-timeouts
nimec01:test-timeouts
September 10, 2024 16:01 1m 34s
Flag useSetNotation bei Aufgabentyp Step und Resolve Check .cabal Consistency #203: Pull request #95 synchronize by nimec01
September 10, 2024 15:36 1m 42s nimec01:set-notation
nimec01:set-notation
September 10, 2024 15:36 1m 42s
Flag useSetNotation bei Aufgabentyp Step und Resolve Check .cabal Consistency #202: Pull request #95 synchronize by nimec01
September 10, 2024 15:10 1m 40s nimec01:set-notation
nimec01:set-notation
September 10, 2024 15:10 1m 40s
Flag useSetNotation bei Aufgabentyp Step und Resolve Check .cabal Consistency #201: Pull request #95 synchronize by nimec01
September 10, 2024 14:40 1m 35s nimec01:set-notation
nimec01:set-notation
September 10, 2024 14:40 1m 35s
Hinweis auf unbekannte Atome in Einreichung Check .cabal Consistency #200: Pull request #166 synchronize by nimec01
September 10, 2024 12:24 1m 34s nimec01:check-for-unknown-atoms
nimec01:check-for-unknown-atoms
September 10, 2024 12:24 1m 34s
Formelausgabe bei IllegalFormulas anpassen (#165) Check .cabal Consistency #199: Commit 317f4a4 pushed by jvoigtlaender
September 5, 2024 13:35 1m 37s master
master
September 5, 2024 13:35 1m 37s
Umfangreicheres Beispiel für Resolution (#164) Check .cabal Consistency #198: Commit a16c1a3 pushed by jvoigtlaender
September 5, 2024 13:26 1m 32s master
master
September 5, 2024 13:26 1m 32s
Fix current linter errors (#163) Check .cabal Consistency #197: Commit 1562f06 pushed by jvoigtlaender
September 5, 2024 13:22 1m 31s master
master
September 5, 2024 13:22 1m 31s
address HLint hint Check .cabal Consistency #196: Commit 09eb870 pushed by jvoigtlaender
September 5, 2024 13:14 1m 39s master
master
September 5, 2024 13:14 1m 39s
Bei LogicResolutionComplete "Neuberechnung" einer Musterlösung vermei… Check .cabal Consistency #195: Commit 8e1e8e8 pushed by jvoigtlaender
September 5, 2024 13:10 1m 37s master
master
September 5, 2024 13:10 1m 37s
replace nub by nubOrd Check .cabal Consistency #194: Commit f328aba pushed by jvoigtlaender
September 5, 2024 13:06 1m 37s master
master
September 5, 2024 13:06 1m 37s