Skip to content

Actions: MERCorg/merc

Actions

Minimal Supported Rust Version

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
msrv.yml
102 workflow runs
102 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Added --verify-solution for the zielonka solver Minimal Supported Rust Version #103: Pull request #70 synchronize by mlaveaux
11m 57s mlaveaux:feature/verify
mlaveaux:feature/verify
11m 57s
Added a symbolic signature refinement algorithm Minimal Supported Rust Version #102: Pull request #69 synchronize by mlaveaux
11m 8s mlaveaux:feature/sigref
mlaveaux:feature/sigref
11m 8s
Fixed suggestions Minimal Supported Rust Version #101: Commit 4fc2c83 pushed by mlaveaux
9m 40s main
main
9m 40s
Fixed cargo warning Minimal Supported Rust Version #100: Commit 3bd3c02 pushed by mlaveaux
14m 8s main
main
14m 8s
Added a symbolic signature refinement algorithm Minimal Supported Rust Version #99: Pull request #69 synchronize by mlaveaux
7m 9s mlaveaux:feature/sigref
mlaveaux:feature/sigref
7m 9s
Added a symbolic signature refinement algorithm Minimal Supported Rust Version #98: Pull request #69 synchronize by mlaveaux
9m 17s mlaveaux:feature/sigref
mlaveaux:feature/sigref
9m 17s
Continued the static analysis for pbessymmetry Minimal Supported Rust Version #97: Pull request #48 synchronize by mlaveaux
10m 56s mlaveaux:feature/pbessymmetry
mlaveaux:feature/pbessymmetry
10m 56s
Added a symbolic signature refinement algorithm Minimal Supported Rust Version #96: Pull request #69 synchronize by mlaveaux
12m 6s mlaveaux:feature/sigref
mlaveaux:feature/sigref
12m 6s
Added a symbolic signature refinement algorithm Minimal Supported Rust Version #95: Pull request #69 synchronize by mlaveaux
6m 53s mlaveaux:feature/sigref
mlaveaux:feature/sigref
6m 53s
Added a symbolic signature refinement algorithm Minimal Supported Rust Version #94: Pull request #69 synchronize by mlaveaux
6m 44s mlaveaux:feature/sigref
mlaveaux:feature/sigref
6m 44s
Added a symbolic signature refinement algorithm Minimal Supported Rust Version #93: Pull request #69 synchronize by mlaveaux
7m 18s mlaveaux:feature/sigref
mlaveaux:feature/sigref
7m 18s
Added a symbolic signature refinement algorithm Minimal Supported Rust Version #92: Pull request #69 opened by mlaveaux
6m 16s mlaveaux:feature/sigref
mlaveaux:feature/sigref
6m 16s
Bump bytes in /tools/gui in the cargo group across 1 directory Minimal Supported Rust Version #91: Commit e2f5882 pushed by mlaveaux
7m 13s main
main
7m 13s
Bump bytes from 1.11.0 to 1.11.1 in /tools/gui in the cargo group across 1 directory Minimal Supported Rust Version #90: Pull request #68 opened by dependabot bot
6m 36s dependabot/cargo/tools/gui/cargo-f6ecf5c85a
dependabot/cargo/tools/gui/cargo-f6ecf5c85a
6m 36s
Fixed an issue where garbage collection was delayed infinitely Minimal Supported Rust Version #89: Commit fa18b73 pushed by mlaveaux
7m 1s main
main
7m 1s
Removed debug print statement Minimal Supported Rust Version #88: Commit c4c095c pushed by mlaveaux
7m 34s main
main
7m 34s
Bump actions/upload-artifact from 5 to 6 Minimal Supported Rust Version #87: Commit 34f9bc8 pushed by mlaveaux
7m 9s main
main
7m 9s
Bump actions/upload-artifact from 5 to 6 Minimal Supported Rust Version #86: Pull request #67 opened by dependabot bot
13m 0s dependabot/github_actions/actions/upload-artifact-6
dependabot/github_actions/actions/upload-artifact-6
13m 0s
Update dependabot configuration for cargo Minimal Supported Rust Version #85: Commit afda3b5 pushed by mlaveaux
9m 1s main
main
9m 1s
Tried to fix dependabot Minimal Supported Rust Version #84: Commit 4aabc03 pushed by mlaveaux
9m 50s main
main
9m 50s
Removed the precomputed variable BDDs, this can be computed when nece… Minimal Supported Rust Version #83: Commit 69ad44a pushed by mlaveaux
9m 13s main
main
9m 13s
Convert symbolic LTS using LDDs to a BDD based representation Minimal Supported Rust Version #82: Pull request #66 synchronize by mlaveaux
6m 33s mlaveaux:feature/symbolic_lts_bdd
mlaveaux:feature/symbolic_lts_bdd
6m 33s
Convert symbolic LTS using LDDs to a BDD based representation Minimal Supported Rust Version #81: Pull request #66 synchronize by mlaveaux
10m 48s mlaveaux:feature/symbolic_lts_bdd
mlaveaux:feature/symbolic_lts_bdd
10m 48s
Continued the static analysis for pbessymmetry Minimal Supported Rust Version #80: Pull request #48 synchronize by mlaveaux
6m 29s mlaveaux:feature/pbessymmetry
mlaveaux:feature/pbessymmetry
6m 29s
Fixed clippy warnings. Minimal Supported Rust Version #79: Commit 0c2ac81 pushed by mlaveaux
20m 4s main
main
20m 4s