Skip to content

Actions: diffblue/java-models-library

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
30 workflow runs
30 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Model Class.forName with unique Class objects Build JBMC Java Models Library #27: Pull request #50 synchronize by tautschnig
42s kiro/class-forname
kiro/class-forname
42s
Model Class.forName with unique Class objects Build JBMC Java Models Library #26: Pull request #50 synchronize by tautschnig
27s kiro/class-forname
kiro/class-forname
27s
Class: create primitive classes without calling forName Build JBMC Java Models Library #25: Pull request #43 synchronize by tautschnig
28s fix-primitive-class-clinit
fix-primitive-class-clinit
28s
Model Class.forName with unique Class objects Build JBMC Java Models Library #24: Pull request #50 synchronize by tautschnig
31s kiro/class-forname
kiro/class-forname
31s
Model Class.forName with unique Class objects Build JBMC Java Models Library #23: Pull request #50 stacked by tautschnig
26s kiro/class-forname
kiro/class-forname
26s
Add java.util.OptionalInt Build JBMC Java Models Library #22: Pull request #41 synchronize by tautschnig
26s model-optionalint
model-optionalint
26s
Running Copilot Code Review Copilot #7: by Copilot AI
3m 21s kiro/class-forname
kiro/class-forname
3m 21s
Running Copilot Code Review Copilot #6: by Copilot AI
1m 20s kiro/jdk25
kiro/jdk25
1m 20s
Make the models compile with JDK 25 Build JBMC Java Models Library #21: Pull request #49 opened by tautschnig
46s kiro/jdk25
kiro/jdk25
46s
Model additions from SV-COMP 26 Build JBMC Java Models Library #20: Pull request #48 opened by peterschrammel
29s sv-comp26
sv-comp26
29s
Add the axiomatic collection models as an in-repo maven module Build JBMC Java Models Library #19: Pull request #47 opened by tautschnig
1m 26s axiomatic-models
axiomatic-models
1m 26s
HashSet model: deterministic Object[]-backed set Build JBMC Java Models Library #18: Pull request #45 synchronize by tautschnig
31s model-hashset
model-hashset
31s
LinkedHashMap + LinkedHashSet models: insertion/access order over HashMap/HashSet Build JBMC Java Models Library #17: Pull request #46 opened by tautschnig
32s model-linkedhashmap
model-linkedhashmap
32s
Add verification micro-benchmarks Build JBMC Java Models Library #16: Pull request #44 synchronize by tautschnig
34s verification-benchmarks
verification-benchmarks
34s
HashSet model: deterministic Object[]-backed set Build JBMC Java Models Library #15: Pull request #45 opened by tautschnig
27s model-hashset
model-hashset
27s
Running Copilot Code Review Copilot #5: by Copilot AI
3m 56s verification-benchmarks
verification-benchmarks
3m 56s
Add verification micro-benchmarks Build JBMC Java Models Library #14: Pull request #44 opened by tautschnig
25s verification-benchmarks
verification-benchmarks
25s
Running Copilot Code Review Copilot #4: by Copilot AI
3m 14s fix-primitive-class-clinit
fix-primitive-class-clinit
3m 14s
Class: create primitive classes without calling forName Build JBMC Java Models Library #13: Pull request #43 opened by tautschnig
35s fix-primitive-class-clinit
fix-primitive-class-clinit
35s
Iterator infrastructure for collection models: snapshot iterators + generic-element annotation Build JBMC Java Models Library #12: Pull request #42 synchronize by tautschnig
32s iterator-infrastructure
iterator-infrastructure
32s
Add java.util.OptionalInt Build JBMC Java Models Library #11: Pull request #41 synchronize by tautschnig
29s model-optionalint
model-optionalint
29s
regex: model Pattern/Matcher for JBMC's intercepted regex machinery Build JBMC Java Models Library #10: Pull request #40 synchronize by tautschnig
1m 9s regex-matcher-model
regex-matcher-model
1m 9s
Running Copilot Code Review Copilot #3: by Copilot AI
3m 42s iterator-infrastructure
iterator-infrastructure
3m 42s
Iterator infrastructure for collection models: snapshot iterators + generic-element annotation Build JBMC Java Models Library #9: Pull request #42 opened by tautschnig
31s iterator-infrastructure
iterator-infrastructure
31s
Running Copilot Code Review Copilot #2: by Copilot AI
2m 7s model-optionalint
model-optionalint
2m 7s