Skip to content

Actions: sysprog21/frama-c-mcp

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
112 workflow runs
112 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 #21 from sysprog21/goal-floor CI #105: Commit 4c91dcd pushed by jserv
15m 48s main
main
15m 48s
Refuse profiled run proved less than its target CI #104: Pull request #21 synchronize by jserv
16m 3s goal-floor
goal-floor
16m 3s
Refuse profiled run proved less than its target CI #103: Pull request #21 synchronize by jserv
15m 47s goal-floor
goal-floor
15m 47s
Refuse profiled run proved less than its target CI #102: Pull request #21 synchronize by jserv
16m 7s goal-floor
goal-floor
16m 7s
Refuse profiled run proved less than its target CI #101: Pull request #21 synchronize by jserv
17m 17s goal-floor
goal-floor
17m 17s
Refuse profiled run proved less than its target CI #100: Pull request #21 synchronize by jserv
17m 32s goal-floor
goal-floor
17m 32s
Refuse profiled run proved less than its target CI #99: Pull request #21 opened by jserv
16m 24s goal-floor
goal-floor
16m 24s
Merge pull request #20 from sysprog21/triage-host-load CI #98: Commit 2709070 pushed by jserv
17m 25s main
main
17m 25s
Withhold WP timeout verdict the run didn't measure CI #97: Pull request #20 synchronize by jserv
15m 27s triage-host-load
triage-host-load
15m 27s
Withhold WP timeout verdict the run didn't measure CI #96: Pull request #20 opened by jserv
16m 51s triage-host-load
triage-host-load
16m 51s
Merge pull request #19 from sysprog21/coverage CI #95: Commit 1e1b687 pushed by jserv
14m 24s main
main
14m 24s
Count what was proved, not what was claimed CI #94: Pull request #19 synchronize by jserv
15m 30s coverage
coverage
15m 30s
Count what was proved, not what was claimed CI #93: Pull request #19 synchronize by jserv
14m 50s coverage
coverage
14m 50s
Count what was proved, not what was claimed CI #92: Pull request #19 synchronize by jserv
14m 33s coverage
coverage
14m 33s
Count what was proved, not what was claimed CI #91: Pull request #19 synchronize by jserv
14m 53s coverage
coverage
14m 53s
Count what was proved, not what was claimed CI #90: Pull request #19 opened by jserv
16m 10s coverage
coverage
16m 10s
cargo in /. - Update #1551971310 Dependabot Updates #6: by dependabot Bot
41s main
main
41s
github_actions in /. - Update #1551971284 Dependabot Updates #5: by dependabot Bot
56s main
main
56s
Merge pull request #18 from sysprog21/verify-profiles CI #89: Commit 8b984dc pushed by jserv
14m 46s main
main
14m 46s
Bind proofs to the target's model and measure the parse surface CI #88: Pull request #18 synchronize by jserv
15m 7s verify-profiles
verify-profiles
15m 7s
Bind proofs to the target's model and measure the parse surface CI #87: Pull request #18 synchronize by jserv
3m 39s verify-profiles
verify-profiles
3m 39s
Bind proofs to the target's model and measure the parse surface CI #86: Pull request #18 synchronize by jserv
15m 21s verify-profiles
verify-profiles
15m 21s
Bind proofs to the target's model and measure the parse surface CI #85: Pull request #18 synchronize by jserv
14m 53s verify-profiles
verify-profiles
14m 53s
Bind proofs to the target's model and measure the parse surface CI #84: Pull request #18 synchronize by jserv
14m 43s verify-profiles
verify-profiles
14m 43s
Bind proofs to the target's model and measure the parse surface CI #83: Pull request #18 opened by jserv
14m 34s verify-profiles
verify-profiles
14m 34s