Skip to content

Actions: fmidue/logic-tasks

Actions

Xrefcheck

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
xrefcheck.yml
374 workflow runs
374 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Replace allowArrowOperators with operatorFrequencies in SynTreeConfig Xrefcheck #241: Pull request #179 synchronize by nimec01
September 26, 2024 12:56 19s nimec01:operator-frequencies
nimec01:operator-frequencies
September 26, 2024 12:56 19s
Fix spelling check (#180) Xrefcheck #240: Commit c376c48 pushed by jvoigtlaender
September 24, 2024 15:59 20s master
master
September 24, 2024 15:59 20s
Implement useSetNotation for Prolog Task Xrefcheck #239: Pull request #181 opened by nimec01
September 24, 2024 15:54 17s nimec01:prolog-notations
nimec01:prolog-notations
September 24, 2024 15:54 17s
Replace allowArrowOperators with operatorFrequencies in SynTreeConfig Xrefcheck #238: Pull request #179 synchronize by nimec01
September 24, 2024 14:50 21s nimec01:operator-frequencies
nimec01:operator-frequencies
September 24, 2024 14:50 21s
Fix spelling check Xrefcheck #237: Pull request #180 opened by nimec01
September 24, 2024 14:48 15s nimec01:fix-spelling-bifunctor
nimec01:fix-spelling-bifunctor
September 24, 2024 14:48 15s
Replace allowArrowOperators with operatorFrequencies in SynTreeConfig Xrefcheck #236: Pull request #179 opened by nimec01
September 24, 2024 14:45 20s nimec01:operator-frequencies
nimec01:operator-frequencies
September 24, 2024 14:45 20s
more options for negation in prolog literals (closes #55) Xrefcheck #235: Commit 6e9bcf6 pushed by owestphal
September 24, 2024 11:55 17s master
master
September 24, 2024 11:55 17s
refactoring Xrefcheck #234: Commit aaa451b pushed by jvoigtlaender
September 19, 2024 15:27 18s master
master
September 19, 2024 15:27 18s
Teilpunkte vergeben bei IllegalFormulas, IllegalCnfs und Decide… Xrefcheck #233: Commit 0583969 pushed by jvoigtlaender
September 19, 2024 14:20 15s master
master
September 19, 2024 14:20 15s
Teilpunkte vergeben bei IllegalFormulas und IllegalCnfs Xrefcheck #232: Pull request #175 synchronize by nimec01
September 19, 2024 13:41 17s nimec01:teilpunkte
nimec01:teilpunkte
September 19, 2024 13:41 17s
Teilpunkte vergeben bei IllegalFormulas und IllegalCnfs Xrefcheck #231: Pull request #175 synchronize by nimec01
September 19, 2024 12:46 33s nimec01:teilpunkte
nimec01:teilpunkte
September 19, 2024 12:46 33s
Potential fix for Resolution test (#176) Xrefcheck #230: Commit 82f7341 pushed by jvoigtlaender
September 18, 2024 15:25 20s master
master
September 18, 2024 15:25 20s
common subexpression elimination Xrefcheck #229: Commit 48b73f2 pushed by jvoigtlaender
September 18, 2024 13:36 15s master
master
September 18, 2024 13:36 15s
formulation improvements Xrefcheck #228: Commit 8d506f6 pushed by jvoigtlaender
September 18, 2024 13:34 16s master
master
September 18, 2024 13:34 16s
Positive Aufgabenstellungen (#174) Xrefcheck #227: Commit 32b1f7b pushed by jvoigtlaender
September 18, 2024 13:29 21s master
master
September 18, 2024 13:29 21s
Add offerUnicodeInput setting (#172) Xrefcheck #226: Commit 9aeb65b pushed by jvoigtlaender
September 18, 2024 13:24 23s master
master
September 18, 2024 13:24 23s
Potential fix for Resolution test Xrefcheck #225: Pull request #176 opened by nimec01
September 17, 2024 15:26 17s nimec01:fix-res-test
nimec01:fix-res-test
September 17, 2024 15:26 17s
Add offerUnicodeInput setting Xrefcheck #224: Pull request #172 synchronize by nimec01
September 17, 2024 14:59 16s nimec01:unicode-input
nimec01:unicode-input
September 17, 2024 14:59 16s
Positive Aufgabenstellungen Xrefcheck #223: Pull request #174 synchronize by nimec01
September 17, 2024 14:59 17s nimec01:positive-formulations
nimec01:positive-formulations
September 17, 2024 14:59 17s
Teilpunkte vergeben bei IllegalFormulas und IllegalCnfs Xrefcheck #222: Pull request #175 opened by nimec01
September 17, 2024 14:56 20s nimec01:teilpunkte
nimec01:teilpunkte
September 17, 2024 14:56 20s
Fix spell check (#173) Xrefcheck #221: Commit 391b3c3 pushed by owestphal
September 17, 2024 13:57 22s master
master
September 17, 2024 13:57 22s
Fix spell check Xrefcheck #220: Pull request #173 synchronize by nimec01
September 17, 2024 13:12 20s nimec01:fix-spell-check
nimec01:fix-spell-check
September 17, 2024 13:12 20s
Positive Aufgabenstellungen Xrefcheck #219: Pull request #174 opened by nimec01
September 17, 2024 13:00 14s nimec01:positive-formulations
nimec01:positive-formulations
September 17, 2024 13:00 14s
Fix spell check Xrefcheck #218: Pull request #173 opened by nimec01
September 17, 2024 12:50 21s nimec01:fix-spell-check
nimec01:fix-spell-check
September 17, 2024 12:50 21s
Add offerUnicodeInput setting Xrefcheck #217: Pull request #172 synchronize by nimec01
September 17, 2024 12:48 22s nimec01:unicode-input
nimec01:unicode-input
September 17, 2024 12:48 22s
ProTip! You can narrow down the results and go further in time using created:<2024-09-17 or the other filters available.