Skip to content

Actions: goblint/analyzer

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
964 workflow run results
964 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add final message for exp.single-threaded indentation #8256: Commit 7e57562 pushed by sim642
October 2, 2023 14:05 6m 12s master
master
October 2, 2023 14:05 6m 12s
Add final message for exp.single-threaded semgrep #7946: Commit 7e57562 pushed by sim642
October 2, 2023 14:05 49s master
master
October 2, 2023 14:05 49s
Add final message for exp.single-threaded docs #137: Commit 7e57562 pushed by sim642
October 2, 2023 14:05 10m 26s master
master
October 2, 2023 14:05 10m 26s
Add final message for exp.single-threaded options #6275: Commit 7e57562 pushed by sim642
October 2, 2023 14:05 29s master
master
October 2, 2023 14:05 29s
Add final message for exp.single-threaded locked #8552: Commit 7e57562 pushed by sim642
October 2, 2023 14:05 36m 58s master
master
October 2, 2023 14:05 36m 58s
Revert "Disable pins for v2.2.0 release" semgrep #7945: Commit 6c8a05b pushed by sim642
October 2, 2023 13:40 1m 0s master
master
October 2, 2023 13:40 1m 0s
Revert "Disable pins for v2.2.0 release" docs #136: Commit 6c8a05b pushed by sim642
October 2, 2023 13:40 11m 16s master
master
October 2, 2023 13:40 11m 16s
Revert "Disable pins for v2.2.0 release" options #6274: Commit 6c8a05b pushed by sim642
October 2, 2023 13:40 20s master
master
October 2, 2023 13:40 20s
Revert "Disable pins for v2.2.0 release" locked #8551: Commit 6c8a05b pushed by sim642
October 2, 2023 13:40 42m 0s master
master
October 2, 2023 13:40 42m 0s
Revert "Disable pins for v2.2.0 release" indentation #8255: Commit 6c8a05b pushed by sim642
October 2, 2023 13:40 5m 48s master
master
October 2, 2023 13:40 5m 48s
Merge pull request #1198 from goblint/race-ignorable locked #8550: Commit 2a84196 pushed by sim642
October 2, 2023 13:35 50m 27s master
master
October 2, 2023 13:35 50m 27s
Merge pull request #1198 from goblint/race-ignorable docs #135: Commit 2a84196 pushed by sim642
October 2, 2023 13:35 5m 12s master
master
October 2, 2023 13:35 5m 12s
Merge pull request #1198 from goblint/race-ignorable indentation #8254: Commit 2a84196 pushed by sim642
October 2, 2023 13:35 5m 52s master
master
October 2, 2023 13:35 5m 52s
Merge pull request #1198 from goblint/race-ignorable options #6273: Commit 2a84196 pushed by sim642
October 2, 2023 13:35 21s master
master
October 2, 2023 13:35 21s
Merge pull request #1198 from goblint/race-ignorable semgrep #7944: Commit 2a84196 pushed by sim642
October 2, 2023 13:35 49s master
master
October 2, 2023 13:35 49s
Fix incorrect unlock in witness/tm-inv-transfer tests locked #8549: Commit 7857a68 pushed by sim642
October 2, 2023 13:34 30m 21s master
master
October 2, 2023 13:34 30m 21s
Fix incorrect unlock in witness/tm-inv-transfer tests semgrep #7943: Commit 7857a68 pushed by sim642
October 2, 2023 13:34 47s master
master
October 2, 2023 13:34 47s
Fix incorrect unlock in witness/tm-inv-transfer tests options #6272: Commit 7857a68 pushed by sim642
October 2, 2023 13:34 19s master
master
October 2, 2023 13:34 19s
Fix incorrect unlock in witness/tm-inv-transfer tests docs #134: Commit 7857a68 pushed by sim642
October 2, 2023 13:34 1m 43s master
master
October 2, 2023 13:34 1m 43s
Fix incorrect unlock in witness/tm-inv-transfer tests indentation #8253: Commit 7857a68 pushed by sim642
October 2, 2023 13:34 6m 7s master
master
October 2, 2023 13:34 6m 7s
SV-COMP "Memory Safety" benchmark additions semgrep #7942: Pull request #1201 synchronize by mrstanb
October 2, 2023 09:00 51s mrstanb:svcomp-memsafety-benchmarks
mrstanb:svcomp-memsafety-benchmarks
October 2, 2023 09:00 51s
SV-COMP "Memory Safety" benchmark additions indentation #8252: Pull request #1201 synchronize by mrstanb
October 2, 2023 09:00 5m 54s mrstanb:svcomp-memsafety-benchmarks
mrstanb:svcomp-memsafety-benchmarks
October 2, 2023 09:00 5m 54s
SV-COMP "Memory Safety" benchmark additions options #6271: Pull request #1201 synchronize by mrstanb
October 2, 2023 09:00 25s mrstanb:svcomp-memsafety-benchmarks
mrstanb:svcomp-memsafety-benchmarks
October 2, 2023 09:00 25s
SV-COMP "Memory Safety" benchmark additions coverage #569: Pull request #1201 synchronize by mrstanb
October 2, 2023 09:00 22m 27s mrstanb:svcomp-memsafety-benchmarks
mrstanb:svcomp-memsafety-benchmarks
October 2, 2023 09:00 22m 27s
SV-COMP "Memory Safety" benchmark additions locked #8548: Pull request #1201 synchronize by mrstanb
October 2, 2023 09:00 39m 40s mrstanb:svcomp-memsafety-benchmarks
mrstanb:svcomp-memsafety-benchmarks
October 2, 2023 09:00 39m 40s