Skip to content

Actions: MERCorg/merc

Actions

Cargo Clippy

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
cargo_clippy.yml
269 workflow runs
269 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Added --verify-solution for the zielonka solver Cargo Clippy #271: Pull request #70 synchronize by mlaveaux
1m 10s mlaveaux:feature/verify
mlaveaux:feature/verify
1m 10s
Added a symbolic signature refinement algorithm Cargo Clippy #270: Pull request #69 synchronize by mlaveaux
12m 10s mlaveaux:feature/sigref
mlaveaux:feature/sigref
12m 10s
Fixed suggestions Cargo Clippy #269: Commit 4fc2c83 pushed by mlaveaux
18m 24s main
main
18m 24s
Fixed cargo warning Cargo Clippy #268: Commit 3bd3c02 pushed by mlaveaux
1m 2s main
main
1m 2s
Added a symbolic signature refinement algorithm Cargo Clippy #267: Pull request #69 synchronize by mlaveaux
1m 7s mlaveaux:feature/sigref
mlaveaux:feature/sigref
1m 7s
Added a symbolic signature refinement algorithm Cargo Clippy #266: Pull request #69 synchronize by mlaveaux
4m 51s mlaveaux:feature/sigref
mlaveaux:feature/sigref
4m 51s
Continued the static analysis for pbessymmetry Cargo Clippy #265: Pull request #48 synchronize by mlaveaux
55s mlaveaux:feature/pbessymmetry
mlaveaux:feature/pbessymmetry
55s
Added a symbolic signature refinement algorithm Cargo Clippy #264: Pull request #69 synchronize by mlaveaux
1m 0s mlaveaux:feature/sigref
mlaveaux:feature/sigref
1m 0s
Added a symbolic signature refinement algorithm Cargo Clippy #263: Pull request #69 synchronize by mlaveaux
1m 3s mlaveaux:feature/sigref
mlaveaux:feature/sigref
1m 3s
Added a symbolic signature refinement algorithm Cargo Clippy #262: Pull request #69 synchronize by mlaveaux
53s mlaveaux:feature/sigref
mlaveaux:feature/sigref
53s
Added a symbolic signature refinement algorithm Cargo Clippy #261: Pull request #69 synchronize by mlaveaux
53s mlaveaux:feature/sigref
mlaveaux:feature/sigref
53s
Added a symbolic signature refinement algorithm Cargo Clippy #260: Pull request #69 opened by mlaveaux
1m 2s mlaveaux:feature/sigref
mlaveaux:feature/sigref
1m 2s
Bump bytes in /tools/gui in the cargo group across 1 directory Cargo Clippy #259: Commit e2f5882 pushed by mlaveaux
48s main
main
48s
Bump bytes from 1.11.0 to 1.11.1 in /tools/gui in the cargo group across 1 directory Cargo Clippy #258: Pull request #68 opened by dependabot bot
1m 9s dependabot/cargo/tools/gui/cargo-f6ecf5c85a
dependabot/cargo/tools/gui/cargo-f6ecf5c85a
1m 9s
Fixed an issue where garbage collection was delayed infinitely Cargo Clippy #257: Commit fa18b73 pushed by mlaveaux
51s main
main
51s
Removed debug print statement Cargo Clippy #256: Commit c4c095c pushed by mlaveaux
1m 0s main
main
1m 0s
Bump actions/upload-artifact from 5 to 6 Cargo Clippy #255: Commit 34f9bc8 pushed by mlaveaux
1m 6s main
main
1m 6s
Bump actions/upload-artifact from 5 to 6 Cargo Clippy #254: Pull request #67 opened by dependabot bot
13m 46s dependabot/github_actions/actions/upload-artifact-6
dependabot/github_actions/actions/upload-artifact-6
13m 46s
Update dependabot configuration for cargo Cargo Clippy #253: Commit afda3b5 pushed by mlaveaux
1m 3s main
main
1m 3s
Tried to fix dependabot Cargo Clippy #252: Commit 4aabc03 pushed by mlaveaux
3m 49s main
main
3m 49s
Removed the precomputed variable BDDs, this can be computed when nece… Cargo Clippy #251: Commit 69ad44a pushed by mlaveaux
57s main
main
57s
Convert symbolic LTS using LDDs to a BDD based representation Cargo Clippy #250: Pull request #66 synchronize by mlaveaux
57s mlaveaux:feature/symbolic_lts_bdd
mlaveaux:feature/symbolic_lts_bdd
57s
Convert symbolic LTS using LDDs to a BDD based representation Cargo Clippy #249: Pull request #66 synchronize by mlaveaux
59s mlaveaux:feature/symbolic_lts_bdd
mlaveaux:feature/symbolic_lts_bdd
59s
Continued the static analysis for pbessymmetry Cargo Clippy #248: Pull request #48 synchronize by mlaveaux
1m 14s mlaveaux:feature/pbessymmetry
mlaveaux:feature/pbessymmetry
1m 14s
Fixed clippy warnings. Cargo Clippy #247: Commit 0c2ac81 pushed by mlaveaux
10m 2s main
main
10m 2s