summaryrefslogtreecommitdiff
path: root/rules
AgeCommit message (Collapse)Author
2023-04-19["CC", "defaults"] add basic field documentationKlaus Aehlig
2023-04-19Merge commit 'ec15b36a5bca5916ba06dcff83bb8ea46b25446a'Klaus Aehlig
2023-04-18Merge commit '6591e8aa71be7950725c0fb10341a73ab3da4c52'Klaus Aehlig
2023-04-11["shell/test", "script"]: make TEST_RUN_NUMBER availableKlaus Aehlig
If RUNS_PER_TEST is given, inform each individual test action about the run number it is executing. This can be used, e.g., to set random seeds appropriately.
2023-03-15Merge commit '2e53ff4d37dbda318f9c33e631bbd9a1d27c9b8e' into HEADAlberto Sartori
2023-02-28Merge commit 'c0a0bbf4c3cd92c9d740bb6a965bad8a9b938d20' into rules-ccOliver Reiche
2023-02-28Merge commit '95bef3c6237c2d3950ba4d886aa0329d242105ce' into HEADKlaus Aehlig
2023-01-31Merge commit '392c7451987c10d5dbf23d484f2ed79aa7115e6b' into rules-ccOliver Reiche
2023-01-26Merge commit '0257363b76a05ed2f12dec689bd5dbc5b4e5b0e6' into rules-ccOliver Reiche
2023-01-20Merge commit 'e75f101e8b988adb458e594ffaaaebc0c01f65df' into rules-ccOliver Reiche
2023-01-20Merge commit '741a00134ff1de2ec59c98997aa3b1045c99e3a6' into rules-ccOliver Reiche
2023-01-10Merge commit '5ae5134804b6edaaffec593868f133dd840ef7df' into ↵Oliver Reiche
oreiche/install-rules
2023-01-10Merge commit 'a382b308b9011606e7d07376808812d51631d558' into ↵Oliver Reiche
oreiche/install-rules
2022-12-16Merge commit 'e97ac1a8de806e7bccd6a8be8436e95cf2bbb341' into rules-ccOliver Reiche
2022-12-16Merge commit '95284ec611a53ca9c7925aad4bbe3f6561de018a' into shared-rulesOliver Reiche
2022-12-16Merge commit '0712694ea67f84a30058109d41f37ff96c37558d' into rules-ccOliver Reiche
2022-12-14Merge commit 'b1859c1ba4229812497da501e2843ab20d27682b' into rulesOliver Reiche
2022-12-12Add 'rules/' from commit 'd44be66f2a916168e0f5a7055e49f12c252b2cd2'Oliver Reiche
git-subtree-dir: rules git-subtree-mainline: 247e09b1ba01deb5649c6a73a7f272e1f72178fe git-subtree-split: d44be66f2a916168e0f5a7055e49f12c252b2cd2
generated by cgit v1.2.3 (git 2.39.1) at 2025-07-15 02:08:20 +0000