Skip to content

Actions: TypeFox/typir

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
197 workflow runs
197 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

first working version for defining simple custom types Build #194: Commit 930c6f3 pushed by JohannesMeierSE
March 19, 2025 07:31 25s jm/custom-types
jm/custom-types
March 19, 2025 07:31 25s
Reworked the infrastructure for validation rules and inference rules Build #193: Pull request #64 synchronize by JohannesMeierSE
March 10, 2025 08:16 25s jm/validation-api
jm/validation-api
March 10, 2025 08:16 25s
fixed some more generics Build #192: Commit bf2bad2 pushed by JohannesMeierSE
March 10, 2025 08:16 25s jm/validation-api
jm/validation-api
March 10, 2025 08:16 25s
Add a simple example without Langium Build #191: Pull request #59 synchronize by Lotes
March 7, 2025 17:45 39s lotes/39-simple-readme-example
lotes/39-simple-readme-example
March 7, 2025 17:45 39s
Update Readme Build #190: Commit 718c341 pushed by Lotes
March 7, 2025 17:45 37s lotes/39-simple-readme-example
lotes/39-simple-readme-example
March 7, 2025 17:45 37s
Add a simple example without Langium Build #189: Pull request #59 synchronize by Lotes
March 7, 2025 17:41 38s lotes/39-simple-readme-example
lotes/39-simple-readme-example
March 7, 2025 17:41 38s
Add better README Build #188: Commit 9fc0333 pushed by Lotes
March 7, 2025 17:41 40s lotes/39-simple-readme-example
lotes/39-simple-readme-example
March 7, 2025 17:41 40s
Add a simple example without Langium Build #187: Pull request #59 synchronize by Lotes
March 7, 2025 16:41 41s lotes/39-simple-readme-example
lotes/39-simple-readme-example
March 7, 2025 16:41 41s
Add a custom validation Build #186: Commit f2f34a5 pushed by Lotes
March 7, 2025 16:41 40s lotes/39-simple-readme-example
lotes/39-simple-readme-example
March 7, 2025 16:41 40s
Add a simple example without Langium Build #185: Pull request #59 synchronize by Lotes
March 7, 2025 16:29 39s lotes/39-simple-readme-example
lotes/39-simple-readme-example
March 7, 2025 16:29 39s
Save so far Build #184: Commit ebabd64 pushed by Lotes
March 7, 2025 16:29 38s lotes/39-simple-readme-example
lotes/39-simple-readme-example
March 7, 2025 16:29 38s
Reworked the infrastructure for validation rules and inference rules Build #183: Pull request #64 opened by JohannesMeierSE
March 7, 2025 13:59 44s jm/validation-api
jm/validation-api
March 7, 2025 13:59 44s
provide the predefined validations in the factory API Build #182: Commit 6c9fca0 pushed by JohannesMeierSE
March 7, 2025 13:04 45s jm/validation-api
jm/validation-api
March 7, 2025 13:04 45s
provide the predefined validations in the factory API Build #181: Commit bd8dbcf pushed by JohannesMeierSE
March 7, 2025 13:02 45s jm/validation-api
jm/validation-api
March 7, 2025 13:02 45s
annotate inference rules with validations (WIP) Build #180: Commit 89f6322 pushed by JohannesMeierSE
March 6, 2025 23:13 40s jm/validation-api
jm/validation-api
March 6, 2025 23:13 40s
new API to register inference rules to the $type of the AstNode t… Build #179: Commit e7bcb02 pushed by JohannesMeierSE
March 6, 2025 18:14 42s jm/validation-api
jm/validation-api
March 6, 2025 18:14 42s
new API to register inference rules to the $type of the AstNode t… Build #178: Commit 7e7c15c pushed by JohannesMeierSE
March 6, 2025 14:52 45s jm/validation-api
jm/validation-api
March 6, 2025 14:52 45s
new API to register inference rules to the $type of the AstNode t… Build #177: Commit 26639e8 pushed by JohannesMeierSE
March 6, 2025 14:47 40s jm/validation-api
jm/validation-api
March 6, 2025 14:47 40s
added composite validation rules and listeners for added/removed vali… Build #176: Commit b6b5986 pushed by JohannesMeierSE
March 6, 2025 13:56 41s jm/validation-api
jm/validation-api
March 6, 2025 13:56 41s
Reworked the API to create validation hints: ValidationProblems need … Build #175: Commit 7cc5de7 pushed by JohannesMeierSE
March 5, 2025 11:54 45s jm/validation-api
jm/validation-api
March 5, 2025 11:54 45s
wrote test cases for the rule registry, fixed composite inference rule Build #174: Commit 4b266ef pushed by JohannesMeierSE
March 5, 2025 10:10 38s jm/validation-api
jm/validation-api
March 5, 2025 10:10 38s
fixed more Build #173: Commit 564e633 pushed by JohannesMeierSE
March 5, 2025 10:08 42s jm/validation-api
jm/validation-api
March 5, 2025 10:08 42s
wrote test cases for the rule registry, fixed composite inference rule Build #172: Commit 952f921 pushed by JohannesMeierSE
March 5, 2025 09:54 24s jm/validation-api
jm/validation-api
March 5, 2025 09:54 24s
developed dedicated registry for rules, used for inference and valida… Build #171: Commit bbffb52 pushed by JohannesMeierSE
March 3, 2025 18:30 8m 3s jm/validation-api
jm/validation-api
March 3, 2025 18:30 8m 3s
Add GitHub action for next releases (#62) Build #170: Commit 869e166 pushed by Lotes
February 18, 2025 15:57 1m 5s main
main
February 18, 2025 15:57 1m 5s