Skip to content

Actions: MERCorg/merc

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,806 workflow runs
2,806 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Scheduled CodeQL #143: by github-advanced-security bot
23m 49s main
main
23m 49s
Added --verify-solution for the zielonka solver Test Address Sanitizer #292: Pull request #70 synchronize by mlaveaux
27m 2s mlaveaux:feature/verify
mlaveaux:feature/verify
27m 2s
Added --verify-solution for the zielonka solver Test Miri #288: Pull request #70 synchronize by mlaveaux
32m 55s mlaveaux:feature/verify
mlaveaux:feature/verify
32m 55s
Added --verify-solution for the zielonka solver Test Thread Sanitizer #292: Pull request #70 synchronize by mlaveaux
1h 37m 41s mlaveaux:feature/verify
mlaveaux:feature/verify
1h 37m 41s
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 --verify-solution for the zielonka solver Cargo Deny #266: Pull request #70 synchronize by mlaveaux
5m 9s mlaveaux:feature/verify
mlaveaux:feature/verify
5m 9s
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 --verify-solution for the zielonka solver Test #292: Pull request #70 synchronize by mlaveaux
9m 32s mlaveaux:feature/verify
mlaveaux:feature/verify
9m 32s
Added --verify-solution for the zielonka solver Nightly Build #292: Pull request #70 synchronize by mlaveaux
28m 18s mlaveaux:feature/verify
mlaveaux:feature/verify
28m 18s
Added --verify-solution for the zielonka solver Benchmark #292: Pull request #70 synchronize by mlaveaux
8m 10s mlaveaux:feature/verify
mlaveaux:feature/verify
8m 10s
Added a symbolic signature refinement algorithm Cargo Deny #265: Pull request #69 synchronize by mlaveaux
9m 13s mlaveaux:feature/sigref
mlaveaux:feature/sigref
9m 13s
Added a symbolic signature refinement algorithm Test Address Sanitizer #291: Pull request #69 synchronize by mlaveaux
1h 5m 53s mlaveaux:feature/sigref
mlaveaux:feature/sigref
1h 5m 53s
Added a symbolic signature refinement algorithm Test #291: Pull request #69 synchronize by mlaveaux
31m 30s mlaveaux:feature/sigref
mlaveaux:feature/sigref
31m 30s
Added a symbolic signature refinement algorithm Benchmark #291: Pull request #69 synchronize by mlaveaux
13m 23s mlaveaux:feature/sigref
mlaveaux:feature/sigref
13m 23s
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
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
Added a symbolic signature refinement algorithm Test Miri #287: Pull request #69 synchronize by mlaveaux
37m 33s mlaveaux:feature/sigref
mlaveaux:feature/sigref
37m 33s
Added a symbolic signature refinement algorithm Nightly Build #291: Pull request #69 synchronize by mlaveaux
30m 11s mlaveaux:feature/sigref
mlaveaux:feature/sigref
30m 11s
Added a symbolic signature refinement algorithm Test Thread Sanitizer #291: Pull request #69 synchronize by mlaveaux
2h 1m 59s mlaveaux:feature/sigref
mlaveaux:feature/sigref
2h 1m 59s
Copilot code review Copilot code review #51: by Copilot AI
34m 38s refs/pull/70/head
refs/pull/70/head
34m 38s
CodeQL CodeQL #142: by github-advanced-security bot
45m 19s main
main
45m 19s
Fixed suggestions Benchmark #290: Commit 4fc2c83 pushed by mlaveaux
11m 58s main
main
11m 58s
Fixed suggestions Cargo Deny #264: Commit 4fc2c83 pushed by mlaveaux
22m 0s main
main
22m 0s
Fixed suggestions Test Thread Sanitizer #290: Commit 4fc2c83 pushed by mlaveaux
1h 6m 15s main
main
1h 6m 15s
Fixed suggestions Nightly Build #290: Commit 4fc2c83 pushed by mlaveaux
53m 9s main
main
53m 9s