All Workflows Tests

Other workflows 1

ci.yaml

23 workflow runs

Actor

All actors HEL

Status

All status Success Failure Canceled Skipped Waiting Running Blocked Canceling

Branch

All branches main

Create status badge

Merge pull request 'Undefined variables and column aggregations' (#43) from fix/undefined-variable into main

#28:Commit 7c96f7a19f pushed by HEL

main

2026-07-23 23:36:20 +00:00

6s

View workflow file

fix(checker): correct return type for column aggregation

#27:Commit e37432ad57 pushed by HEL

#43

2026-07-23 23:36:03 +00:00

10s

View workflow file

Merge pull request 'Avoid raising exceptions, report diagnostics instead' (#42) from fix/remove-raises into main

#26:Commit 12c5309cff pushed by HEL

main

2026-07-10 09:35:15 +00:00

6s

View workflow file

fix(checker): remove redundant match case

#25:Commit 720a82c221 pushed by HEL

#42

2026-07-10 09:34:05 +00:00

6s

View workflow file

Merge pull request 'Add Contributing and License sections to README' (#41) from feat/readme-additions into main

#24:Commit e302ed2377 pushed by HEL

main

2026-07-09 22:39:18 +00:00

6s

View workflow file

chore: add icon to README

#23:Commit 1d927e532f pushed by HEL

#41

2026-07-09 22:38:53 +00:00

6s

View workflow file

chore: add icon to README

#22:Commit 9a7c1e24f1 pushed by HEL

#41

2026-07-09 22:37:56 +00:00

6s

View workflow file

Merge pull request 'Add Apache 2.0 license' (#40) from feat/license into main

#21:Commit 3e06a236b5 pushed by HEL

main

2026-07-09 22:20:48 +00:00

6s

View workflow file

chore: add Apache 2.0 license

#20:Commit ab53ac67d5 pushed by HEL

#40

2026-07-09 22:20:21 +00:00

6s

View workflow file

Merge pull request 'Tidy examples and minor housekeeping' (#39) from feat/tidy-examples into main

#19:Commit b3ff5a7b96 pushed by HEL

main

2026-07-09 21:41:56 +00:00

5s

View workflow file

chore: add justfile

#18:Commit dce35391b4 pushed by HEL

#39

2026-07-09 21:41:31 +00:00

6s

View workflow file

chore: add justfile

#17:Commit 9f3c8b96e9 pushed by HEL

#39

2026-07-09 21:39:32 +00:00

7s

View workflow file

Merge pull request 'Minor fixes and more tests' (#38) from feat/add-tests into main

#16:Commit 34072de270 pushed by HEL

main

2026-07-09 20:19:55 +00:00

5s

View workflow file

tests: add frame constraint generation test

#15:Commit 2b09a29165 pushed by HEL

#38

2026-07-09 20:19:32 +00:00

6s

View workflow file

Merge pull request 'Cleanup and minor improvements' (#37) from feat/tidying into main

#14:Commit 0c851cbc9b pushed by HEL

main

2026-07-09 14:59:40 +00:00

5s

View workflow file

chore: fix name and complete language configuration

#13:Commit 54b2058b86 pushed by HEL

#37

2026-07-09 14:59:18 +00:00

7s

View workflow file

Merge pull request 'Properly check variable assignment' (#36) from feat/variable-is-defined into main

#12:Commit 62612bd8db pushed by HEL

main

2026-07-08 17:30:50 +00:00

6s

View workflow file

chore: add new parameter to docstring

#11:Commit 4ed78d3d7e pushed by HEL

#36

2026-07-08 17:30:28 +00:00

5s

View workflow file

fix(checker): leaking for-loop iterator target

#10:Commit ab7012c538 pushed by HEL

#36

2026-07-08 17:28:56 +00:00

6s

View workflow file

Merge pull request 'Complete documentation' (#32) from feat/complete-docs into main

#9:Commit 2118c260ab pushed by HEL

main

2026-07-08 15:41:11 +00:00

6s

View workflow file

docs: add commands in manual

#8:Commit 403238da09 pushed by HEL

#32

2026-07-08 15:39:22 +00:00

6s

View workflow file

chore: pin python version for test ci

#7:Commit c00dfe9910 pushed by HEL

#32

2026-07-08 14:47:29 +00:00

23s

View workflow file

chore: remove uv from test workflow

#4:Commit c2ebf885ac pushed by HEL

#32

2026-07-08 14:19:39 +00:00

6s

View workflow file