Skip to content

Actions: UniFormal/MMT

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
80 workflow runs
80 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

attempted fix at build.sbt 2 Integration Tests #826: Commit c15ad87 pushed by ComFreek
August 17, 2023 13:34 1m 2s devel
devel
August 17, 2023 13:34 1m 2s
attempted fix at build.sbt Integration Tests #825: Commit 075833d pushed by ComFreek
August 17, 2023 13:23 2m 9s devel
devel
August 17, 2023 13:23 2m 9s
splitted server into server and lobby Integration Tests #824: Commit 9cc60d9 pushed by fastrich
August 14, 2023 11:59 18m 6s frameit-multiplayer
frameit-multiplayer
August 14, 2023 11:59 18m 6s
update sbt Integration Tests #823: Commit de6a0a2 pushed by ComFreek
August 10, 2023 13:49 2m 28s devel
devel
August 10, 2023 13:49 2m 28s
fix frameit-mmt server Integration Tests #822: Commit a865e3d pushed by ComFreek
August 9, 2023 15:21 2m 5s devel
devel
August 9, 2023 15:21 2m 5s
fix frameit dependencies Integration Tests #821: Commit 4e9e024 pushed by ComFreek
August 7, 2023 14:58 2m 8s devel
devel
August 7, 2023 14:58 2m 8s
Merge branch 'devel' of https://github.com/UniFormal/MMT into devel Integration Tests #820: Commit 464c2de pushed by ComFreek
July 29, 2023 01:14 17m 28s devel
devel
July 29, 2023 01:14 17m 28s
Merge remote-tracking branch 'origin/devel' into newrelational Integration Tests #819: Commit 1a474d8 pushed by Jazzpirate
July 28, 2023 19:54 15m 48s devel
devel
July 28, 2023 19:54 15m 48s
removed old sTeX build targets Integration Tests #818: Commit b7473b2 pushed by Jazzpirate
July 24, 2023 12:20 5m 21s newrelational
newrelational
July 24, 2023 12:20 5m 21s
Merge branch 'devel' of https://github.com/UniFormal/MMT into devel Integration Tests #817: Commit 3ab0a26 pushed by ComFreek
July 20, 2023 01:11 5m 3s devel
devel
July 20, 2023 01:11 5m 3s
fix with problems in sTeX Integration Tests #816: Commit 01d9780 pushed by Jazzpirate
July 19, 2023 15:17 25m 32s newrelational
newrelational
July 19, 2023 15:17 25m 32s
backend for LOs Integration Tests #815: Commit 2ebe8df pushed by Jazzpirate
July 19, 2023 14:51 23m 5s newrelational
newrelational
July 19, 2023 14:51 23m 5s
Merge remote-tracking branch 'origin/devel' into newrelational Integration Tests #814: Commit 93145d8 pushed by Jazzpirate
July 11, 2023 07:48 14m 54s newrelational
newrelational
July 11, 2023 07:48 14m 54s
fix Integration Tests #813: Commit 0776165 pushed by Jazzpirate
July 5, 2023 08:16 15m 3s devel
devel
July 5, 2023 08:16 15m 3s
fix mmt lsp Integration Tests #812: Commit 8dc74e5 pushed by ComFreek
July 4, 2023 23:47 13m 36s devel
devel
July 4, 2023 23:47 13m 36s
mmt-lsp: add mmt shell support Integration Tests #811: Commit f4cc506 pushed by ComFreek
July 4, 2023 00:34 13m 36s devel
devel
July 4, 2023 00:34 13m 36s
bug fix in build server Integration Tests #810: Commit a058b94 pushed by Jazzpirate
July 3, 2023 10:59 16m 39s newrelational
newrelational
July 3, 2023 10:59 16m 39s
error reset Integration Tests #809: Commit 3bd4a9d pushed by Jazzpirate
July 3, 2023 08:40 14m 2s newrelational
newrelational
July 3, 2023 08:40 14m 2s
Merge remote-tracking branch 'origin/devel' into newrelational Integration Tests #808: Commit e44d480 pushed by Jazzpirate
July 3, 2023 07:21 14m 44s newrelational
newrelational
July 3, 2023 07:21 14m 44s
vscode plugin Integration Tests #807: Commit 114b7b6 pushed by ComFreek
June 28, 2023 01:00 13m 38s devel
devel
June 28, 2023 01:00 13m 38s
no message Integration Tests #806: Commit f9694ca pushed by florian-rabe
June 27, 2023 09:57 14m 59s devel
devel
June 27, 2023 09:57 14m 59s
capitalized class names fix Integration Tests #805: Commit 1388789 pushed by Jazzpirate
June 26, 2023 14:33 13m 22s newrelational
newrelational
June 26, 2023 14:33 13m 22s
arm64 for mac Integration Tests #804: Commit 05ac30c pushed by Jazzpirate
June 26, 2023 12:44 14m 27s newrelational
newrelational
June 26, 2023 12:44 14m 27s
vollki annotations for problems Integration Tests #803: Commit 87936e1 pushed by Jazzpirate
June 23, 2023 12:02 15m 25s newrelational
newrelational
June 23, 2023 12:02 15m 25s
fixes a subtle bug where the elaboration of a structure in a view int… Integration Tests #802: Commit 060fd07 pushed by florian-rabe
June 20, 2023 13:08 13m 9s devel
devel
June 20, 2023 13:08 13m 9s