Skip to content

Actions: RagnarGrootKoerkamp/BAPCtools

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,084 workflow runs
1,084 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Different logic for when to run output/answer validator CI #674: Commit 7082d3e pushed by thorehusfeldt
January 16, 2024 12:38 6h 0m 14s 324-ans-validation
324-ans-validation
January 16, 2024 12:38 6h 0m 14s
Run output validator for constraints if answer validator is absent CI #673: Commit ec28e57 pushed by thorehusfeldt
January 16, 2024 11:54 3m 13s 324-ans-validation
324-ans-validation
January 16, 2024 11:54 3m 13s
Further reduce spelling mistakes by 1 CI #672: Commit ee8d293 pushed by thorehusfeldt
January 15, 2024 14:46 3m 49s master
master
January 15, 2024 14:46 3m 49s
Match \problemyamlname directly CI #671: Commit b7ea98c pushed by thorehusfeldt
January 15, 2024 14:45 3m 40s master
master
January 15, 2024 14:45 3m 40s
Answer Format Validation CI #670: Pull request #330 synchronize by thorehusfeldt
January 15, 2024 14:22 3m 16s 324-ans-validation
324-ans-validation
January 15, 2024 14:22 3m 16s
bugfix: output -> answer in constraints check CI #669: Commit 645f1a2 pushed by thorehusfeldt
January 15, 2024 14:22 3m 16s 324-ans-validation
324-ans-validation
January 15, 2024 14:22 3m 16s
Answer Format Validation CI #668: Pull request #330 synchronize by thorehusfeldt
January 15, 2024 14:11 3m 13s 324-ans-validation
324-ans-validation
January 15, 2024 14:11 3m 13s
Unify validator_dir and validator_type vars (now have same value) CI #667: Commit c3e16a7 pushed by thorehusfeldt
January 15, 2024 14:11 3m 21s 324-ans-validation
324-ans-validation
January 15, 2024 14:11 3m 21s
Answer Format Validation CI #666: Pull request #330 synchronize by thorehusfeldt
January 15, 2024 13:16 3m 18s 324-ans-validation
324-ans-validation
January 15, 2024 13:16 3m 18s
Use class dispatcher (not ifs) to select validator CI #665: Commit f5a71e9 pushed by thorehusfeldt
January 15, 2024 13:16 3m 11s 324-ans-validation
324-ans-validation
January 15, 2024 13:16 3m 11s
Answer Format Validation CI #664: Pull request #330 opened by thorehusfeldt
January 15, 2024 13:11 3m 14s 324-ans-validation
324-ans-validation
January 15, 2024 13:11 3m 14s
generatorincludes: use answer_validators, not output_validators CI #663: Commit d2d9beb pushed by thorehusfeldt
January 15, 2024 13:10 3m 19s 324-ans-validation
324-ans-validation
January 15, 2024 13:10 3m 19s
Err (not warn) if problemname is missing CI #662: Commit ad22bfc pushed by thorehusfeldt
January 15, 2024 12:03 3m 51s 324-ans-validation
324-ans-validation
January 15, 2024 12:03 3m 51s
Err (not warn) if problemname is missing CI #661: Commit ad22bfc pushed by RagnarGrootKoerkamp
January 15, 2024 11:40 3m 37s master
master
January 15, 2024 11:40 3m 37s
326 warn if problemtitle differs from problemsettingsnamelanguage CI #660: Pull request #329 synchronize by thorehusfeldt
January 15, 2024 11:35 3m 37s 326-warn-if-problemtitle-differs-from-problemsettingsnamelanguage
326-warn-if-problemtitle-differs-from-problemsettingsnamelanguage
January 15, 2024 11:35 3m 37s
Err (not warn) if problemname is missing CI #659: Commit 62a41b1 pushed by thorehusfeldt
January 15, 2024 11:34 3m 43s 326-warn-if-problemtitle-differs-from-problemsettingsnamelanguage
326-warn-if-problemtitle-differs-from-problemsettingsnamelanguage
January 15, 2024 11:34 3m 43s
326 warn if problemtitle differs from problemsettingsnamelanguage CI #658: Pull request #329 synchronize by thorehusfeldt
January 15, 2024 10:07 3m 48s 326-warn-if-problemtitle-differs-from-problemsettingsnamelanguage
326-warn-if-problemtitle-differs-from-problemsettingsnamelanguage
January 15, 2024 10:07 3m 48s
different: add name.en in problem.yaml CI #657: Commit 2e256c0 pushed by thorehusfeldt
January 15, 2024 10:07 3m 43s 326-warn-if-problemtitle-differs-from-problemsettingsnamelanguage
326-warn-if-problemtitle-differs-from-problemsettingsnamelanguage
January 15, 2024 10:07 3m 43s
326 warn if problemtitle differs from problemsettingsnamelanguage CI #656: Pull request #329 synchronize by thorehusfeldt
January 15, 2024 10:05 3m 40s 326-warn-if-problemtitle-differs-from-problemsettingsnamelanguage
326-warn-if-problemtitle-differs-from-problemsettingsnamelanguage
January 15, 2024 10:05 3m 40s
guess: add name.en in problem.yaml CI #655: Commit a9e47c3 pushed by thorehusfeldt
January 15, 2024 10:05 3m 49s 326-warn-if-problemtitle-differs-from-problemsettingsnamelanguage
326-warn-if-problemtitle-differs-from-problemsettingsnamelanguage
January 15, 2024 10:05 3m 49s
326 warn if problemtitle differs from problemsettingsnamelanguage CI #654: Pull request #329 synchronize by thorehusfeldt
January 15, 2024 09:59 3m 42s 326-warn-if-problemtitle-differs-from-problemsettingsnamelanguage
326-warn-if-problemtitle-differs-from-problemsettingsnamelanguage
January 15, 2024 09:59 3m 42s
Add missing \problemname to test/**/problem.en.tex CI #653: Commit 9097fc2 pushed by thorehusfeldt
January 15, 2024 09:59 3m 38s 326-warn-if-problemtitle-differs-from-problemsettingsnamelanguage
326-warn-if-problemtitle-differs-from-problemsettingsnamelanguage
January 15, 2024 09:59 3m 38s
326 warn if problemtitle differs from problemsettingsnamelanguage CI #652: Pull request #329 opened by thorehusfeldt
January 15, 2024 09:19 3m 51s 326-warn-if-problemtitle-differs-from-problemsettingsnamelanguage
326-warn-if-problemtitle-differs-from-problemsettingsnamelanguage
January 15, 2024 09:19 3m 51s
Verify problem names in yaml and tex agree, warn ow. CI #651: Commit 6fdd06f pushed by thorehusfeldt
January 15, 2024 09:14 3m 49s 326-warn-if-problemtitle-differs-from-problemsettingsnamelanguage
326-warn-if-problemtitle-differs-from-problemsettingsnamelanguage
January 15, 2024 09:14 3m 49s
capitalization CI #650: Commit db86c22 pushed by thorehusfeldt
January 15, 2024 09:06 3m 55s 326-warn-if-problemtitle-differs-from-problemsettingsnamelanguage
326-warn-if-problemtitle-differs-from-problemsettingsnamelanguage
January 15, 2024 09:06 3m 55s
ProTip! You can narrow down the results and go further in time using created:<2024-01-15 or the other filters available.