Skip to content

Actions: kondylidou/CVC4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
276 workflow runs
276 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Upload Docs Upload Docs #46: completed by kondylidou
1s
1s
preserve forall CI #46: Commit 9e2ddfa pushed by kondylidou
19m 29s mbqiEnumQuant
mbqiEnumQuant
19m 29s
Upload Docs Upload Docs #45: completed by kondylidou
2s
2s
Upload Docs Upload Docs #44: completed by kondylidou
1s
1s
Merge remote-tracking branch 'upstream/main' into leibnizRe CI #45: Commit 885b2b0 pushed by kondylidou
36m 47s leibnizRe
leibnizRe
36m 47s
fix CI #44: Commit 3b75a10 pushed by kondylidou
3m 36s leibnizRe
leibnizRe
3m 36s
Upload Docs Upload Docs #43: completed by kondylidou
1s
1s
fixes CI #43: Commit e9eb7d2 pushed by kondylidou
52m 54s leibnizRe
leibnizRe
52m 54s
Upload Docs Upload Docs #42: completed by kondylidou
1s
1s
Merge remote-tracking branch 'upstream/main' into leibnizRe CI #42: Commit 02b51c1 pushed by kondylidou
53m 32s leibnizRe
leibnizRe
53m 32s
Upload Docs Upload Docs #41: completed by kondylidou
1s
1s
set up quantifiers CI #41: Commit a0cb2b8 pushed by kondylidou
21m 40s mbqiEnumQuant
mbqiEnumQuant
21m 40s
Upload Docs Upload Docs #40: completed by kondylidou
1s
1s
some fixes, not ready CI #40: Commit 9431cd6 pushed by kondylidou
16m 33s mbqiEnumQuant
mbqiEnumQuant
16m 33s
Upload Docs Upload Docs #39: completed by kondylidou
1s
1s
some first thought/implementations CI #39: Commit 9f5f001 pushed by kondylidou
6m 48s mbqiEnumQuant
mbqiEnumQuant
6m 48s
Upload Docs Upload Docs #38: completed by kondylidou
1s
1s
done with lambdas CI #38: Commit 8af4b0e pushed by kondylidou
36m 21s grammarHoExt
grammarHoExt
36m 21s
Upload Docs Upload Docs #37: completed by kondylidou
1s
1s
base CI #37: Commit 156ad7d pushed by kondylidou
41m 40s grammarHoExt
grammarHoExt
41m 40s
Upload Docs Upload Docs #36: completed by kondylidou
1s
1s
fix CI #36: Commit 23063dd pushed by kondylidou
40m 39s grammarHoExt
grammarHoExt
40m 39s
Upload Docs Upload Docs #35: completed by kondylidou
Skipped
Skipped
fix CI #35: Commit 7d36898 pushed by kondylidou
36m 52s grammarHoExt
grammarHoExt
36m 52s
Upload Docs Upload Docs #34: completed by kondylidou
1s
1s