Skip to content

Actions: sysprog21/frama-c-mcp

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
201 workflow runs
201 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Merge pull request #39 from sysprog21/fix CI #186: Commit 434bce1 pushed by jserv
22m 59s main
main
22m 59s
Deny deprecated APIs and move off rmcp's ServerInfo CI #185: Pull request #39 opened by jserv
23m 3s fix
fix
23m 3s
Merge pull request #38 from sysprog21/discover-probe CI #184: Commit 17f55cd pushed by jserv
24m 6s main
main
24m 6s
Answer a declined discover probe ahead of rmcp CI #183: Pull request #38 synchronize by jserv
22m 30s discover-probe
discover-probe
22m 30s
Answer a declined discover probe ahead of rmcp CI #182: Pull request #38 opened by jserv
24m 14s discover-probe
discover-probe
24m 14s
Merge pull request #37 from sysprog21/dependabot/cargo/rmcp-3.4.1 CI #181: Commit 79b54d4 pushed by jserv
46m 49s main
main
46m 49s
Merge pull request #36 from sysprog21/dependabot/cargo/thiserror-2.0.21 CI #180: Commit a540b5e pushed by jserv
24m 1s main
main
24m 1s
Bump rmcp from 3.4.0 to 3.4.1 CI #179: Pull request #37 opened by dependabot Bot
21m 58s dependabot/cargo/rmcp-3.4.1
dependabot/cargo/rmcp-3.4.1
21m 58s
Bump thiserror from 2.0.20 to 2.0.21 CI #178: Pull request #36 opened by dependabot Bot
23m 6s dependabot/cargo/thiserror-2.0.21
dependabot/cargo/thiserror-2.0.21
23m 6s
github_actions in /. - Update #1599884939 Dependabot Updates #14: by dependabot Bot
1m 5s main
main
1m 5s
cargo in /. - Update #1599884596 Dependabot Updates #13: by dependabot Bot
1m 0s main
main
1m 0s
Merge pull request #35 from sysprog21/dependabot/cargo/rmcp-3.4.0 CI #177: Commit e73fa1d pushed by jserv
47m 4s main
main
47m 4s
Merge pull request #34 from sysprog21/dependabot/cargo/clap-4.6.7 CI #176: Commit 1436b83 pushed by jserv
23m 27s main
main
23m 27s
Bump rmcp from 3.3.0 to 3.4.0 CI #175: Pull request #35 opened by dependabot Bot
23m 9s dependabot/cargo/rmcp-3.4.0
dependabot/cargo/rmcp-3.4.0
23m 9s
Bump clap from 4.6.6 to 4.6.7 CI #174: Pull request #34 opened by dependabot Bot
23m 16s dependabot/cargo/clap-4.6.7
dependabot/cargo/clap-4.6.7
23m 16s
github_actions in /. - Update #1588624028 Dependabot Updates #12: by dependabot Bot
1m 10s main
main
1m 10s
cargo in /. - Update #1588624058 Dependabot Updates #11: by dependabot Bot
44s main
main
44s
Merge pull request #33 from sysprog21/concurrency CI #173: Commit ae2f0d9 pushed by jserv
23m 5s main
main
23m 5s
Screen concurrent C for race candidates CI #172: Pull request #33 synchronize by jserv
22m 44s concurrency
concurrency
22m 44s
Screen concurrent C for race candidates CI #171: Pull request #33 opened by jserv
21m 19s concurrency
concurrency
21m 19s
Merge pull request #29 from alanhc/timeout-retry-flip CI #170: Commit 86dff30 pushed by jserv
22m 50s main
main
22m 50s
Count a timeout retry's flips instead of forbidding them CI #169: Pull request #29 synchronize by alanhc
27m 48s alanhc:timeout-retry-flip
alanhc:timeout-retry-flip
27m 48s
Merge pull request #32 from alanhc/opam-version-cache-key CI #168: Commit 7a8cfdb pushed by jserv
30m 55s main
main
30m 55s
Key the opam cache on the opam that reads it CI #167: Pull request #32 synchronize by alanhc
22m 24s alanhc:opam-version-cache-key
alanhc:opam-version-cache-key
22m 24s
Key the opam cache on the opam that reads it CI #166: Pull request #32 opened by alanhc
29m 23s alanhc:opam-version-cache-key
alanhc:opam-version-cache-key
29m 23s