Skip to content

Actions: usethesource/rascal-core

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
671 workflow runs
671 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[maven-release-plugin] prepare release v0.8.2-BOOT1 Build and Deploy #212: Commit 8dbd0bb pushed by jurgenvinju
March 12, 2024 13:47 17m 49s v0.8.2-BOOT1
v0.8.2-BOOT1
March 12, 2024 13:47 17m 49s
[maven-release-plugin] prepare release v0.8.2-BOOT1 Build and Deploy #211: Commit 8dbd0bb pushed by jurgenvinju
March 12, 2024 13:47 2s master
master
March 12, 2024 13:47 2s
PathConfig validator now gives more precise error message Build and Deploy #210: Commit 55c18b4 pushed by PaulKlint
March 12, 2024 08:45 17m 24s master
master
March 12, 2024 08:45 17m 24s
Some renamings and wrapping up Build and Deploy #209: Commit 6549275 pushed by PaulKlint
March 11, 2024 23:48 17m 51s master
master
March 11, 2024 23:48 17m 51s
[maven-release-plugin] prepare for next development iteration Build and Deploy #208: Commit 364da60 pushed by jurgenvinju
March 11, 2024 16:11 4s master
master
March 11, 2024 16:11 4s
[maven-release-plugin] prepare release v0.8.1-BOOT1 Build and Deploy #207: Commit 7d40e23 pushed by jurgenvinju
March 11, 2024 16:11 17m 53s v0.8.1-BOOT1
v0.8.1-BOOT1
March 11, 2024 16:11 17m 53s
[maven-release-plugin] prepare release v0.8.1-BOOT1 Build and Deploy #206: Commit 7d40e23 pushed by jurgenvinju
March 11, 2024 16:11 2s master
master
March 11, 2024 16:11 2s
Configuring the compiler made simpler Build and Deploy #205: Commit 35a67f5 pushed by PaulKlint
March 10, 2024 19:42 17m 18s master
master
March 10, 2024 19:42 17m 18s
Robustness improvements Build and Deploy #204: Commit 99553dd pushed by PaulKlint
March 9, 2024 18:18 17m 15s master
master
March 9, 2024 18:18 17m 15s
Changed keyword parameter rascalPathConfig to positional parameter Build and Deploy #203: Commit 104fe83 pushed by PaulKlint
March 8, 2024 11:43 1m 12s master
master
March 8, 2024 11:43 1m 12s
started on making the verbose flag available on top Build and Deploy #202: Commit d22204c pushed by jurgenvinju
March 8, 2024 09:32 1m 59s master
master
March 8, 2024 09:32 1m 59s
Added missing rascalTypeConfig, might explain Jurgen's problems Build and Deploy #201: Commit d234397 pushed by PaulKlint
March 7, 2024 19:52 1m 55s master
master
March 7, 2024 19:52 1m 55s
fixed signature of rascalTModelForLocs Build and Deploy #200: Commit 29a0780 pushed by jurgenvinju
March 7, 2024 09:35 1m 10s master
master
March 7, 2024 09:35 1m 10s
Some minor improvements; ready for release! Build and Deploy #199: Commit 57c5851 pushed by PaulKlint
March 7, 2024 09:13 1m 13s master
master
March 7, 2024 09:13 1m 13s
Reenacted thrown away function Build and Deploy #198: Commit d017d93 pushed by PaulKlint
March 6, 2024 21:44 4m 39s master
master
March 6, 2024 21:44 4m 39s
starting to add syntax and semantics of syntax role modifiers Build and Deploy #197: Pull request #15 opened by jurgenvinju
December 28, 2023 11:17 36m 26s syntax-role-modifiers
syntax-role-modifiers
December 28, 2023 11:17 36m 26s
Status of Rascal compiler project per October 23, 2023 Build and Deploy #196: Commit b58ce3a pushed by PaulKlint
October 23, 2023 19:54 3h 21m 13s master
master
October 23, 2023 19:54 3h 21m 13s
Fixed typepal dependency Build and Deploy #195: Commit 39fc7f8 pushed by PaulKlint
October 8, 2023 16:14 53m 19s master
master
October 8, 2023 16:14 53m 19s
project & pom Build and Deploy #194: Commit 77cbec5 pushed by PaulKlint
October 7, 2023 16:21 1m 10s master
master
October 7, 2023 16:21 1m 10s
removal of test modules scheme usage Build and Deploy #193: Pull request #14 opened by jurgenvinju
September 15, 2023 06:02 1h 43m 22s removal-of-test-modules-scheme-usage
removal-of-test-modules-scheme-usage
September 15, 2023 06:02 1h 43m 22s
added the promised implementation of IResourceLocationProvider to Build and Deploy #192: Commit 31c7a0d pushed by jurgenvinju
September 14, 2023 12:21 58m 18s master
master
September 14, 2023 12:21 58m 18s
ProTip! You can narrow down the results and go further in time using created:<2023-09-14 or the other filters available.