Skip to content

Actions: conjure-cp/conjure-oxide

Actions

Hygiene

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
hygiene.yml
134 workflow runs
134 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add powers and convert to Minion Hygiene #134: Pull request #589 synchronize by niklasdewally
January 14, 2025 17:23 7m 20s nik/add-pow
nik/add-pow
January 14, 2025 17:23 7m 20s
Add implication and convert to Minion Hygiene #133: Pull request #590 opened by niklasdewally
January 14, 2025 17:16 5m 9s nik/implies
nik/implies
January 14, 2025 17:16 5m 9s
Add powers and convert to Minion Hygiene #132: Pull request #589 synchronize by niklasdewally
January 14, 2025 11:24 2m 4s nik/add-pow
nik/add-pow
January 14, 2025 11:24 2m 4s
Add powers and convert to Minion Hygiene #131: Pull request #589 synchronize by niklasdewally
January 14, 2025 11:21 4m 7s nik/add-pow
nik/add-pow
January 14, 2025 11:21 4m 7s
Add powers and convert to Minion Hygiene #130: Pull request #589 synchronize by niklasdewally
January 14, 2025 11:19 2m 3s nik/add-pow
nik/add-pow
January 14, 2025 11:19 2m 3s
Add powers and convert to Minion Hygiene #129: Pull request #589 opened by niklasdewally
January 14, 2025 11:17 1m 28s nik/add-pow
nik/add-pow
January 14, 2025 11:17 1m 28s
rules/minion: apply weighted sum more often (negatives, equality) Hygiene #128: Pull request #584 synchronize by niklasdewally
January 13, 2025 16:17 5m 6s nik/pr/weighted-sum-neg-var
nik/pr/weighted-sum-neg-var
January 13, 2025 16:17 5m 6s
Implement rule priority groups to tree_morph Hygiene #127: Pull request #586 synchronize by lixitrixi
January 13, 2025 15:39 5m 26s lixitrixi:rule-groups
lixitrixi:rule-groups
January 13, 2025 15:39 5m 26s
Merge pull request #587 from conjure-cp/dependabot/cargo/all-cce7791625 Hygiene #126: Commit b85a6d1 pushed by ozgurakgun
January 13, 2025 11:10 5m 45s main
main
January 13, 2025 11:10 5m 45s
build(deps): bump the all group with 9 updates Hygiene #125: Pull request #587 opened by dependabot bot
January 13, 2025 08:12 5m 21s dependabot/cargo/all-cce7791625
dependabot/cargo/all-cce7791625
January 13, 2025 08:12 5m 21s
Implement rule priority groups to tree_morph Hygiene #124: Pull request #586 synchronize by lixitrixi
January 12, 2025 23:17 4m 58s lixitrixi:rule-groups
lixitrixi:rule-groups
January 12, 2025 23:17 4m 58s
Implement rule priority groups to tree_morph Hygiene #123: Pull request #586 synchronize by lixitrixi
January 12, 2025 23:05 1m 3s lixitrixi:rule-groups
lixitrixi:rule-groups
January 12, 2025 23:05 1m 3s
Implement rule priority groups to tree_morph Hygiene #122: Pull request #586 opened by lixitrixi
January 12, 2025 23:04 1m 2s lixitrixi:rule-groups
lixitrixi:rule-groups
January 12, 2025 23:04 1m 2s
Merge pull request #585 from conjure-cp/unify-flatten Hygiene #121: Commit e012905 pushed by ozgurakgun
January 12, 2025 19:07 5m 7s main
main
January 12, 2025 19:07 5m 7s
Unify flatten_*op rules into flatten_generic Hygiene #120: Pull request #585 synchronize by niklasdewally
January 10, 2025 23:09 9m 14s unify-flatten
unify-flatten
January 10, 2025 23:09 9m 14s
Unify flatten_*op rules into flatten_generic Hygiene #119: Pull request #585 synchronize by niklasdewally
January 10, 2025 23:06 3m 19s unify-flatten
unify-flatten
January 10, 2025 23:06 3m 19s
Unify flatten_*op rules into flatten_generic Hygiene #118: Pull request #585 synchronize by niklasdewally
January 10, 2025 22:56 5m 24s unify-flatten
unify-flatten
January 10, 2025 22:56 5m 24s
Unify flatten_*op rules into flatten_generic Hygiene #117: Pull request #585 opened by ozgurakgun
January 10, 2025 21:22 5m 28s unify-flatten
unify-flatten
January 10, 2025 21:22 5m 28s
rules/minion: apply weighted sum more often (negatives, equality) Hygiene #116: Pull request #584 synchronize by niklasdewally
January 10, 2025 20:13 6m 6s nik/pr/weighted-sum-neg-var
nik/pr/weighted-sum-neg-var
January 10, 2025 20:13 6m 6s
Add absolute values and convert to Minion Hygiene #115: Commit aa2c52d pushed by niklasdewally
January 10, 2025 20:04 5m 36s main
main
January 10, 2025 20:04 5m 36s
Add absolute values and convert to Minion Hygiene #114: Pull request #583 synchronize by niklasdewally
January 10, 2025 19:58 7m 0s nik/pr/add-abs/01
nik/pr/add-abs/01
January 10, 2025 19:58 7m 0s
Add absolute values and convert to Minion Hygiene #113: Pull request #583 synchronize by niklasdewally
January 10, 2025 19:57 3m 41s nik/pr/add-abs/01
nik/pr/add-abs/01
January 10, 2025 19:57 3m 41s
Add absolute values and convert to Minion Hygiene #112: Pull request #583 synchronize by niklasdewally
January 10, 2025 19:16 2m 54s nik/pr/add-abs/01
nik/pr/add-abs/01
January 10, 2025 19:16 2m 54s
rules/minion: apply weighted sum more often (negatives, equality) Hygiene #111: Pull request #584 synchronize by niklasdewally
January 10, 2025 18:58 7m 46s nik/pr/weighted-sum-neg-var
nik/pr/weighted-sum-neg-var
January 10, 2025 18:58 7m 46s
Add absolute values and convert to Minion Hygiene #110: Pull request #583 synchronize by niklasdewally
January 10, 2025 18:56 3m 10s nik/pr/add-abs/01
nik/pr/add-abs/01
January 10, 2025 18:56 3m 10s