Skip to content

Actions: usethesource/rascal

Actions

Build and Deploy

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build.yaml
985 workflow runs
985 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Remove conditionals from the symbol when making the hole for concrete syntax Build and Deploy #1105: Pull request #1878 opened by DavyLandman
October 27, 2023 10:47 18m 43s fix-1877
fix-1877
October 27, 2023 10:47 18m 43s
Added new compiler issue as ignored test Build and Deploy #1104: Commit b684d0e pushed by PaulKlint
October 23, 2023 20:06 14m 15s main
main
October 23, 2023 20:06 14m 15s
[maven-release-plugin] prepare for next development iteration Build and Deploy #1103: Commit a6b9caf pushed by jurgenvinju
October 17, 2023 14:20 6s main
main
October 17, 2023 14:20 6s
[maven-release-plugin] prepare release v0.34.0 Build and Deploy #1102: Commit 58659ac pushed by jurgenvinju
October 17, 2023 14:20 22m 40s v0.34.0
v0.34.0
October 17, 2023 14:20 22m 40s
[maven-release-plugin] prepare release v0.34.0 Build and Deploy #1101: Commit 58659ac pushed by jurgenvinju
October 17, 2023 14:20 4s main
main
October 17, 2023 14:20 4s
[maven-release-plugin] prepare for next development iteration Build and Deploy #1100: Commit 2ce3e94 pushed by jurgenvinju
October 17, 2023 12:53 2s main
main
October 17, 2023 12:53 2s
[maven-release-plugin] prepare release v0.34.0-RC4 Build and Deploy #1099: Commit 05d2fbf pushed by jurgenvinju
October 17, 2023 12:52 23m 45s v0.34.0-RC4
v0.34.0-RC4
October 17, 2023 12:52 23m 45s
[maven-release-plugin] prepare release v0.34.0-RC4 Build and Deploy #1098: Commit 05d2fbf pushed by jurgenvinju
October 17, 2023 12:52 3s main
main
October 17, 2023 12:52 3s
Adding getMatchFingerPrint and getConcreteMatchFingerPrint to implement a part of the compiled-runtime with more efficiency Build and Deploy #1097: Pull request #1873 synchronize by jurgenvinju
October 17, 2023 12:51 1m 11s match-fingerprints
match-fingerprints
October 17, 2023 12:51 1m 11s
Adding getMatchFingerPrint and getConcreteMatchFingerPrint to implement a part of the compiled-runtime with more efficiency Build and Deploy #1096: Pull request #1873 opened by jurgenvinju
October 17, 2023 08:24 56s match-fingerprints
match-fingerprints
October 17, 2023 08:24 56s
[maven-release-plugin] prepare for next development iteration Build and Deploy #1095: Commit e406083 pushed by jurgenvinju
October 13, 2023 11:24 4s main
main
October 13, 2023 11:24 4s
[maven-release-plugin] prepare release v0.34.0-RC3 Build and Deploy #1094: Commit 9425cc9 pushed by jurgenvinju
October 13, 2023 11:24 25m 19s v0.34.0-RC3
v0.34.0-RC3
October 13, 2023 11:24 25m 19s
[maven-release-plugin] prepare release v0.34.0-RC3 Build and Deploy #1093: Commit 9425cc9 pushed by jurgenvinju
October 13, 2023 11:24 3s main
main
October 13, 2023 11:24 3s
Merge pull request #1872 from usethesource/no-more-uuid-for-type-para… Build and Deploy #1092: Commit 1e66c8b pushed by jurgenvinju
October 13, 2023 11:21 24m 28s main
main
October 13, 2023 11:21 24m 28s
fixing the superfluous generation of enormous amounts of temporary tuple types with UUIDs for type parameter names. Build and Deploy #1091: Pull request #1872 synchronize by jurgenvinju
October 13, 2023 08:21 22m 19s no-more-uuid-for-type-parameters
no-more-uuid-for-type-parameters
October 13, 2023 08:21 22m 19s
fixing the superfluous generation of enormous amounts of temporary tuple types with UUIDs for type parameter names. Build and Deploy #1090: Pull request #1872 opened by jurgenvinju
October 12, 2023 19:30 22m 29s no-more-uuid-for-type-parameters
no-more-uuid-for-type-parameters
October 12, 2023 19:30 22m 29s
[maven-release-plugin] prepare for next development iteration Build and Deploy #1089: Commit a1c42cf pushed by jurgenvinju
October 4, 2023 13:37 4s main
main
October 4, 2023 13:37 4s
[maven-release-plugin] prepare release v0.34.0-RC2 Build and Deploy #1088: Commit 544300a pushed by jurgenvinju
October 4, 2023 13:37 28m 37s v0.34.0-RC2
v0.34.0-RC2
October 4, 2023 13:37 28m 37s
[maven-release-plugin] prepare release v0.34.0-RC2 Build and Deploy #1087: Commit 544300a pushed by jurgenvinju
October 4, 2023 13:37 5s main
main
October 4, 2023 13:37 5s
fixed problem with max size of bitset when handling overtaken nullabl… Build and Deploy #1086: Commit 7c15369 pushed by jurgenvinju
September 29, 2023 14:57 24m 16s main
main
September 29, 2023 14:57 24m 16s
added test for #1868 and fixed it both by changing external function … Build and Deploy #1085: Commit 3ac85d5 pushed by jurgenvinju
September 29, 2023 12:35 22m 30s main
main
September 29, 2023 12:35 22m 30s
[ci] drop slack notifications Build and Deploy #1084: Commit f8c3fbc pushed by DavyLandman
September 29, 2023 08:41 20m 54s main
main
September 29, 2023 08:41 20m 54s
syntax role modifiers Build and Deploy #1083: Pull request #1835 synchronize by jurgenvinju
September 28, 2023 14:07 53s syntax-role-modifiers
syntax-role-modifiers
September 28, 2023 14:07 53s
syntax role modifiers Build and Deploy #1082: Pull request #1835 synchronize by jurgenvinju
September 26, 2023 12:32 57s syntax-role-modifiers
syntax-role-modifiers
September 26, 2023 12:32 57s
syntax role modifiers Build and Deploy #1081: Pull request #1835 synchronize by jurgenvinju
September 26, 2023 12:27 16m 22s syntax-role-modifiers
syntax-role-modifiers
September 26, 2023 12:27 16m 22s
ProTip! You can narrow down the results and go further in time using created:<2023-09-26 or the other filters available.