issues
search
Kaeldehta
/
vips-logic-exercises-plugin
A Studip plugin that adds Vips exercises needed for the Intro to Logic course at university Osnabrück.
MIT License
3
stars
0
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Notify Studip Plugin Marketplace on new Release
#36
Kaeldehta
closed
2 years ago
1
The automated release is failing 🚨
#35
Kaeldehta
closed
2 years ago
0
The automated release is failing 🚨
#34
Kaeldehta
closed
2 years ago
3
Or Elim has wrong separators
#33
Kaeldehta
closed
2 years ago
1
Biconditional elim has wrong number of lines
#32
Kaeldehta
closed
2 years ago
1
Can't delete semantic tree leaf nodes
#31
Kaeldehta
closed
2 years ago
1
Release Pull Request
#30
Kaeldehta
closed
2 years ago
1
Test
#29
Kaeldehta
closed
2 years ago
2
Bump manifest version to v0.4.0
#28
Kaeldehta
closed
2 years ago
0
removed unused import
#27
Kaeldehta
closed
2 years ago
0
Bump manifest version to v0.3.2
#26
Kaeldehta
closed
2 years ago
0
Bump manifest version to v0.3.2
#25
Kaeldehta
closed
2 years ago
0
remove default
#24
Kaeldehta
closed
2 years ago
0
Bump manifest version to v0.3.2
#23
Kaeldehta
closed
2 years ago
0
add missing loaders
#22
Kaeldehta
closed
2 years ago
0
Bump manifest version to v0.3.1
#21
Kaeldehta
closed
2 years ago
0
reorder release workflow
#20
Kaeldehta
closed
2 years ago
0
moved publish flag to correct location
#19
Kaeldehta
closed
2 years ago
0
add release workflow
#18
Kaeldehta
closed
2 years ago
0
Adds commit message to Bump PR
#17
Kaeldehta
closed
2 years ago
0
added steps to auto merge bump pr
#16
Kaeldehta
closed
2 years ago
0
Bump manifest version to v0.3.0
#15
Kaeldehta
closed
2 years ago
0
Bump manifest version to v0.3.0
#14
Kaeldehta
closed
2 years ago
0
Automatically open PR when manifest version changes
#13
Kaeldehta
closed
2 years ago
0
Removed unneded workflows
#12
Kaeldehta
closed
2 years ago
0
remove plugin updating
#11
Kaeldehta
closed
2 years ago
0
Merge pull request #9 from Kaeldehta:feature/update-plugin-manifest
#10
Kaeldehta
closed
2 years ago
0
added plugin manifest update to drafter
#9
Kaeldehta
closed
2 years ago
0
renamed release draft job
#8
Kaeldehta
closed
2 years ago
0
Switched to Merge Action for merging
#7
Kaeldehta
closed
2 years ago
0
change name
#6
Kaeldehta
closed
2 years ago
0
added release workflow
#5
Kaeldehta
closed
2 years ago
0
fixed wrong feature label
#4
Kaeldehta
closed
2 years ago
0
created start release workflow
#3
Kaeldehta
closed
2 years ago
0
Removed duplicate Reducer Case
#2
Kaeldehta
closed
2 years ago
0
Test Label and Draft Release
#1
Kaeldehta
closed
2 years ago
0