Actions: Exmaralda-Org/exmaralda
Actions
Showing runs from all workflows
187 workflow runs
187 workflow runs
#469: Remember selection when switching media
CodeQL
#444:
Commit 281cff6
pushed
by
berndmoos
#322: Fix the bug fix - IDs for explicitly selected elements now
CodeQL
#443:
Commit 6836fe3
pushed
by
berndmoos
#421: Removed fishiness
CodeQL
#442:
Commit 5aa6f4a
pushed
by
berndmoos
#466: Many small changes, mainly for status bars
CodeQL
#441:
Commit fcb9d35
pushed
by
berndmoos
#421: Get rid of puncutation oddities
CodeQL
#440:
Commit a7da5d0
pushed
by
berndmoos
Delete src/build/pom.xml
CodeQL
#438:
Commit f14b31e
pushed
by
berndmoos
#357: Ignore empty text
CodeQL
#434:
Commit fd6219b
pushed
by
berndmoos
Update comacorpus.xsd #457
CodeQL
#431:
Commit 16dddbb
pushed
by
berndmoos
Update comacorpus.xsd for #457
CodeQL
#430:
Commit 88f3643
pushed
by
berndmoos
Some changes to Coma XML schema (#457)
CodeQL
#428:
Commit 883b367
pushed
by
berndmoos
commit before Rechner goes away
CodeQL
#427:
Commit 6f9cc99
pushed
by
berndmoos
#449: Removed TexGUt package
CodeQL
#421:
Commit 6bfcd10
pushed
by
berndmoos
Added getter to SextantISOTEIIntegrator
CodeQL
#420:
Commit 34cae75
pushed
by
berndmoos