Skip to content

Actions: goblint/analyzer

Actions

indentation

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
indentation.yml
132 workflow run results
132 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Improve SV-COMP conf for no-data-race indentation #8317: Pull request #1207 opened by sim642
October 5, 2023 14:46 3s svcomp24-conf
svcomp24-conf
October 5, 2023 14:46 3s
Add option ana.race.call indentation #8316: Commit 94307d0 pushed by sim642
October 5, 2023 14:28 7m 1s svcomp24-conf
svcomp24-conf
October 5, 2023 14:28 7m 1s
Organize some general modules into dune libraries indentation #8315: Pull request #1206 opened by sim642
October 5, 2023 13:35 2s goblint-dune-libs
goblint-dune-libs
October 5, 2023 13:35 2s
SV-COMP "Memory Safety" benchmark additions indentation #8314: Pull request #1201 synchronize by mrstanb
October 5, 2023 13:25 6m 54s mrstanb:svcomp-memsafety-benchmarks
mrstanb:svcomp-memsafety-benchmarks
October 5, 2023 13:25 6m 54s
Extract widely used modules to common dune library indentation #8313: Commit d723fde pushed by sim642
October 5, 2023 12:48 4m 11s goblint-dune-libs
goblint-dune-libs
October 5, 2023 12:48 4m 11s
SV-COMP "Memory Safety" benchmark additions indentation #8312: Pull request #1201 synchronize by mrstanb
October 5, 2023 12:04 7m 8s mrstanb:svcomp-memsafety-benchmarks
mrstanb:svcomp-memsafety-benchmarks
October 5, 2023 12:04 7m 8s
Move config modules to build_info dune library indentation #8311: Commit 7b76751 pushed by sim642
October 5, 2023 09:38 2s goblint-dune-libs
goblint-dune-libs
October 5, 2023 09:38 2s
Merge branch 'master' into libfuns-zstd indentation #8309: Commit 85b807f pushed by sim642
October 5, 2023 09:05 3m 54s libfuns-zstd
libfuns-zstd
October 5, 2023 09:05 3m 54s
Add some library functions for zstd indentation #8310: Pull request #1205 synchronize by sim642
October 5, 2023 09:05 4m 13s libfuns-zstd
libfuns-zstd
October 5, 2023 09:05 4m 13s
Add some library functions for zstd indentation #8308: Pull request #1205 opened by sim642
October 5, 2023 09:00 2s libfuns-zstd
libfuns-zstd
October 5, 2023 09:00 2s
Add tracy support to timing indentation #8307: Commit 2925170 pushed by sim642
October 5, 2023 07:34 2s ocaml-tracy
ocaml-tracy
October 5, 2023 07:34 2s
SV-COMP "Memory Safety" benchmark additions indentation #8306: Pull request #1201 synchronize by mrstanb
October 4, 2023 20:55 6m 14s mrstanb:svcomp-memsafety-benchmarks
mrstanb:svcomp-memsafety-benchmarks
October 4, 2023 20:55 6m 14s
SV-COMP "Memory Safety" benchmark additions indentation #8305: Pull request #1201 synchronize by mrstanb
October 4, 2023 20:11 7m 4s mrstanb:svcomp-memsafety-benchmarks
mrstanb:svcomp-memsafety-benchmarks
October 4, 2023 20:11 7m 4s
SV-COMP "Memory Safety" benchmark additions indentation #8304: Pull request #1201 synchronize by mrstanb
October 4, 2023 18:40 6m 4s mrstanb:svcomp-memsafety-benchmarks
mrstanb:svcomp-memsafety-benchmarks
October 4, 2023 18:40 6m 4s
SV-COMP "Memory Safety" benchmark additions indentation #8303: Pull request #1201 synchronize by mrstanb
October 4, 2023 17:53 6m 3s mrstanb:svcomp-memsafety-benchmarks
mrstanb:svcomp-memsafety-benchmarks
October 4, 2023 17:53 6m 3s
Extract cpp special path regex construction indentation #8301: Commit 093eb5e pushed by sim642
October 4, 2023 12:52 5m 42s master
master
October 4, 2023 12:52 5m 42s
Merge pull request #1202 from goblint/long_double_constant_warning indentation #8300: Commit 475f3bb pushed by michael-schwarz
October 4, 2023 11:52 6m 15s master
master
October 4, 2023 11:52 6m 15s
SV-COMP "Memory Safety" benchmark additions indentation #8299: Pull request #1201 synchronize by mrstanb
October 4, 2023 10:47 6m 7s mrstanb:svcomp-memsafety-benchmarks
mrstanb:svcomp-memsafety-benchmarks
October 4, 2023 10:47 6m 7s
Remove spurious long double constant warning indentation #8298: Pull request #1202 synchronize by michael-schwarz
October 4, 2023 10:38 7m 49s long_double_constant_warning
long_double_constant_warning
October 4, 2023 10:38 7m 49s
Fix test description indentation #8297: Commit 058990e pushed by michael-schwarz
October 4, 2023 10:38 5m 50s long_double_constant_warning
long_double_constant_warning
October 4, 2023 10:38 5m 50s
Some ~15 more library functions indentation #8296: Pull request #1203 synchronize by michael-schwarz
October 4, 2023 10:30 6m 49s library_me_one_more_time
library_me_one_more_time
October 4, 2023 10:30 6m 49s
Rm duplicates indentation #8295: Commit 3cf5e36 pushed by michael-schwarz
October 4, 2023 10:30 6m 44s library_me_one_more_time
library_me_one_more_time
October 4, 2023 10:30 6m 44s
SV-COMP "Memory Safety" benchmark additions indentation #8294: Pull request #1201 synchronize by mrstanb
October 4, 2023 10:25 6m 4s mrstanb:svcomp-memsafety-benchmarks
mrstanb:svcomp-memsafety-benchmarks
October 4, 2023 10:25 6m 4s
SV-COMP "Memory Safety" benchmark additions indentation #8293: Pull request #1201 synchronize by mrstanb
October 4, 2023 09:36 6m 39s mrstanb:svcomp-memsafety-benchmarks
mrstanb:svcomp-memsafety-benchmarks
October 4, 2023 09:36 6m 39s
Some ~15 more library functions indentation #8292: Pull request #1203 synchronize by michael-schwarz
October 4, 2023 09:29 4m 31s library_me_one_more_time
library_me_one_more_time
October 4, 2023 09:29 4m 31s