Skip to content

Actions: usethesource/rascal

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
206 workflow run results
206 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[maven-release-plugin] prepare for next development iteration Build and Deploy #1251: Commit a73a6ab pushed by jurgenvinju
March 13, 2024 17:32 4s main
main
March 13, 2024 17:32 4s
[maven-release-plugin] prepare release v0.36.1-RC2 Build and Deploy #1250: Commit 46c57a0 pushed by jurgenvinju
March 13, 2024 17:32 24m 19s v0.36.1-RC2
v0.36.1-RC2
March 13, 2024 17:32 24m 19s
[maven-release-plugin] prepare release v0.36.1-RC2 Build and Deploy #1249: Commit 46c57a0 pushed by jurgenvinju
March 13, 2024 17:32 4s main
main
March 13, 2024 17:32 4s
New functions for checking multiple sets Build and Deploy #1248: Pull request #1925 synchronize by linuswagner
March 13, 2024 16:30 15m 43s linuswagner:setfn
linuswagner:setfn
March 13, 2024 16:30 15m 43s
Added parentheses (ht to typechecker) Build and Deploy #1247: Commit 1bdcc3f pushed by PaulKlint
March 13, 2024 15:20 14m 44s main
main
March 13, 2024 15:20 14m 44s
Further progress on Reflective Build and Deploy #1246: Commit 1d33656 pushed by PaulKlint
March 13, 2024 15:04 25m 45s main
main
March 13, 2024 15:04 25m 45s
Reverted: getModuleLocation searches again in libs Build and Deploy #1245: Commit dddaa61 pushed by PaulKlint
March 13, 2024 12:46 19m 27s main
main
March 13, 2024 12:46 19m 27s
[maven-release-plugin] prepare for next development iteration Build and Deploy #1244: Commit 3821c9e pushed by jurgenvinju
March 11, 2024 14:46 3s main
main
March 11, 2024 14:46 3s
[maven-release-plugin] prepare release v0.36.1-RC1 Build and Deploy #1243: Commit a7f1c70 pushed by jurgenvinju
March 11, 2024 14:46 17m 34s v0.36.1-RC1
v0.36.1-RC1
March 11, 2024 14:46 17m 34s
[maven-release-plugin] prepare release v0.36.1-RC1 Build and Deploy #1242: Commit a7f1c70 pushed by jurgenvinju
March 11, 2024 14:46 3s main
main
March 11, 2024 14:46 3s
getModuleLocation no longer searches in libs Build and Deploy #1241: Commit ec8c308 pushed by PaulKlint
March 11, 2024 13:40 19m 50s main
main
March 11, 2024 13:40 19m 50s
This fixes problem #1920 with a failure to throw a StackOverflow exception in case of a real stack overflow in Java code. Build and Deploy #1240: Pull request #1921 synchronize by jurgenvinju
March 11, 2024 10:59 1h 1m 2s proper-stacktrace-for-recursion-overflow
proper-stacktrace-for-recursion-overflow
March 11, 2024 10:59 1h 1m 2s
New functions for checking multiple sets Build and Deploy #1239: Pull request #1925 synchronize by linuswagner
March 10, 2024 13:33 14m 22s linuswagner:setfn
linuswagner:setfn
March 10, 2024 13:33 14m 22s
New functions for checking multiple sets Build and Deploy #1238: Pull request #1925 synchronize by linuswagner
March 10, 2024 13:31 17m 37s linuswagner:setfn
linuswagner:setfn
March 10, 2024 13:31 17m 37s
This fixes problem #1920 with a failure to throw a StackOverflow exception in case of a real stack overflow in Java code. Build and Deploy #1237: Pull request #1921 synchronize by jurgenvinju
March 9, 2024 12:23 45s proper-stacktrace-for-recursion-overflow
proper-stacktrace-for-recursion-overflow
March 9, 2024 12:23 45s
Merge pull request #1922 from linuswagner/main Build and Deploy #1236: Commit 6e61534 pushed by jurgenvinju
March 9, 2024 12:12 19m 8s main
main
March 9, 2024 12:12 19m 8s
[maven-release-plugin] prepare for next development iteration Build and Deploy #1235: Commit 51400dd pushed by jurgenvinju
March 9, 2024 11:46 2s main
main
March 9, 2024 11:46 2s
[maven-release-plugin] prepare release v0.36.0-RC1 Build and Deploy #1234: Commit f8a6e05 pushed by jurgenvinju
March 9, 2024 11:46 22m 34s v0.36.0-RC1
v0.36.0-RC1
March 9, 2024 11:46 22m 34s
[maven-release-plugin] prepare release v0.36.0-RC1 Build and Deploy #1233: Commit f8a6e05 pushed by jurgenvinju
March 9, 2024 11:46 2s main
main
March 9, 2024 11:46 2s
Fixes to getModuleLocation and getModuleName Build and Deploy #1232: Commit 53219c8 pushed by PaulKlint
March 9, 2024 09:42 13m 54s main
main
March 9, 2024 09:42 13m 54s
New functions for checking multiple sets Build and Deploy #1231: Pull request #1925 synchronize by linuswagner
March 7, 2024 21:55 20m 6s linuswagner:setfn
linuswagner:setfn
March 7, 2024 21:55 20m 6s
New functions for checking multiple sets Build and Deploy #1230: Pull request #1925 opened by linuswagner
March 7, 2024 21:37 20m 2s linuswagner:setfn
linuswagner:setfn
March 7, 2024 21:37 20m 2s
Document some parameters for JSON.writeJSON Build and Deploy #1229: Pull request #1922 synchronize by linuswagner
March 4, 2024 22:38 18m 19s linuswagner:main
linuswagner:main
March 4, 2024 22:38 18m 19s
Merge pull request #1919 from usethesource/parser-except-bug-fix Build and Deploy #1228: Commit 24e3211 pushed by jurgenvinju
March 4, 2024 10:31 15m 22s main
main
March 4, 2024 10:31 15m 22s
Document some parameters for JSON.writeJSON Build and Deploy #1227: Pull request #1922 opened by linuswagner
March 1, 2024 10:35 19m 53s linuswagner:main
linuswagner:main
March 1, 2024 10:35 19m 53s