Skip to content

Actions: lisa-analyzer/jlisa

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
146 workflow runs
146 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Run analysis and produce statistics Run analysis and produce statistics #190: Manually run by giacomozanatta
33m 52s constant-prop-interval-fallback
constant-prop-interval-fallback
33m 52s
Run analysis and produce statistics Run analysis and produce statistics #189: Manually run by teodorslisovenko
29m 17s master
master
29m 17s
Add --noHtml parameter to cli interface Run analysis and produce statistics #188: Pull request #225 synchronize by giacomozanatta
49m 52s cli-param-html-output
cli-param-html-output
49m 52s
Add --noHtml parameter to cli interface Run analysis and produce statistics #187: Pull request #225 opened by giacomozanatta
31m 11s cli-param-html-output
cli-param-html-output
31m 11s
String builder support Run analysis and produce statistics #186: Pull request #224 opened by olivieriluca
31m 18s string-builder-sv-comp
string-builder-sv-comp
31m 18s
Add all code member description before parsing method bodies Run analysis and produce statistics #185: Pull request #223 synchronize by giacomozanatta
30m 47s fix-open-call
fix-open-call
30m 47s
Fixing some sv-comp tests Run analysis and produce statistics #184: Pull request #222 synchronize by VincenzoArceri
31m 34s constant-propagation
constant-propagation
31m 34s
Fixing some sv-comp tests Run analysis and produce statistics #183: Pull request #222 synchronize by VincenzoArceri
1m 17s constant-propagation
constant-propagation
1m 17s
Add all code member description before parsing method bodies Run analysis and produce statistics #182: Pull request #223 synchronize by giacomozanatta
33m 0s fix-open-call
fix-open-call
33m 0s
Add all code member description before parsing method bodies Run analysis and produce statistics #181: Pull request #223 opened by giacomozanatta
24m 37s fix-open-call
fix-open-call
24m 37s
Fixing some sv-comp tests Run analysis and produce statistics #180: Pull request #222 opened by bianchifilippo
1m 49s constant-propagation
constant-propagation
1m 49s
ConstantPropagation with IntInterval fallback (Experimental) Run analysis and produce statistics #179: Pull request #202 synchronize by giacomozanatta
58m 5s constant-prop-interval-fallback
constant-prop-interval-fallback
58m 5s
Add code member before parsing method body Run analysis and produce statistics #178: Pull request #220 synchronize by giacomozanatta
30m 14s fix-open-call
fix-open-call
30m 14s
Add code member before parsing method body Run analysis and produce statistics #177: Pull request #220 synchronize by giacomozanatta
30m 20s fix-open-call
fix-open-call
30m 20s
Add code member before parsing method body Run analysis and produce statistics #176: Pull request #220 opened by giacomozanatta
1m 19s fix-open-call
fix-open-call
1m 19s
Throw exception if anonymous class detected Run analysis and produce statistics #175: Pull request #219 synchronize by giacomozanatta
6m 21s throw-exception-anon-classes
throw-exception-anon-classes
6m 21s
Throw exception if anonymous class detected Run analysis and produce statistics #174: Pull request #219 synchronize by VincenzoArceri
39m 59s throw-exception-anon-classes
throw-exception-anon-classes
39m 59s
Throw exception if anonymous class detected Run analysis and produce statistics #173: Pull request #219 opened by giacomozanatta
30m 23s throw-exception-anon-classes
throw-exception-anon-classes
30m 23s
Fixing workflow in pipelines Run analysis and produce statistics #172: Pull request #218 opened by teodorslisovenko
34m 39s 210-fixing-workflow-in-pipelines
210-fixing-workflow-in-pipelines
34m 39s
Ignore is PR (testing pipelines) Run analysis and produce statistics #171: Pull request #217 synchronize by teodorslisovenko
13m 4s 210-support-version-output
210-support-version-output
13m 4s
Ignore is PR (testing pipelines) Run analysis and produce statistics #170: Pull request #217 synchronize by teodorslisovenko
7m 50s 210-support-version-output
210-support-version-output
7m 50s
Ignore is PR (testing pipelines) Run analysis and produce statistics #169: Pull request #217 synchronize by teodorslisovenko
4m 38s 210-support-version-output
210-support-version-output
4m 38s
Ignore is PR (testing pipelines) Run analysis and produce statistics #168: Pull request #217 opened by teodorslisovenko
4m 14s 210-support-version-output
210-support-version-output
4m 14s
#209 Fixed case of div by zero for floating point values Run analysis and produce statistics #167: Pull request #213 synchronize by VincenzoArceri
15m 11s 209-div-byzero
209-div-byzero
15m 11s
#209 Fixed case of div by zero for floating point values Run analysis and produce statistics #166: Pull request #213 synchronize by olivieriluca
1m 19s 209-div-byzero
209-div-byzero
1m 19s