Skip to content

Actions: conjure-cp/conjure-oxide

Actions

Formatting

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
format.yml
796 workflow runs
796 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

WIP: arithmetic eprime operations Formatting #799: Pull request #352 synchronize by niklasdewally
October 2, 2024 15:40 14s niklasdewally:feat/eprime-arithmetic/03-mul-add
niklasdewally:feat/eprime-arithmetic/03-mul-add
October 2, 2024 15:40 14s
WIP: arithmetic eprime operations Formatting #798: Pull request #352 synchronize by niklasdewally
October 2, 2024 15:34 20s niklasdewally:feat/eprime-arithmetic/03-mul-add
niklasdewally:feat/eprime-arithmetic/03-mul-add
October 2, 2024 15:34 20s
WIP: arithmetic eprime operations Formatting #797: Pull request #352 synchronize by niklasdewally
October 2, 2024 15:34 22s niklasdewally:feat/eprime-arithmetic/03-mul-add
niklasdewally:feat/eprime-arithmetic/03-mul-add
October 2, 2024 15:34 22s
WIP: arithmetic eprime operations Formatting #796: Pull request #352 synchronize by niklasdewally
October 2, 2024 14:43 17s niklasdewally:feat/eprime-arithmetic/03-mul-add
niklasdewally:feat/eprime-arithmetic/03-mul-add
October 2, 2024 14:43 17s
WIP: arithmetic eprime operations Formatting #795: Pull request #352 synchronize by niklasdewally
October 2, 2024 14:30 18s niklasdewally:feat/eprime-arithmetic/03-mul-add
niklasdewally:feat/eprime-arithmetic/03-mul-add
October 2, 2024 14:30 18s
WIP: arithmetic eprime operations Formatting #794: Pull request #352 opened by niklasdewally
October 2, 2024 13:07 17s niklasdewally:feat/eprime-arithmetic/03-mul-add
niklasdewally:feat/eprime-arithmetic/03-mul-add
October 2, 2024 13:07 17s
initial implementation of generic tree reduction library Formatting #793: Pull request #344 synchronize by lixitrixi
October 1, 2024 23:03 14s lixitrixi:gen_reduce
lixitrixi:gen_reduce
October 1, 2024 23:03 14s
Merge pull request #348 from niklasdewally/feat/eprime-arithmetic/01-… Formatting #792: Commit fbf9a76 pushed by ozgurakgun
October 1, 2024 21:39 17s main
main
October 1, 2024 21:39 17s
tests: add .eprime file extension support to the test runner Formatting #791: Pull request #348 synchronize by niklasdewally
October 1, 2024 19:00 19s niklasdewally:feat/eprime-arithmetic/01-run-eprime-in-tester
niklasdewally:feat/eprime-arithmetic/01-run-eprime-in-tester
October 1, 2024 19:00 19s
tests: add .eprime file extension support to the test runner Formatting #790: Pull request #348 opened by niklasdewally
October 1, 2024 18:57 14s niklasdewally:feat/eprime-arithmetic/01-run-eprime-in-tester
niklasdewally:feat/eprime-arithmetic/01-run-eprime-in-tester
October 1, 2024 18:57 14s
Merge pull request #342 from niklasdewally/docs/doc-callback Formatting #789: Commit 8e62ba6 pushed by ozgurakgun
September 30, 2024 21:31 12s main
main
September 30, 2024 21:31 12s
Merge pull request #346 from conjure-cp/dependabot/cargo/all-75dd038108 Formatting #788: Commit 19ea78c pushed by ozgurakgun
September 30, 2024 21:30 22s main
main
September 30, 2024 21:30 22s
build(deps): bump the all group with 4 updates Formatting #787: Pull request #346 opened by dependabot bot
September 30, 2024 08:37 17s dependabot/cargo/all-75dd038108
dependabot/cargo/all-75dd038108
September 30, 2024 08:37 17s
Add DomainInt type Formatting #786: Pull request #345 synchronize by YehorBoiar
September 29, 2024 15:44 17s YehorBoiar:typeDeclaration
YehorBoiar:typeDeclaration
September 29, 2024 15:44 17s
Add DomainInt type Formatting #785: Pull request #345 opened by YehorBoiar
September 29, 2024 15:24 16s YehorBoiar:typeDeclaration
YehorBoiar:typeDeclaration
September 29, 2024 15:24 16s
initial implementation of generic tree reduction library Formatting #784: Pull request #344 opened by lixitrixi
September 27, 2024 19:54 18s lixitrixi:gen_reduce
lixitrixi:gen_reduce
September 27, 2024 19:54 18s
docs: document return values for Solver.solve() callback Formatting #783: Pull request #342 opened by niklasdewally
September 27, 2024 14:28 18s niklasdewally:docs/doc-callback
niklasdewally:docs/doc-callback
September 27, 2024 14:28 18s
Merge pull request #340 from niklasdewally/remove-uniplate-files Formatting #782: Commit fe47a92 pushed by ozgurakgun
September 26, 2024 19:58 13s main
main
September 26, 2024 19:58 13s
Remove uniplate files, use version from crates.io Formatting #781: Pull request #340 synchronize by niklasdewally
September 26, 2024 15:07 16s niklasdewally:remove-uniplate-files
niklasdewally:remove-uniplate-files
September 26, 2024 15:07 16s
Remove uniplate files, use version from crates.io Formatting #780: Pull request #340 reopened by niklasdewally
September 26, 2024 15:07 18s niklasdewally:remove-uniplate-files
niklasdewally:remove-uniplate-files
September 26, 2024 15:07 18s
Merge pull request #338 from conjure-cp/dependabot/cargo/all-fe1c97b08b Formatting #779: Commit 82959f5 pushed by ozgurakgun
September 23, 2024 08:27 16s main
main
September 23, 2024 08:27 16s
build(deps): bump the all group across 1 directory with 4 updates Formatting #778: Pull request #338 opened by dependabot bot
September 23, 2024 08:07 21s dependabot/cargo/all-fe1c97b08b
dependabot/cargo/all-fe1c97b08b
September 23, 2024 08:07 21s
build(deps): bump the all group across 1 directory with 2 updates Formatting #777: Pull request #337 opened by dependabot bot
September 20, 2024 15:09 22s dependabot/cargo/all-ba9f25545e
dependabot/cargo/all-ba9f25545e
September 20, 2024 15:09 22s
Merge pull request #290 from niklasdewally/uniplate-derive Formatting #776: Commit dd2d278 pushed by ozgurakgun
September 20, 2024 15:07 16s main
main
September 20, 2024 15:07 16s
[Biplate Macro #2] New Uniplate Derive Macro Formatting #775: Pull request #290 synchronize by niklasdewally
September 19, 2024 14:09 20s niklasdewally:uniplate-derive
niklasdewally:uniplate-derive
September 19, 2024 14:09 20s