Skip to content

Actions: usethesource/typepal

Actions

Build and Deploy

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build.yaml
295 workflow runs
295 workflow runs

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
[maven-release-plugin] prepare release v0.15.2-RC4 Build and Deploy #420: Commit 97bd31b pushed by DavyLandman
7m 43s v0.15.2-RC4
v0.15.2-RC4
7m 43s
[maven-release-plugin] prepare release v0.15.2-RC4 Build and Deploy #419: Commit 97bd31b pushed by DavyLandman
2s main
main
2s
Clear edits on error (#18) Build and Deploy #418: Commit a71e503 pushed by toinehartman
6m 33s main
main
6m 33s
Clear edits on error Build and Deploy #417: Pull request #18 opened by toinehartman
6m 10s fix/clear-edits-on-error
fix/clear-edits-on-error
6m 10s
[maven-release-plugin] prepare for next development iteration Build and Deploy #416: Commit ca69aad pushed by DavyLandman
1s main
main
1s
[maven-release-plugin] prepare release v0.15.2-RC3 Build and Deploy #415: Commit fd68763 pushed by DavyLandman
5m 21s v0.15.2-RC3
v0.15.2-RC3
5m 21s
[maven-release-plugin] prepare release v0.15.2-RC3 Build and Deploy #414: Commit fd68763 pushed by DavyLandman
1s main
main
1s
Added extra condition to isAlreadyDefined Build and Deploy #413: Commit ffd7e42 pushed by PaulKlint
5m 29s main
main
5m 29s
Fixed handling of specializedFacts Build and Deploy #412: Commit 51b3bba pushed by PaulKlint
6m 18s main
main
6m 18s
[maven-release-plugin] prepare for next development iteration Build and Deploy #411: Commit f286d2d pushed by DavyLandman
Skipped main
main
Skipped
[maven-release-plugin] prepare release v0.15.2-RC2 Build and Deploy #410: Commit 3e0e2c2 pushed by DavyLandman
6m 48s v0.15.2-RC2
v0.15.2-RC2
6m 48s
[maven-release-plugin] prepare release v0.15.2-RC2 Build and Deploy #409: Commit 3e0e2c2 pushed by DavyLandman
Skipped main
main
Skipped
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
ProTip! You can narrow down the results and go further in time using created:<2025-07-10 or the other filters available.