Skip to content

Actions: bmw-software-engineering/trlc

Actions

Deploy static content to Pages

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
docs.yml
101 workflow runs
101 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

fixes unknown tracing target (#117) Deploy static content to Pages #139: Commit 629f9ec pushed by christophkloeffel
November 11, 2024 17:43 4m 16s main
main
November 11, 2024 17:43 4m 16s
Updated documentation for Windows setup (#105) Deploy static content to Pages #138: Commit 04a3e61 pushed by christophkloeffel
November 7, 2024 17:24 3m 55s main
main
November 7, 2024 17:24 3m 55s
Add clause "simplified name" to LRM (#115) Deploy static content to Pages #137: Commit c732e8a pushed by phiwuu
October 31, 2024 13:53 3m 57s main
main
October 31, 2024 13:53 3m 57s
adds tracing for markup strings (#67) Deploy static content to Pages #136: Commit 9656026 pushed by christophkloeffel
October 24, 2024 12:54 3m 57s main
main
October 24, 2024 12:54 3m 57s
adds one status check job (#112) Deploy static content to Pages #135: Commit c7ccbc2 pushed by christophkloeffel
October 21, 2024 10:35 5m 6s main
main
October 21, 2024 10:35 5m 6s
Implement review comments from PR #66 (#109) Deploy static content to Pages #134: Commit 11a8d31 pushed by christophkloeffel
October 21, 2024 08:57 3m 39s main
main
October 21, 2024 08:57 3m 39s
specifies github runner images explicitly (#111) Deploy static content to Pages #133: Commit 51c4e6c pushed by christophkloeffel
October 18, 2024 11:55 4m 37s main
main
October 18, 2024 11:55 4m 37s
adds tracing for names (#66) Deploy static content to Pages #132: Commit b22befc pushed by christophkloeffel
October 15, 2024 11:38 4m 14s main
main
October 15, 2024 11:38 4m 14s
updates documentation in .md files (#103) Deploy static content to Pages #131: Commit e316003 pushed by christophkloeffel
October 15, 2024 10:13 4m 4s main
main
October 15, 2024 10:13 4m 4s
Iteration api by section (#90) Deploy static content to Pages #130: Commit f4a647c pushed by christophkloeffel
October 14, 2024 16:59 5m 35s main
main
October 14, 2024 16:59 5m 35s
uses build instead of invoking setup.py directly (#107) Deploy static content to Pages #129: Commit 1461bd9 pushed by christophkloeffel
October 14, 2024 14:37 3m 44s main
main
October 14, 2024 14:37 3m 44s
fixes python3.8 disabled error (#108) Deploy static content to Pages #128: Commit c65c94b pushed by christophkloeffel
October 14, 2024 13:59 3m 36s main
main
October 14, 2024 13:59 3m 36s
fixes externally-managed-environment error (#106) Deploy static content to Pages #127: Commit 922db53 pushed by christophkloeffel
October 8, 2024 09:02 3m 37s main
main
October 8, 2024 09:02 3m 37s
adds windows as platform to the CI testsuite (#104) Deploy static content to Pages #126: Commit ac64cb1 pushed by christophkloeffel
September 12, 2024 13:08 3m 54s main
main
September 12, 2024 13:08 3m 54s
ignores the BrokenPipeError (#101) Deploy static content to Pages #125: Commit 86b114a pushed by christophkloeffel
September 11, 2024 11:35 4m 17s main
main
September 11, 2024 11:35 4m 17s
Update LRM link to 3.0 (#100) Deploy static content to Pages #124: Commit a94ef14 pushed by phiwuu
September 10, 2024 19:52 3m 40s main
main
September 10, 2024 19:52 3m 40s
Fix github-release in MAKEFILE (#102) Deploy static content to Pages #123: Commit 9ffcc8e pushed by phiwuu
September 10, 2024 15:23 3m 51s main
main
September 10, 2024 15:23 3m 51s
fixes remove of deprecated builtin function syntax (#99) Deploy static content to Pages #122: Commit 7873520 pushed by christophkloeffel
September 10, 2024 13:23 3m 38s main
main
September 10, 2024 13:23 3m 38s
Bump version to 2.0.1-dev after release Deploy static content to Pages #121: Commit 2cfed0b pushed by phiwuu
September 9, 2024 14:16 4m 34s main
main
September 9, 2024 14:16 4m 34s
TRLC Release 2.0.0 Deploy static content to Pages #120: Commit b40a001 pushed by phiwuu
September 9, 2024 14:02 3m 54s main
main
September 9, 2024 14:02 3m 54s
changes the team name (#96) Deploy static content to Pages #119: Commit edd8fe3 pushed by christophkloeffel
September 6, 2024 13:59 3m 52s main
main
September 6, 2024 13:59 3m 52s
adds tracing for quantification (#65) Deploy static content to Pages #118: Commit 2299455 pushed by christophkloeffel
September 2, 2024 15:16 4m 10s main
main
September 2, 2024 15:16 4m 10s
adds tracing for record object declarations (#64) Deploy static content to Pages #117: Commit d47d3d5 pushed by christophkloeffel
September 2, 2024 12:47 4m 27s main
main
September 2, 2024 12:47 4m 27s
Fixed typo in TUTORIAL-PACKAGE.md (#93) Deploy static content to Pages #116: Commit 97dad2e pushed by phiwuu
August 17, 2024 21:10 4m 4s main
main
August 17, 2024 21:10 4m 4s
Update to PyVCG 1.0.7 and CVC 1.2.0 (#95) Deploy static content to Pages #115: Commit 7012b44 pushed by phiwuu
August 17, 2024 20:53 3m 33s main
main
August 17, 2024 20:53 3m 33s