Skip to content

Actions: usethesource/rascal

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #1887 from usethesource/fix-logical-watchers Build and Deploy #1132: Commit 27b52d1 pushed by jurgenvinju
November 15, 2023 13:37 1m 55s main
main
November 15, 2023 13:37 1m 55s
attempt at fixing #1884 Build and Deploy #1131: Pull request #1887 opened by jurgenvinju
November 10, 2023 08:55 1m 15s fix-logical-watchers
fix-logical-watchers
November 10, 2023 08:55 1m 15s
syntax role modifiers Build and Deploy #1130: Pull request #1835 synchronize by jurgenvinju
November 8, 2023 08:29 55s syntax-role-modifiers
syntax-role-modifiers
November 8, 2023 08:29 55s
[maven-release-plugin] prepare for next development iteration Build and Deploy #1129: Commit a57d215 pushed by jurgenvinju
November 6, 2023 08:54 3s main
main
November 6, 2023 08:54 3s
[maven-release-plugin] prepare release v0.35.0-RC1 Build and Deploy #1128: Commit cad6174 pushed by jurgenvinju
November 6, 2023 08:54 22m 40s v0.35.0-RC1
v0.35.0-RC1
November 6, 2023 08:54 22m 40s
[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