Skip to content

Releases: decker-edu/decker

Decker v0.14.0-rc2

15 Nov 13:05
@github-actions github-actions
v0.14.0-rc2
792437a
Compare
Choose a tag to compare
Decker v0.14.0-rc2 Pre-release
Pre-release 
Merge branch 'master' into develop
Assets 7
Loading

latest

14 Jan 16:19
@github-actions github-actions
latest
57a7efb
Compare
Choose a tag to compare
latest Pre-release
Pre-release 
rename 'develop' release and tag to 'latest' (fix #86)
Assets 7
Loading

Decker v0.14.0-rc1

21 Sep 19:42
@github-actions github-actions
v0.14.0-rc1
f3a2c91
Compare
Choose a tag to compare
Decker v0.14.0-rc1 Pre-release
Pre-release 
bump GHC version for release action
Assets 7
Loading

Decker v0.13.4

11 Sep 13:39
@github-actions github-actions
v0.13.4
0bb8ff2
Compare
Choose a tag to compare
Decker v0.13.4 Pre-release
Pre-release 
fix browser tab selection
Assets 7
Loading

Decker v0.13.3

10 Sep 11:13
@github-actions github-actions
v0.13.3
f5a2ab4
Compare
Choose a tag to compare
Decker v0.13.3 Pre-release
Pre-release 
Fix Javascript code block embedding (#56)
Assets 7
Loading

Decker v0.13.2

07 Jul 10:50
@github-actions github-actions
v0.13.2
f231bed
Compare
Choose a tag to compare
Decker v0.13.2 Pre-release
Pre-release 
Fix copying third-party files
Assets 7
Loading

Decker v0.13.1

04 Jul 10:55
@github-actions github-actions
v0.13.1
1986686
Compare
Choose a tag to compare
Decker v0.13.1 Pre-release
Pre-release 
tag it
Assets 5
Loading

Decker v0.13.0

24 Apr 15:50
@github-actions github-actions
v0.13.0
e18681a
This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Learn about vigilant mode.
Compare
Choose a tag to compare
Decker v0.13.0 Pre-release
Pre-release 
Merge pull request #35 from MatthiasPopp/master

move nwburg template back to pandoc instead of highlightjs linting
Assets 7
Loading

Decker v0.13.0-RC4

15 Jan 13:14
@github-actions github-actions
v0.13.0-RC4
f4bc28b
This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Learn about vigilant mode.
Compare
Choose a tag to compare
Decker v0.13.0-RC4 Pre-release
Pre-release 
Merge pull request #26 from MatthiasPopp/master

Hotfix Windows + Linux Decker 13 nwburg template
Assets 7
Loading

Decker v0.13.0-RC3

19 Dec 11:06
@github-actions github-actions
v0.13.0-RC3
565e6b1
Compare
Choose a tag to compare
Decker v0.13.0-RC3 Pre-release
Pre-release 
Try hotfix for #25
Assets 7
Loading