Skip to content

Actions: UniFormal/MMT

Actions

All workflows

Actions

Loading...

Showing runs from all workflows
169 workflow runs
169 workflow runs
Event

Filter by event
Status

Filter by status
Branch
Actor

Filter by actor
diagops Integration Tests #875: Commit 3d6f525 pushed by ComFreek
April 19, 2024 12:19 11m 0s devel
devel
April 19, 2024 12:19 11m 0s
fix for answerclasses in stex Integration Tests #874: Commit a33196c pushed by Jazzpirate
February 9, 2024 08:43 11m 38s devel
devel
February 9, 2024 08:43 11m 38s
Merge branch 'devel' of https://github.com/UniFormal/MMT into devel Integration Tests #873: Commit 92b447e pushed by ComFreek
January 25, 2024 16:56 12m 5s devel
devel
January 25, 2024 16:56 12m 5s
answerclasses in SHTML Integration Tests #872: Commit ee4aa84 pushed by Jazzpirate
January 25, 2024 08:10 11m 59s devel
devel
January 25, 2024 08:10 11m 59s
mmt-lsp: hover for rule constants Integration Tests #871: Commit f7dfbda pushed by ComFreek
January 24, 2024 17:59 12m 12s devel
devel
January 24, 2024 17:59 12m 12s
guided tours fix Integration Tests #870: Commit 0d79d86 pushed by Jazzpirate
January 22, 2024 11:33 12m 29s devel
devel
January 22, 2024 11:33 12m 29s
frameit fix Integration Tests #869: Commit 174f660 pushed by Jazzpirate
December 30, 2023 12:15 12m 28s devel
devel
December 30, 2023 12:15 12m 28s
maybe sTeX build server fix for pdflatex Integration Tests #868: Commit cdf8ec1 pushed by Jazzpirate
December 19, 2023 09:45 12m 39s devel
devel
December 19, 2023 09:45 12m 39s
sTeX definienda fix Integration Tests #867: Commit 0e56edc pushed by Jazzpirate
December 11, 2023 12:36 11m 33s devel
devel
December 11, 2023 12:36 11m 33s
sTeX fix for out-of-memory-problem; URIs for definienda Integration Tests #866: Commit 795778c pushed by Jazzpirate
December 11, 2023 08:29 11m 11s devel
devel
December 11, 2023 08:29 11m 11s
bugfix: GLIF semantic construction should translate each input and no… Integration Tests #865: Commit 3ef072c pushed by jfschaefer
December 7, 2023 10:26 11m 59s devel
devel
December 7, 2023 10:26 11m 59s
updated stex mmt-viewer Integration Tests #864: Commit ab16791 pushed by Jazzpirate
December 6, 2023 10:26 11m 42s devel
devel
December 6, 2023 10:26 11m 42s
sTeX additions Integration Tests #863: Commit 717c3c4 pushed by Jazzpirate
November 30, 2023 18:59 11m 29s devel
devel
November 30, 2023 18:59 11m 29s
updated sTeX viewer Integration Tests #862: Commit 1daa442 pushed by Jazzpirate
November 23, 2023 12:33 12m 29s devel
devel
November 23, 2023 12:33 12m 29s
updated sTeX viewer Integration Tests #861: Commit 9ffff17 pushed by Jazzpirate
November 23, 2023 12:21 18s devel
devel
November 23, 2023 12:21 18s
use english as default language in sTeX Integration Tests #860: Commit 91926a3 pushed by Jazzpirate
November 17, 2023 11:09 13m 8s devel
devel
November 17, 2023 11:09 13m 8s
more problem-queries Integration Tests #859: Commit 4d1f8c8 pushed by Jazzpirate
November 14, 2023 08:53 11m 1s devel
devel
November 14, 2023 08:53 11m 1s
problem queries Integration Tests #858: Commit 9ef0121 pushed by Jazzpirate
November 13, 2023 11:03 19m 21s devel
devel
November 13, 2023 11:03 19m 21s
build server fix Integration Tests #857: Commit 6c93755 pushed by Jazzpirate
November 6, 2023 07:55 17m 1s devel
devel
November 6, 2023 07:55 17m 1s
probably fix in frameit Integration Tests #856: Commit d2bdf6c pushed by Jazzpirate
November 3, 2023 20:05 12m 18s devel
devel
November 3, 2023 20:05 12m 18s
annotations in sTeX problems Integration Tests #855: Commit 10a36f6 pushed by Jazzpirate
November 2, 2023 10:11 16m 28s devel
devel
November 2, 2023 10:11 16m 28s
fix for sTeX LSP linter Integration Tests #854: Commit 3eeabd8 pushed by Jazzpirate
October 26, 2023 08:08 14m 23s devel
devel
October 26, 2023 08:08 14m 23s
query viewer Integration Tests #853: Commit 316c8c2 pushed by Jazzpirate
October 23, 2023 12:22 19m 41s devel
devel
October 23, 2023 12:22 19m 41s
Merge pull request #584 from UniFormal/master Integration Tests #852: Commit 157f664 pushed by Jazzpirate
October 16, 2023 17:15 16m 10s v26.0.0
v26.0.0
October 16, 2023 17:15 16m 10s
Merge pull request #584 from UniFormal/master Integration Tests #851: Commit 157f664 pushed by Jazzpirate
October 16, 2023 17:12 13m 22s release
release
October 16, 2023 17:12 13m 22s