Skip to content

Actions: conjure-cp/conjure-oxide

Actions

Coverage

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
code-coverage.yml
1,348 workflow runs
1,348 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

update uniplate to 0.2.0 Coverage #1432: Pull request #617 opened by niklasdewally
January 30, 2025 14:12 In progress nik/update-uniplate-to-0.2.0
nik/update-uniplate-to-0.2.0
January 30, 2025 14:12 In progress
build(deps): bump the all group across 1 directory with 3 updates Coverage #1431: Pull request #616 opened by dependabot bot
January 27, 2025 17:44 7m 26s dependabot/cargo/all-c91084a9b9
dependabot/cargo/all-c91084a9b9
January 27, 2025 17:44 7m 26s
build(deps): bump clap from 4.5.26 to 4.5.27 in the all group Coverage #1430: Pull request #615 opened by dependabot bot
January 27, 2025 08:53 7m 42s dependabot/cargo/all-d4f9f10358
dependabot/cargo/all-d4f9f10358
January 27, 2025 08:53 7m 42s
refactor(ast)!: refactor SymbolTable interface to hide implementation details Coverage #1429: Pull request #614 opened by niklasdewally
January 25, 2025 16:44 8m 29s nik/implement-letting/01-encapsulate-symbol-table
nik/implement-letting/01-encapsulate-symbol-table
January 25, 2025 16:44 8m 29s
Enable prop_multiple_equally_applicable by default in integration tests Coverage #1428: Pull request #609 synchronize by niklasdewally
January 22, 2025 10:11 6m 30s nik/fix-naive-rewriter-prop-multiple-applicable
nik/fix-naive-rewriter-prop-multiple-applicable
January 22, 2025 10:11 6m 30s
Enable prop_multiple_equally_applicable by default in integration tests Coverage #1427: Pull request #609 synchronize by niklasdewally
January 22, 2025 09:20 8m 33s nik/fix-naive-rewriter-prop-multiple-applicable
nik/fix-naive-rewriter-prop-multiple-applicable
January 22, 2025 09:20 8m 33s
Enable prop_multiple_equally_applicable by default in integration tests Coverage #1426: Pull request #609 synchronize by niklasdewally
January 21, 2025 17:08 6m 19s nik/fix-naive-rewriter-prop-multiple-applicable
nik/fix-naive-rewriter-prop-multiple-applicable
January 21, 2025 17:08 6m 19s
Enable prop_multiple_equally_applicable by default in integration tests Coverage #1425: Pull request #609 opened by niklasdewally
January 21, 2025 15:17 8m 49s nik/fix-naive-rewriter-prop-multiple-applicable
nik/fix-naive-rewriter-prop-multiple-applicable
January 21, 2025 15:17 8m 49s
feat(rules): add more -> tautologies to the partial evaluator Coverage #1424: Pull request #608 synchronize by niklasdewally
January 21, 2025 14:02 9m 27s nik/more-implication-tautologies
nik/more-implication-tautologies
January 21, 2025 14:02 9m 27s
feat(rules): add more -> tautologies to the partial evaluator Coverage #1423: Pull request #608 synchronize by niklasdewally
January 21, 2025 13:48 4m 11s nik/more-implication-tautologies
nik/more-implication-tautologies
January 21, 2025 13:48 4m 11s
feat(rules): add more -> tautologies to the partial evaluator Coverage #1422: Pull request #608 synchronize by niklasdewally
January 21, 2025 11:20 6m 16s nik/more-implication-tautologies
nik/more-implication-tautologies
January 21, 2025 11:20 6m 16s
feat(rules): add more -> tautologies to the partial evaluator Coverage #1421: Pull request #608 synchronize by niklasdewally
January 21, 2025 11:17 8m 9s nik/more-implication-tautologies
nik/more-implication-tautologies
January 21, 2025 11:17 8m 9s
feat(rules): add more -> tautologies to the partial evaluator Coverage #1420: Pull request #608 synchronize by niklasdewally
January 21, 2025 11:16 8m 36s nik/more-implication-tautologies
nik/more-implication-tautologies
January 21, 2025 11:16 8m 36s
feat(rules): add more -> tautologies to the partial evaluator Coverage #1419: Pull request #608 opened by niklasdewally
January 21, 2025 11:15 8m 5s nik/more-implication-tautologies
nik/more-implication-tautologies
January 21, 2025 11:15 8m 5s
feat(rules): add implication normalisation rules Coverage #1418: Pull request #597 opened by niklasdewally
January 20, 2025 16:56 4m 44s nik/normalise-implies
nik/normalise-implies
January 20, 2025 16:56 4m 44s
build(deps): bump the all group with 3 updates Coverage #1417: Pull request #594 synchronize by dependabot bot
January 20, 2025 11:40 7m 23s dependabot/cargo/all-1a6e3f7ef8
dependabot/cargo/all-1a6e3f7ef8
January 20, 2025 11:40 7m 23s
fix(tester): re-apply MacOS CI fix (commit 6fde964) Coverage #1416: Pull request #595 synchronize by niklasdewally
January 20, 2025 10:56 8m 57s nik/reapply-blocking-rule-trace-commit
nik/reapply-blocking-rule-trace-commit
January 20, 2025 10:56 8m 57s
fix(tester): re-apply MacOS CI fix (commit 6fde964) Coverage #1415: Pull request #595 synchronize by niklasdewally
January 20, 2025 10:50 5m 37s nik/reapply-blocking-rule-trace-commit
nik/reapply-blocking-rule-trace-commit
January 20, 2025 10:50 5m 37s
fix(tester): re-apply MacOS CI fix (commit 6fde964) Coverage #1414: Pull request #595 opened by niklasdewally
January 20, 2025 10:47 8m 37s nik/reapply-blocking-rule-trace-commit
nik/reapply-blocking-rule-trace-commit
January 20, 2025 10:47 8m 37s
rules/minion: apply weighted sum more often (negatives, equality) Coverage #1413: Pull request #584 synchronize by niklasdewally
January 20, 2025 10:33 8m 44s nik/pr/weighted-sum-neg-var
nik/pr/weighted-sum-neg-var
January 20, 2025 10:33 8m 44s
build(deps): bump the all group with 3 updates Coverage #1412: Pull request #594 opened by dependabot bot
January 20, 2025 08:14 10m 5s dependabot/cargo/all-1a6e3f7ef8
dependabot/cargo/all-1a6e3f7ef8
January 20, 2025 08:14 10m 5s
standardised format of json rule output Coverage #1411: Pull request #569 synchronize by Soph1514
January 18, 2025 20:44 9m 43s Soph1514:json_rule_format
Soph1514:json_rule_format
January 18, 2025 20:44 9m 43s
standardised format of json rule output Coverage #1410: Pull request #569 synchronize by Soph1514
January 18, 2025 20:42 7m 39s Soph1514:json_rule_format
Soph1514:json_rule_format
January 18, 2025 20:42 7m 39s
standardised format of json rule output Coverage #1409: Pull request #569 synchronize by Soph1514
January 18, 2025 20:28 6m 37s Soph1514:json_rule_format
Soph1514:json_rule_format
January 18, 2025 20:28 6m 37s
standardised format of json rule output Coverage #1408: Pull request #569 synchronize by Soph1514
January 18, 2025 19:37 7m 4s Soph1514:json_rule_format
Soph1514:json_rule_format
January 18, 2025 19:37 7m 4s