Skip to content

Actions: conjure-cp/conjure-oxide

Actions

PR Checks

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
checks.yml
93 workflow runs
93 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Changing Model.constraints, and Reduction.new_top to be a Vec<Expression> PR Checks #18: Pull request #435 opened by YehorBoiar
November 11, 2024 12:01 17s YehorBoiar:exp_to_vector
YehorBoiar:exp_to_vector
November 11, 2024 12:01 17s
build(deps): bump the all group with 3 updates PR Checks #17: Pull request #434 opened by dependabot bot
November 11, 2024 08:15 15s dependabot/cargo/all-1167e546d7
dependabot/cargo/all-1167e546d7
November 11, 2024 08:15 15s
Encourage reviews in CONTRIBUTING.md PR Checks #16: Pull request #433 synchronize by ozgurakgun
November 10, 2024 15:58 14s encourage-reviews
encourage-reviews
November 10, 2024 15:58 14s
Encourage reviews in CONTRIBUTING.md PR Checks #15: Pull request #433 opened by ozgurakgun
November 10, 2024 15:57 15s encourage-reviews
encourage-reviews
November 10, 2024 15:57 15s
CONTRIBUTING.md: add do not force push advice PR Checks #14: Pull request #432 synchronize by niklasdewally
November 10, 2024 15:01 15s niklasdewally:add-no-force-push-to-contributors
niklasdewally:add-no-force-push-to-contributors
November 10, 2024 15:01 15s
CONTRIBUTING.md: add do not force push advice PR Checks #13: Pull request #432 opened by niklasdewally
November 10, 2024 15:00 17s niklasdewally:add-no-force-push-to-contributors
niklasdewally:add-no-force-push-to-contributors
November 10, 2024 15:00 17s
Close stale issues/PRs PR Checks #12: Pull request #431 synchronize by ozgurakgun
November 10, 2024 14:35 16s ozgurakgun:stale
ozgurakgun:stale
November 10, 2024 14:35 16s
Close stale issues/PRs PR Checks #11: Pull request #431 opened by ozgurakgun
November 10, 2024 14:35 14s ozgurakgun:stale
ozgurakgun:stale
November 10, 2024 14:35 14s
WIP: div flattening PR Checks #10: Pull request #424 synchronize by niklasdewally
November 10, 2024 14:33 19s niklasdewally:topic/flattening-divs-take-2
niklasdewally:topic/flattening-divs-take-2
November 10, 2024 14:33 19s
ci: block merging PRs with fixup! commits PR Checks #9: Pull request #430 synchronize by niklasdewally
November 10, 2024 14:18 15s niklasdewally:check-for-fixups-before-merging
niklasdewally:check-for-fixups-before-merging
November 10, 2024 14:18 15s
ci: block merging PRs with fixup! commits PR Checks #8: Pull request #430 synchronize by niklasdewally
November 10, 2024 14:04 15s niklasdewally:check-for-fixups-before-merging
niklasdewally:check-for-fixups-before-merging
November 10, 2024 14:04 15s
ci: block merging PRs with fixup! commits PR Checks #7: Pull request #430 synchronize by niklasdewally
November 10, 2024 14:03 19s niklasdewally:check-for-fixups-before-merging
niklasdewally:check-for-fixups-before-merging
November 10, 2024 14:03 19s
ci: block merging PRs with fixup! commits PR Checks #6: Pull request #430 synchronize by niklasdewally
November 10, 2024 14:01 15s niklasdewally:check-for-fixups-before-merging
niklasdewally:check-for-fixups-before-merging
November 10, 2024 14:01 15s
ci: block merging PRs with fixup! commits PR Checks #5: Pull request #430 synchronize by niklasdewally
November 10, 2024 13:57 31s niklasdewally:check-for-fixups-before-merging
niklasdewally:check-for-fixups-before-merging
November 10, 2024 13:57 31s
ci: block merging PRs with fixup! commits PR Checks #4: Pull request #430 synchronize by niklasdewally
November 10, 2024 13:55 28s niklasdewally:check-for-fixups-before-merging
niklasdewally:check-for-fixups-before-merging
November 10, 2024 13:55 28s
ci: block merging PRs with fixup! commits PR Checks #3: Pull request #430 synchronize by niklasdewally
November 10, 2024 13:54 10s niklasdewally:check-for-fixups-before-merging
niklasdewally:check-for-fixups-before-merging
November 10, 2024 13:54 10s
ci: block merging PRs with fixup! commits PR Checks #2: Pull request #430 synchronize by niklasdewally
November 10, 2024 13:52 11s niklasdewally:check-for-fixups-before-merging
niklasdewally:check-for-fixups-before-merging
November 10, 2024 13:52 11s
ci: block merging PRs with fixup! commits PR Checks #1: Pull request #430 opened by niklasdewally
November 10, 2024 13:49 1d 6h 1m 12s niklasdewally:check-for-fixups-before-merging
niklasdewally:check-for-fixups-before-merging
November 10, 2024 13:49 1d 6h 1m 12s