Skip to content

Actions: goblint/analyzer

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
17,243 workflow runs
17,243 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Make CI happy locked #13054: Commit d1b779c pushed by michael-schwarz
March 9, 2025 08:47 20m 33s pldi25_eval_runtime
pldi25_eval_runtime
March 9, 2025 08:47 20m 33s
Make CI happy options #10252: Commit d1b779c pushed by michael-schwarz
March 9, 2025 08:47 18s pldi25_eval_runtime
pldi25_eval_runtime
March 9, 2025 08:47 18s
Make CI happy docs #2813: Commit d1b779c pushed by michael-schwarz
March 9, 2025 08:47 4m 23s pldi25_eval_runtime
pldi25_eval_runtime
March 9, 2025 08:47 4m 23s
Make CI happy indentation #12233: Commit d1b779c pushed by michael-schwarz
March 9, 2025 08:47 1m 20s pldi25_eval_runtime
pldi25_eval_runtime
March 9, 2025 08:47 1m 20s
Make CI happy semgrep #11898: Commit d1b779c pushed by michael-schwarz
March 9, 2025 08:47 47s pldi25_eval_runtime
pldi25_eval_runtime
March 9, 2025 08:47 47s
Make CI happy docs #2812: Commit b41d9f7 pushed by michael-schwarz
March 9, 2025 08:46 4m 18s pldi25_eval_stats
pldi25_eval_stats
March 9, 2025 08:46 4m 18s
Make CI happy semgrep #11897: Commit b41d9f7 pushed by michael-schwarz
March 9, 2025 08:46 45s pldi25_eval_stats
pldi25_eval_stats
March 9, 2025 08:46 45s
Make CI happy locked #13053: Commit b41d9f7 pushed by michael-schwarz
March 9, 2025 08:46 20m 7s pldi25_eval_stats
pldi25_eval_stats
March 9, 2025 08:46 20m 7s
Make CI happy indentation #12232: Commit b41d9f7 pushed by michael-schwarz
March 9, 2025 08:46 1m 28s pldi25_eval_stats
pldi25_eval_stats
March 9, 2025 08:46 1m 28s
Make CI happy options #10251: Commit b41d9f7 pushed by michael-schwarz
March 9, 2025 08:46 18s pldi25_eval_stats
pldi25_eval_stats
March 9, 2025 08:46 18s
coverage coverage #3048: Scheduled
March 9, 2025 02:21 9m 54s master
master
March 9, 2025 02:21 9m 54s
docker docker #1282: Scheduled
March 9, 2025 02:19 3m 57s master
master
March 9, 2025 02:19 3m 57s
locked locked #13052: Scheduled
March 9, 2025 02:11 1h 56m 16s master
master
March 9, 2025 02:11 1h 56m 16s
unlocked unlocked #2097: Scheduled
March 9, 2025 02:11 2h 5m 8s master
master
March 9, 2025 02:11 2h 5m 8s
Measure still bot again indentation #12231: Commit d406220 pushed by michael-schwarz
March 8, 2025 20:14 1m 50s pldi25_eval_stats
pldi25_eval_stats
March 8, 2025 20:14 1m 50s
Measure still bot again locked #13051: Commit d406220 pushed by michael-schwarz
March 8, 2025 20:14 24m 1s pldi25_eval_stats
pldi25_eval_stats
March 8, 2025 20:14 24m 1s
Measure still bot again options #10250: Commit d406220 pushed by michael-schwarz
March 8, 2025 20:14 19s pldi25_eval_stats
pldi25_eval_stats
March 8, 2025 20:14 19s
Measure still bot again docs #2811: Commit d406220 pushed by michael-schwarz
March 8, 2025 20:14 13s pldi25_eval_stats
pldi25_eval_stats
March 8, 2025 20:14 13s
Measure still bot again semgrep #11896: Commit d406220 pushed by michael-schwarz
March 8, 2025 20:14 52s pldi25_eval_stats
pldi25_eval_stats
March 8, 2025 20:14 52s
Only produce stast when narrow_sides_eliminate_dead is on semgrep #11895: Commit 317c521 pushed by michael-schwarz
March 8, 2025 15:23 48s pldi25_eval_stats
pldi25_eval_stats
March 8, 2025 15:23 48s
Only produce stast when narrow_sides_eliminate_dead is on indentation #12230: Commit 317c521 pushed by michael-schwarz
March 8, 2025 15:23 1m 22s pldi25_eval_stats
pldi25_eval_stats
March 8, 2025 15:23 1m 22s
Only produce stast when narrow_sides_eliminate_dead is on options #10249: Commit 317c521 pushed by michael-schwarz
March 8, 2025 15:23 16s pldi25_eval_stats
pldi25_eval_stats
March 8, 2025 15:23 16s
Only produce stast when narrow_sides_eliminate_dead is on docs #2810: Commit 317c521 pushed by michael-schwarz
March 8, 2025 15:23 10s pldi25_eval_stats
pldi25_eval_stats
March 8, 2025 15:23 10s
Only produce stast when narrow_sides_eliminate_dead is on locked #13050: Commit 317c521 pushed by michael-schwarz
March 8, 2025 15:23 20m 59s pldi25_eval_stats
pldi25_eval_stats
March 8, 2025 15:23 20m 59s
make stat printing optional options #10248: Commit ac16004 pushed by michael-schwarz
March 8, 2025 10:13 15s pldi25_eval_stats
pldi25_eval_stats
March 8, 2025 10:13 15s