Skip to content

Actions: goblint/analyzer

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
4,545 workflow run results
4,545 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Unbox some types options #7161: Pull request #1310 synchronize by sim642
January 11, 2024 15:33 24s unboxed
unboxed
January 11, 2024 15:33 24s
Unbox some types indentation #9142: Pull request #1310 synchronize by sim642
January 11, 2024 15:33 3m 10s unboxed
unboxed
January 11, 2024 15:33 3m 10s
Unbox some types coverage #1089: Pull request #1310 synchronize by sim642
January 11, 2024 15:33 10m 55s unboxed
unboxed
January 11, 2024 15:33 10m 55s
Merge branch 'master' into unboxed semgrep #8819: Commit e4ab634 pushed by sim642
January 11, 2024 15:33 41s unboxed
unboxed
January 11, 2024 15:33 41s
Merge branch 'master' into unboxed locked #9538: Commit e4ab634 pushed by sim642
January 11, 2024 15:33 19m 41s unboxed
unboxed
January 11, 2024 15:33 19m 41s
Merge branch 'master' into unboxed indentation #9141: Commit e4ab634 pushed by sim642
January 11, 2024 15:33 3m 1s unboxed
unboxed
January 11, 2024 15:33 3m 1s
Merge branch 'master' into unboxed options #7160: Commit e4ab634 pushed by sim642
January 11, 2024 15:33 19s unboxed
unboxed
January 11, 2024 15:33 19s
Linear Two-Variable Equalities Analysis semgrep #8818: Pull request #1297 synchronize by reb-ddm
January 11, 2024 15:17 38s reb-ddm:linear-two-var-equality
reb-ddm:linear-two-var-equality
January 11, 2024 15:17 38s
Linear Two-Variable Equalities Analysis indentation #9140: Pull request #1297 synchronize by reb-ddm
January 11, 2024 15:17 3m 14s reb-ddm:linear-two-var-equality
reb-ddm:linear-two-var-equality
January 11, 2024 15:17 3m 14s
Linear Two-Variable Equalities Analysis coverage #1088: Pull request #1297 synchronize by reb-ddm
January 11, 2024 15:17 11m 30s reb-ddm:linear-two-var-equality
reb-ddm:linear-two-var-equality
January 11, 2024 15:17 11m 30s
Linear Two-Variable Equalities Analysis locked #9537: Pull request #1297 synchronize by reb-ddm
January 11, 2024 15:17 28m 10s reb-ddm:linear-two-var-equality
reb-ddm:linear-two-var-equality
January 11, 2024 15:17 28m 10s
Linear Two-Variable Equalities Analysis options #7159: Pull request #1297 synchronize by reb-ddm
January 11, 2024 15:17 18s reb-ddm:linear-two-var-equality
reb-ddm:linear-two-var-equality
January 11, 2024 15:17 18s
Merge branch 'master' into priv-atomic options #7158: Commit 0308c25 pushed by sim642
January 11, 2024 15:04 23s priv-atomic
priv-atomic
January 11, 2024 15:04 23s
Merge branch 'master' into priv-atomic semgrep #8817: Commit 0308c25 pushed by sim642
January 11, 2024 15:04 34s priv-atomic
priv-atomic
January 11, 2024 15:04 34s
Merge branch 'master' into priv-atomic indentation #9139: Commit 0308c25 pushed by sim642
January 11, 2024 15:04 2m 57s priv-atomic
priv-atomic
January 11, 2024 15:04 2m 57s
Merge branch 'master' into priv-atomic locked #9536: Commit 0308c25 pushed by sim642
January 11, 2024 15:04 29m 34s priv-atomic
priv-atomic
January 11, 2024 15:04 29m 34s
Add some hacky atomic privatizations options #7157: Pull request #1216 synchronize by sim642
January 11, 2024 15:04 23s priv-atomic
priv-atomic
January 11, 2024 15:04 23s
Add some hacky atomic privatizations semgrep #8816: Pull request #1216 synchronize by sim642
January 11, 2024 15:04 38s priv-atomic
priv-atomic
January 11, 2024 15:04 38s
Add some hacky atomic privatizations indentation #9138: Pull request #1216 synchronize by sim642
January 11, 2024 15:04 2m 58s priv-atomic
priv-atomic
January 11, 2024 15:04 2m 58s
Add some hacky atomic privatizations coverage #1087: Pull request #1216 synchronize by sim642
January 11, 2024 15:04 11m 20s priv-atomic
priv-atomic
January 11, 2024 15:04 11m 20s
Add some hacky atomic privatizations locked #9535: Pull request #1216 synchronize by sim642
January 11, 2024 15:04 20m 55s priv-atomic
priv-atomic
January 11, 2024 15:04 20m 55s
Comment out atomic mutex protecting everything again options #7156: Commit 696a35f pushed by sim642
January 11, 2024 14:58 21s priv-atomic
priv-atomic
January 11, 2024 14:58 21s
Comment out atomic mutex protecting everything again semgrep #8815: Commit 696a35f pushed by sim642
January 11, 2024 14:58 41s priv-atomic
priv-atomic
January 11, 2024 14:58 41s
Comment out atomic mutex protecting everything again locked #9534: Commit 696a35f pushed by sim642
January 11, 2024 14:58 41m 1s priv-atomic
priv-atomic
January 11, 2024 14:58 41m 1s
Comment out atomic mutex protecting everything again indentation #9137: Commit 696a35f pushed by sim642
January 11, 2024 14:58 2m 52s priv-atomic
priv-atomic
January 11, 2024 14:58 2m 52s