Skip to content

Actions: bmw-software-engineering/trlc

Actions

TRLC CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
120 workflow runs
120 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
Fixed cvc5.BUILD to use correct binary name on Windows TRLC CI #435: Pull request #182 opened by AAmbuj
Action required AAmbuj:amsh_windows_cvc5_path_update
AAmbuj:amsh_windows_cvc5_path_update
Action required
Added automated TRLC to BCR release pipeline TRLC CI #434: Pull request #181 opened by AAmbuj
Action required AAmbuj:amsh_automated_release_trlc_to_bcr
AAmbuj:amsh_automated_release_trlc_to_bcr
Action required
Fix sha256 for cvc5_mac (#180) TRLC CI #433: Commit 44f23de pushed by phiwuu
8m 33s main
main
8m 33s
Fix sha256 for cvc5_mac TRLC CI #432: Pull request #180 opened by vishwajitdandage
8m 23s vishwajitdandage:main
vishwajitdandage:main
8m 23s
enable unions in tuples TRLC CI #431: Pull request #179 synchronize by hoe-jo
8m 41s joho_enable_union_in_tuple
joho_enable_union_in_tuple
8m 41s
enable unions in tuples TRLC CI #430: Pull request #179 opened by hoe-jo
3m 31s joho_enable_union_in_tuple
joho_enable_union_in_tuple
3m 31s
Bump version to 2.0.5-dev after release (#178) TRLC CI #429: Commit d3f6a68 pushed by phiwuu
7m 41s main
main
7m 41s
Bump version to 2.0.5-dev after release TRLC CI #428: Pull request #178 opened by phiwuu
9m 18s bump
bump
9m 18s
TRLC Release 2.0.4 (#177) TRLC CI #427: Commit 3a71fd5 pushed by phiwuu
7m 46s main
main
7m 46s
TRLC Release 2.0.4 TRLC CI #426: Pull request #177 opened by phiwuu
9m 2s release-204
release-204
9m 2s
enable vcg checks in tuple access TRLC CI #425: Pull request #176 opened by hoe-jo
8m 50s joho_enable_foreach
joho_enable_foreach
8m 50s
add trlc-to-rst tool (#174) TRLC CI #424: Commit 1872957 pushed by phiwuu
7m 34s main
main
7m 34s
Joho add trlc renderer TRLC CI #423: Pull request #174 synchronize by phiwuu
9m 54s joho_add_trlc_renderer
joho_add_trlc_renderer
9m 54s
Joho add trlc renderer TRLC CI #422: Pull request #174 synchronize by hoe-jo
7m 43s joho_add_trlc_renderer
joho_add_trlc_renderer
7m 43s
[TRLC]: Implement Union Type (#171) TRLC CI #421: Commit 9c81aeb pushed by hoe-jo
8m 4s main
main
8m 4s
[TRLC]: Implement Union Type TRLC CI #420: Pull request #171 synchronize by hoe-jo
7m 45s joho_introduce_union_type
joho_introduce_union_type
7m 45s
Joho add trlc renderer TRLC CI #419: Pull request #174 synchronize by hoe-jo
7m 40s joho_add_trlc_renderer
joho_add_trlc_renderer
7m 40s
[TRLC]: Implement Union Type TRLC CI #418: Pull request #171 synchronize by hoe-jo
7m 51s joho_introduce_union_type
joho_introduce_union_type
7m 51s
Support Python 3.14 (#175) TRLC CI #417: Commit f730a84 pushed by phiwuu
7m 14s main
main
7m 14s
Support Python 3.14 TRLC CI #416: Pull request #175 synchronize by kedarnn
7m 15s feature/support-python-314
feature/support-python-314
7m 15s
fix dependencies to other repos (#172) TRLC CI #415: Commit edd5fdf pushed by phiwuu
7m 0s main
main
7m 0s
Support Python 3.14 TRLC CI #414: Pull request #175 opened by phiwuu
7m 15s feature/support-python-314
feature/support-python-314
7m 15s
Joho add trlc renderer TRLC CI #413: Pull request #174 synchronize by hoe-jo
1m 45s joho_add_trlc_renderer
joho_add_trlc_renderer
1m 45s
fix dependencies to other repos TRLC CI #412: Pull request #172 synchronize by phiwuu
7m 44s joho_fix_deps_in_other_repos
joho_fix_deps_in_other_repos
7m 44s
Joho add trlc renderer TRLC CI #411: Pull request #174 reopened by hoe-jo
2m 16s joho_add_trlc_renderer
joho_add_trlc_renderer
2m 16s