Skip to content

Actions: usethesource/typepal

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
282 workflow runs
282 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Updated rascal dependency Build and Deploy #408: Commit da28eb5 pushed by PaulKlint
5m 44s main
main
5m 44s
Polishing isAlreadyDefined Build and Deploy #407: Commit e87f8f0 pushed by PaulKlint
6m 41s main
main
6m 41s
Refined isAlreadyDefined to suit module variables Build and Deploy #406: Commit 62fb6f3 pushed by PaulKlint
5m 28s main
main
5m 28s
Removed too strict condition Build and Deploy #405: Commit ea59b72 pushed by PaulKlint
4m 40s main
main
4m 40s
Merge pull request #15 from usethesource/chore/document-rename-framework Build and Deploy #404: Commit 6ef0e6c pushed by toinehartman
7m 48s main
main
7m 48s
How-to rename & rename API doc fixes Build and Deploy #403: Pull request #15 synchronize by toinehartman
7m 5s chore/document-rename-framework
chore/document-rename-framework
7m 5s
How-to rename & rename API doc fixes Build and Deploy #402: Pull request #15 synchronize by toinehartman
3m 22s chore/document-rename-framework
chore/document-rename-framework
3m 22s
How-to rename & rename API doc fixes Build and Deploy #401: Pull request #15 synchronize by toinehartman
3m 21s chore/document-rename-framework
chore/document-rename-framework
3m 21s
Removed duplicate variableId Build and Deploy #400: Commit a57d6ab pushed by PaulKlint
5m 6s main
main
5m 6s
Fixed broken references Build and Deploy #399: Commit bb0101c pushed by PaulKlint
14m 24s main
main
14m 24s
fixed typo spotted by Simon Vinju Build and Deploy #398: Commit 3ad7719 pushed by jurgenvinju
5m 44s main
main
5m 44s
Updated rascal dependency Build and Deploy #397: Commit d586c85 pushed by PaulKlint
3m 28s main
main
3m 28s
Merge pull request #16 from usethesource/remove-parent-pom Build and Deploy #396: Commit 274afe1 pushed by jurgenvinju
5m 56s main
main
5m 56s
removed deprecated use of parent pom Build and Deploy #395: Pull request #16 opened by jurgenvinju
5m 57s remove-parent-pom
remove-parent-pom
5m 57s
Performance improvements: replacing facts[srcLoc]? by `srcLoc in fa… Build and Deploy #394: Commit 13674d8 pushed by PaulKlint
5m 56s main
main
5m 56s
How-to rename & rename API doc fixes Build and Deploy #393: Pull request #15 synchronize by toinehartman
5m 43s chore/document-rename-framework
chore/document-rename-framework
5m 43s
How-to rename & rename API doc fixes Build and Deploy #392: Pull request #15 synchronize by toinehartman
4m 55s chore/document-rename-framework
chore/document-rename-framework
4m 55s
How-to rename & rename API doc fixes Build and Deploy #391: Pull request #15 synchronize by toinehartman
5m 59s chore/document-rename-framework
chore/document-rename-framework
5m 59s
How-to rename & rename API doc fixes Build and Deploy #390: Pull request #15 synchronize by toinehartman
4m 18s chore/document-rename-framework
chore/document-rename-framework
4m 18s
How-to rename & rename API doc fixes Build and Deploy #389: Pull request #15 opened by toinehartman
5m 37s chore/document-rename-framework
chore/document-rename-framework
5m 37s
Merge pull request #14 from usethesource/chore/port-rename-framework Build and Deploy #388: Commit 1cb2532 pushed by DavyLandman
5m 36s main
main
5m 36s
Rename framework Build and Deploy #387: Pull request #14 synchronize by toinehartman
6m 33s chore/port-rename-framework
chore/port-rename-framework
6m 33s
Rename framework Build and Deploy #386: Pull request #14 synchronize by toinehartman
4m 12s chore/port-rename-framework
chore/port-rename-framework
4m 12s
Rename framework Build and Deploy #385: Pull request #14 synchronize by toinehartman
5m 43s chore/port-rename-framework
chore/port-rename-framework
5m 43s
Create .gitattributes Build and Deploy #384: Commit b11a2e9 pushed by DavyLandman
7m 12s main
main
7m 12s
ProTip! You can narrow down the results and go further in time using created:<2025-05-12 or the other filters available.