Skip to content

Actions: usethesource/rascal

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
947 workflow runs
947 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[maven-release-plugin] prepare release v0.35.0-RC1 Build and Deploy #1127: Commit cad6174 pushed by jurgenvinju
November 6, 2023 08:54 4s main
main
November 6, 2023 08:54 4s
Merge pull request #1873 from usethesource/match-fingerprints Build and Deploy #1126: Commit e13d899 pushed by jurgenvinju
November 6, 2023 08:51 18m 47s main
main
November 6, 2023 08:51 18m 47s
Adding getMatchFingerPrint and getConcreteMatchFingerPrint to implement a part of the compiled-runtime with more efficiency Build and Deploy #1125: Pull request #1873 synchronize by jurgenvinju
November 3, 2023 13:55 14m 58s match-fingerprints
match-fingerprints
November 3, 2023 13:55 14m 58s
Adding getMatchFingerPrint and getConcreteMatchFingerPrint to implement a part of the compiled-runtime with more efficiency Build and Deploy #1124: Pull request #1873 synchronize by jurgenvinju
November 3, 2023 13:35 18m 9s match-fingerprints
match-fingerprints
November 3, 2023 13:35 18m 9s
Adding getMatchFingerPrint and getConcreteMatchFingerPrint to implement a part of the compiled-runtime with more efficiency Build and Deploy #1123: Pull request #1873 synchronize by jurgenvinju
November 3, 2023 10:33 14m 0s match-fingerprints
match-fingerprints
November 3, 2023 10:33 14m 0s
Adding getMatchFingerPrint and getConcreteMatchFingerPrint to implement a part of the compiled-runtime with more efficiency Build and Deploy #1122: Pull request #1873 synchronize by jurgenvinju
November 3, 2023 10:32 14m 42s match-fingerprints
match-fingerprints
November 3, 2023 10:32 14m 42s
Adding getMatchFingerPrint and getConcreteMatchFingerPrint to implement a part of the compiled-runtime with more efficiency Build and Deploy #1121: Pull request #1873 synchronize by jurgenvinju
November 3, 2023 09:54 2m 56s match-fingerprints
match-fingerprints
November 3, 2023 09:54 2m 56s
Adding getMatchFingerPrint and getConcreteMatchFingerPrint to implement a part of the compiled-runtime with more efficiency Build and Deploy #1120: Pull request #1873 synchronize by jurgenvinju
November 3, 2023 09:50 3m 22s match-fingerprints
match-fingerprints
November 3, 2023 09:50 3m 22s
Adding getMatchFingerPrint and getConcreteMatchFingerPrint to implement a part of the compiled-runtime with more efficiency Build and Deploy #1119: Pull request #1873 synchronize by jurgenvinju
November 2, 2023 11:34 13m 50s match-fingerprints
match-fingerprints
November 2, 2023 11:34 13m 50s
Adding getMatchFingerPrint and getConcreteMatchFingerPrint to implement a part of the compiled-runtime with more efficiency Build and Deploy #1118: Pull request #1873 synchronize by jurgenvinju
November 2, 2023 08:16 17m 13s match-fingerprints
match-fingerprints
November 2, 2023 08:16 17m 13s
Adding getMatchFingerPrint and getConcreteMatchFingerPrint to implement a part of the compiled-runtime with more efficiency Build and Deploy #1117: Pull request #1873 synchronize by jurgenvinju
November 2, 2023 08:15 16m 48s match-fingerprints
match-fingerprints
November 2, 2023 08:15 16m 48s
Adding getMatchFingerPrint and getConcreteMatchFingerPrint to implement a part of the compiled-runtime with more efficiency Build and Deploy #1116: Pull request #1873 synchronize by jurgenvinju
November 2, 2023 07:58 3m 8s match-fingerprints
match-fingerprints
November 2, 2023 07:58 3m 8s
Adding getMatchFingerPrint and getConcreteMatchFingerPrint to implement a part of the compiled-runtime with more efficiency Build and Deploy #1115: Pull request #1873 synchronize by jurgenvinju
November 1, 2023 16:39 18m 48s match-fingerprints
match-fingerprints
November 1, 2023 16:39 18m 48s
Adding getMatchFingerPrint and getConcreteMatchFingerPrint to implement a part of the compiled-runtime with more efficiency Build and Deploy #1114: Pull request #1873 synchronize by jurgenvinju
November 1, 2023 16:38 15m 15s match-fingerprints
match-fingerprints
November 1, 2023 16:38 15m 15s
Make rascal.toml an alternative to rascal.mf Build and Deploy #1113: Pull request #1881 opened by DavyLandman
November 1, 2023 14:02 18m 38s toml-rascal-mf
toml-rascal-mf
November 1, 2023 14:02 18m 38s
Removed dependency that was forgotten after the tutor moved to separa… Build and Deploy #1112: Commit 7f48fd7 pushed by DavyLandman
November 1, 2023 10:08 20m 28s main
main
November 1, 2023 10:08 20m 28s
Adding getMatchFingerPrint and getConcreteMatchFingerPrint to implement a part of the compiled-runtime with more efficiency Build and Deploy #1111: Pull request #1873 synchronize by jurgenvinju
October 31, 2023 17:40 18m 34s match-fingerprints
match-fingerprints
October 31, 2023 17:40 18m 34s
Cherry picking CI fixes for v0.34.1 fix Build and Deploy #1110: Commit b7a3582 pushed by DavyLandman
October 27, 2023 12:52 23m 25s v0.34.1-ci-fix
v0.34.1-ci-fix
October 27, 2023 12:52 23m 25s
[maven-release-plugin] prepare for next development iteration Build and Deploy #1109: Commit cfbf04b pushed by DavyLandman
October 27, 2023 11:36 3s main
main
October 27, 2023 11:36 3s
[maven-release-plugin] prepare release v0.34.1 Build and Deploy #1108: Commit d48d236 pushed by DavyLandman
October 27, 2023 11:34 3s main
main
October 27, 2023 11:34 3s
Remove conditionals from the symbol when making the hole for concrete… Build and Deploy #1107: Commit b2e3e56 pushed by DavyLandman
October 27, 2023 11:25 12m 14s v0.34.1
v0.34.1
October 27, 2023 11:25 12m 14s
Remove conditionals from the symbol when making the hole for concrete… Build and Deploy #1106: Commit b2e3e56 pushed by DavyLandman
October 27, 2023 11:23 18m 32s main
main
October 27, 2023 11:23 18m 32s
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
ProTip! You can narrow down the results and go further in time using created:<2023-10-17 or the other filters available.