Skip to content

Actions: fmidue/logic-tasks

Check Spelling

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
157 workflow run results
157 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 Spelling #877: Commit a339a3e pushed by owestphal
September 16, 2024 13:53 3m 9s master
September 16, 2024 13:53 3m 9s
Add offerUnicodeInput setting
Check Spelling #876: Issue comment #172 (comment) created by jvoigtlaender
September 12, 2024 15:59 4s
September 12, 2024 15:59 4s
Add offerUnicodeInput setting
Check Spelling #875: Issue comment #172 (comment) created by nimec01
September 12, 2024 15:42 4s
September 12, 2024 15:42 4s
Add offerUnicodeInput setting
Check Spelling #874: Issue comment #172 (comment) created by jvoigtlaender
September 12, 2024 15:29 4s
September 12, 2024 15:29 4s
Add offerUnicodeInput setting
Check Spelling #873: Issue comment #172 (comment) created by jvoigtlaender
September 12, 2024 15:27 4s
September 12, 2024 15:27 4s
useSetNotation bei Prolog?
Check Spelling #872: Issue comment #171 (comment) created by jvoigtlaender
September 12, 2024 15:21 3s
September 12, 2024 15:21 3s
Einheitlichkeit ähnlicher Aufgaben
Check Spelling #871: Issue comment #47 (comment) created by jvoigtlaender
September 12, 2024 15:16 3s
September 12, 2024 15:16 3s
Lösungen in den Instanzen speichern (#170)
Check Spelling #870: Commit 085cba0 pushed by jvoigtlaender
September 12, 2024 15:13 2m 44s master
September 12, 2024 15:13 2m 44s
Lösungen in den Instanzen speichern
Check Spelling #869: Issue comment #170 (comment) created by jvoigtlaender
September 12, 2024 15:12 3s
September 12, 2024 15:12 3s
Add offerUnicodeInput setting
Check Spelling #868: Pull request #172 synchronize by nimec01
September 12, 2024 15:09 2m 45s nimec01:unicode-input
September 12, 2024 15:09 2m 45s
Add offerUnicodeInput setting
Check Spelling #867: Pull request #172 opened by nimec01
September 12, 2024 15:06 3m 8s nimec01:unicode-input
September 12, 2024 15:06 3m 8s
Einheitlichkeit ähnlicher Aufgaben
Check Spelling #866: Issue comment #47 (comment) created by nimec01
September 12, 2024 14:11 4s
September 12, 2024 14:11 4s
Lösungen in den Instanzen speichern
Check Spelling #865: Pull request #170 opened by nimec01
September 12, 2024 14:01 2m 51s nimec01:solutions-into-instance
September 12, 2024 14:01 2m 51s
more specific import
Check Spelling #864: Commit f64e4b4 pushed by jvoigtlaender
September 12, 2024 12:37 2m 48s master
September 12, 2024 12:37 2m 48s
Hinweis auf unbekannte Atome in Einreichung (#166)
Check Spelling #863: Commit cde569b pushed by jvoigtlaender
September 12, 2024 12:34 2m 46s master
September 12, 2024 12:34 2m 46s
Hinweis auf unbekannte Atome in Einreichung
Check Spelling #862: Issue comment #166 (comment) created by jvoigtlaender
September 12, 2024 12:33 4s
September 12, 2024 12:33 4s
Hinweis auf unbekannte Atome in Einreichung
Check Spelling #861: Issue comment #166 (comment) created by nimec01
September 12, 2024 12:20 3s
September 12, 2024 12:20 3s
Hinweis auf unbekannte Atome in Einreichung
Check Spelling #860: Pull request #166 synchronize by nimec01
September 12, 2024 12:19 2m 44s nimec01:check-for-unknown-atoms
September 12, 2024 12:19 2m 44s
Mögliche Schreibweisen ergänzen
Check Spelling #859: Issue comment #138 (comment) created by jvoigtlaender
September 11, 2024 14:42 4s
September 11, 2024 14:42 4s
Flag offerUnicodeInput
Check Spelling #858: Issue comment #85 (comment) created by jvoigtlaender
September 11, 2024 14:41 4s
September 11, 2024 14:41 4s
Task 07 B
Check Spelling #857: Issue comment #149 (comment) created by jvoigtlaender
September 11, 2024 14:31 5s
September 11, 2024 14:31 5s
Lösungen in die Instanzen packen
Check Spelling #856: Issue comment #152 (comment) created by jvoigtlaender
September 10, 2024 21:04 3s
September 10, 2024 21:04 3s
more specific import
Check Spelling #855: Commit 6c6acd1 pushed by jvoigtlaender
September 10, 2024 20:32 2m 44s master
September 10, 2024 20:32 2m 44s
refactor delayed parsing business
Check Spelling #854: Commit 0912e7d pushed by jvoigtlaender
September 10, 2024 18:55 2m 43s master
September 10, 2024 18:55 2m 43s
Hinweis auf unbekannte Atome in Einreichung
Check Spelling #853: Issue comment #166 (comment) created by jvoigtlaender
September 10, 2024 17:40 3s
September 10, 2024 17:40 3s