Skip to content

Actions: usethesource/rascal

Actions

Build and Deploy

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
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
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
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
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
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
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
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
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
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
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
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
March 11, 2024 13:40 19m 50s
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
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
March 10, 2024 13:31 17m 37s
Merge pull request #1922 from linuswagner/main
Build and Deploy #1236: Commit 6e61534 pushed by jurgenvinju
March 9, 2024 12:12 19m 8s 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
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
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
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
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
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
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
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
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
March 1, 2024 10:35 19m 53s