Skip to content

Actions: decker-edu/decker

Actions

All workflows

Actions

Loading...

Showing runs from all workflows
219 workflow runs
219 workflow runs
Event

Filter by event
Status

Filter by status
Branch
Actor

Filter by actor
add some verbose output to track down a decker crunch depenedecy problem Release develop branch #223: Commit cc8ff0f pushed by monofon
May 29, 2024 07:27 39m 30s develop
develop
May 29, 2024 07:27 39m 30s
fix Safari incompatibility Release develop branch #222: Commit df179c1 pushed by monofon
May 29, 2024 06:29 39m 16s develop
develop
May 29, 2024 06:29 39m 16s
remove .hs file in test directory that confuses the CI Release develop branch #221: Commit 400a546 pushed by salbeira
May 28, 2024 09:02 37m 16s develop
develop
May 28, 2024 09:02 37m 16s
remove codapi-template from test cause the file is missing and add ov… Release develop branch #220: Commit 7c7cb54 pushed by salbeira
May 23, 2024 14:19 4m 37s develop
develop
May 23, 2024 14:19 4m 37s
fix checkOverflow not having any effect by checking scrollHeight of d… Release develop branch #219: Commit 39b932c pushed by salbeira
May 23, 2024 13:28 4m 42s develop
develop
May 23, 2024 13:28 4m 42s
Merge branch 'develop' of github.com:decker-edu/decker into develop Release develop branch #218: Commit 1c9b4ba pushed by monofon
May 21, 2024 10:09 5m 4s develop
develop
May 21, 2024 10:09 5m 4s
tudo style: improve image stack Release develop branch #217: Commit 9f610bb pushed by mbotsch
May 17, 2024 11:55 4m 51s develop
develop
May 17, 2024 11:55 4m 51s
try cell dependencies and templates Release develop branch #216: Commit b01de9c pushed by monofon
May 13, 2024 07:10 2m 28s develop
develop
May 13, 2024 07:10 2m 28s
disable unused plugins for faster loading Release develop branch #215: Commit c37224f pushed by monofon
May 12, 2024 07:44 37m 1s develop
develop
May 12, 2024 07:44 37m 1s
transcrrribe Release develop branch #214: Commit 511fb95 pushed by monofon
May 7, 2024 11:44 37m 26s develop
develop
May 7, 2024 11:44 37m 26s
crrunch -> crunch Release develop branch #213: Commit 5944550 pushed by monofon
May 7, 2024 10:30 36m 20s develop
develop
May 7, 2024 10:30 36m 20s
Merge branch 'develop' of github.com:decker-edu/decker into develop Release develop branch #212: Commit 44627e0 pushed by monofon
May 6, 2024 06:26 36m 30s develop
develop
May 6, 2024 06:26 36m 30s
may the force be with you! Release develop branch #211: Commit 819d15e pushed by mbotsch
May 5, 2024 14:01 36m 2s develop
develop
May 5, 2024 14:01 36m 2s
Prevent screen from going to sleep in presenter mode Release develop branch #210: Commit c49b4ab pushed by mbotsch
May 5, 2024 11:25 42m 34s develop
develop
May 5, 2024 11:25 42m 34s
Merge branch 'develop' of github.com:decker-edu/decker into develop Release develop branch #209: Commit 5e6e7cd pushed by monofon
May 3, 2024 18:45 38m 29s develop
develop
May 3, 2024 18:45 38m 29s
add white background in dark mode to image and not container because … Release develop branch #208: Commit 4b2e05c pushed by salbeira
May 3, 2024 12:55 38m 36s develop
develop
May 3, 2024 12:55 38m 36s
Merge branch 'develop' of github.com:decker-edu/decker into develop Release develop branch #207: Commit 9711b10 pushed by monofon
May 3, 2024 12:17 38m 44s develop
develop
May 3, 2024 12:17 38m 44s
wording in comment Release develop branch #206: Commit 834f17e pushed by salbeira
May 2, 2024 14:40 37m 14s develop
develop
May 2, 2024 14:40 37m 14s
load all data-src elements in index pages as the intersection observe… Release develop branch #205: Commit 1afdf2e pushed by salbeira
May 2, 2024 14:39 37m 35s develop
develop
May 2, 2024 14:39 37m 35s
condense notation Release develop branch #204: Commit c0317d0 pushed by monofon
May 1, 2024 11:58 38m 50s develop
develop
May 1, 2024 11:58 38m 50s
use CodeJar for editing code blocks Release develop branch #203: Commit 6b85bc8 pushed by monofon
May 1, 2024 10:03 34m 46s develop
develop
May 1, 2024 10:03 34m 46s
add live coding test with codapi.org deployed at codapi.tramberend.de Release develop branch #202: Commit 414e2a8 pushed by monofon
May 1, 2024 09:07 36m 30s develop
develop
May 1, 2024 09:07 36m 30s
fix tudo title slide styling Release develop branch #201: Commit 9870b35 pushed by mbotsch
April 28, 2024 19:29 35m 21s develop
develop
April 28, 2024 19:29 35m 21s
Merge branch 'develop' of github.com:decker-edu/decker into develop Release develop branch #200: Commit 2f1528c pushed by monofon
April 19, 2024 08:14 36m 29s develop
develop
April 19, 2024 08:14 36m 29s
add all pandoc table examples to the test-deck, including captions Release develop branch #199: Commit 8a258d8 pushed by salbeira
April 18, 2024 19:11 36m 6s develop
develop
April 18, 2024 19:11 36m 6s