Skip to content

Actions: CopperCableIsolator/goblint-sparsification

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
334 workflow runs
334 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fix docs/api-build CI of AffineEqualityDenseDomain locked #76: Commit 463f360 pushed by kadameit
22m 26s master
master
22m 26s
Fix docs/api-build CI of AffineEqualityDenseDomain docs #59: Commit 463f360 pushed by kadameit
56s master
master
56s
Fix docs/api-build CI of AffineEqualityDenseDomain indentation #59: Commit 463f360 pushed by kadameit
1m 32s master
master
1m 32s
Fix docs/api-build CI of AffineEqualityDenseDomain semgrep #58: Commit 463f360 pushed by kadameit
57s master
master
57s
coverage coverage #25: Scheduled
13m 4s master
master
13m 4s
unlocked unlocked #27: Scheduled
2h 4m 11s master
master
2h 4m 11s
locked locked #75: Scheduled
20m 44s master
master
20m 44s
docker docker #18: Scheduled
3m 2s master
master
3m 2s
unlocked unlocked #26: Manually run by kadameit
2h 11m 35s master
master
2h 11m 35s
Fix affeq analysis sparse config param and dune file semgrep #57: Commit e3cbcf7 pushed by kadameit
54s master
master
54s
Fix affeq analysis sparse config param and dune file options #57: Commit e3cbcf7 pushed by kadameit
20s master
master
20s
Fix affeq analysis sparse config param and dune file docs #58: Commit e3cbcf7 pushed by kadameit
15s master
master
15s
Fix affeq analysis sparse config param and dune file locked #74: Commit e3cbcf7 pushed by kadameit
28m 19s master
master
28m 19s
Fix affeq analysis sparse config param and dune file indentation #58: Commit e3cbcf7 pushed by kadameit
1m 42s master
master
1m 42s
Remove debug files indentation #57: Commit 4176d52 pushed by kadameit
1m 43s master
master
1m 43s
Remove debug files locked #73: Commit 4176d52 pushed by kadameit
7m 17s master
master
7m 17s
Remove debug files options #56: Commit 4176d52 pushed by kadameit
20s master
master
20s
Remove debug files docs #57: Commit 4176d52 pushed by kadameit
16s master
master
16s
Remove debug files semgrep #56: Commit 4176d52 pushed by kadameit
57s master
master
57s
Change affeq sparse config from side_effect to sparse with default true indentation #56: Commit abbde00 pushed by kadameit
1m 30s master
master
1m 30s
Change affeq sparse config from side_effect to sparse with default true semgrep #55: Commit abbde00 pushed by kadameit
44s master
master
44s
Change affeq sparse config from side_effect to sparse with default true options #55: Commit abbde00 pushed by kadameit
20s master
master
20s
Change affeq sparse config from side_effect to sparse with default true locked #72: Commit abbde00 pushed by kadameit
8m 21s master
master
8m 21s
Change affeq sparse config from side_effect to sparse with default true docs #56: Commit abbde00 pushed by kadameit
19s master
master
19s
renamed domain to fit goblint scheme options #54: Commit 5326e2b pushed by CopperCableIsolator
22s master
master
22s
ProTip! You can narrow down the results and go further in time using created:<2025-02-25 or the other filters available.