Skip to content

Actions: goblint/analyzer

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
17,650 workflow run results
17,650 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

unlocked unlocked #1948: Scheduled
October 14, 2024 02:36 2h 10m 36s master
master
October 14, 2024 02:36 2h 10m 36s
coverage coverage #2366: Scheduled
October 13, 2024 02:43 14m 3s master
master
October 13, 2024 02:43 14m 3s
docker docker #1131: Scheduled
October 13, 2024 02:41 8m 0s master
master
October 13, 2024 02:41 8m 0s
locked locked #11961: Scheduled
October 13, 2024 02:37 2h 6m 32s master
master
October 13, 2024 02:37 2h 6m 32s
unlocked unlocked #1947: Scheduled
October 13, 2024 02:37 2h 0m 11s master
master
October 13, 2024 02:37 2h 0m 11s
coverage coverage #2365: Scheduled
October 12, 2024 02:35 14m 2s master
master
October 12, 2024 02:35 14m 2s
docker docker #1130: Scheduled
October 12, 2024 02:33 7m 10s master
master
October 12, 2024 02:33 7m 10s
locked locked #11960: Scheduled
October 12, 2024 02:29 1h 44m 32s master
master
October 12, 2024 02:29 1h 44m 32s
unlocked unlocked #1946: Scheduled
October 12, 2024 02:28 1h 58m 56s master
master
October 12, 2024 02:28 1h 58m 56s
Merge pull request #1597 from goblint/physical-equality locked #11959: Commit 425b1ee pushed by sim642
October 11, 2024 11:46 24m 5s master
master
October 11, 2024 11:46 24m 5s
Merge pull request #1597 from goblint/physical-equality indentation #11288: Commit 425b1ee pushed by sim642
October 11, 2024 11:46 1m 42s master
master
October 11, 2024 11:46 1m 42s
Merge pull request #1597 from goblint/physical-equality semgrep #10956: Commit 425b1ee pushed by sim642
October 11, 2024 11:46 41s master
master
October 11, 2024 11:46 41s
Merge pull request #1597 from goblint/physical-equality options #9307: Commit 425b1ee pushed by sim642
October 11, 2024 11:46 20s master
master
October 11, 2024 11:46 20s
Merge pull request #1597 from goblint/physical-equality docs #1868: Commit 425b1ee pushed by sim642
October 11, 2024 11:46 4m 42s master
master
October 11, 2024 11:46 4m 42s
Use ubuntu 22.04 in GitHub Actions locked #11958: Commit 412a7ab pushed by sim642
October 11, 2024 10:30 24m 37s master
master
October 11, 2024 10:30 24m 37s
Use ubuntu 22.04 in GitHub Actions options #9306: Commit 412a7ab pushed by sim642
October 11, 2024 10:30 27s master
master
October 11, 2024 10:30 27s
Use ubuntu 22.04 in GitHub Actions semgrep #10955: Commit 412a7ab pushed by sim642
October 11, 2024 10:30 40s master
master
October 11, 2024 10:30 40s
Use ubuntu 22.04 in GitHub Actions docs #1867: Commit 412a7ab pushed by sim642
October 11, 2024 10:30 4m 43s master
master
October 11, 2024 10:30 4m 43s
Use ubuntu 22.04 in GitHub Actions indentation #11287: Commit 412a7ab pushed by sim642
October 11, 2024 10:30 1m 37s master
master
October 11, 2024 10:30 1m 37s
Use ubuntu 22.04 in GitHub Actions indentation #11286: Commit 6a2b432 pushed by sim642
October 11, 2024 09:17 3s github-actions-ubuntu-22.04
github-actions-ubuntu-22.04
October 11, 2024 09:17 3s
Use ubuntu 22.04 in GitHub Actions options #9305: Commit 6a2b432 pushed by sim642
October 11, 2024 09:17 24s github-actions-ubuntu-22.04
github-actions-ubuntu-22.04
October 11, 2024 09:17 24s
Use ubuntu 22.04 in GitHub Actions docs #1866: Commit 6a2b432 pushed by sim642
October 11, 2024 09:17 4m 25s github-actions-ubuntu-22.04
github-actions-ubuntu-22.04
October 11, 2024 09:17 4m 25s
Use ubuntu 22.04 in GitHub Actions locked #11957: Commit 6a2b432 pushed by sim642
October 11, 2024 09:17 21m 0s github-actions-ubuntu-22.04
github-actions-ubuntu-22.04
October 11, 2024 09:17 21m 0s
Use ubuntu 22.04 in GitHub Actions semgrep #10954: Commit 6a2b432 pushed by sim642
October 11, 2024 09:17 44s github-actions-ubuntu-22.04
github-actions-ubuntu-22.04
October 11, 2024 09:17 44s
Replace most physical equality on immutable types indentation #11285: Pull request #1597 synchronize by sim642
October 11, 2024 09:11 23s physical-equality
physical-equality
October 11, 2024 09:11 23s