Skip to content

Actions: cucapra/filament

Actions

Test

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
test.yml
298 workflow runs
298 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

add scheduling model in attributes Test #2154: Commit 31e3f37 pushed by UnsignedByte
February 2, 2025 19:04 6m 7s scheduling
scheduling
February 2, 2025 19:04 6m 7s
Merge branch 'main' into scheduling Test #2153: Commit fe84d1a pushed by UnsignedByte
February 2, 2025 18:45 5m 42s scheduling
scheduling
February 2, 2025 18:45 5m 42s
add float attributes (#489) Test #2152: Commit 1965fc7 pushed by UnsignedByte
February 2, 2025 18:45 23m 54s main
main
February 2, 2025 18:45 23m 54s
Merge branch 'main' into float-attribs Test #2151: Commit e3e832d pushed by UnsignedByte
February 2, 2025 18:39 5m 46s float-attribs
float-attribs
February 2, 2025 18:39 5m 46s
add parser implementation Test #2150: Commit 16760e7 pushed by UnsignedByte
February 2, 2025 18:35 23m 59s float-attribs
float-attribs
February 2, 2025 18:35 23m 59s
Merge branch 'main' into scheduling Test #2149: Commit b1cdfd5 pushed by UnsignedByte
January 25, 2025 17:23 6m 11s scheduling
scheduling
January 25, 2025 17:23 6m 11s
Prevent double-definitions of propositions (#488) Test #2148: Commit b13ba6f pushed by UnsignedByte
January 25, 2025 17:23 6m 32s main
main
January 25, 2025 17:23 6m 32s
add float attributes Test #2147: Commit 0f2a034 pushed by UnsignedByte
January 24, 2025 22:44 2m 48s float-attribs
float-attribs
January 24, 2025 22:44 2m 48s
merge Test #2146: Commit 86815a0 pushed by UnsignedByte
January 24, 2025 22:26 6m 3s scheduling
scheduling
January 24, 2025 22:26 6m 3s
Merge branch 'main' into scheduling Test #2145: Commit 487712a pushed by UnsignedByte
January 24, 2025 22:17 23m 55s scheduling
scheduling
January 24, 2025 22:17 23m 55s
Merge branch 'cvc5-fix' of github.com:cucapra/filament into cvc5-fix Test #2144: Commit 6a9edd2 pushed by UnsignedByte
January 24, 2025 22:15 5m 41s cvc5-fix
cvc5-fix
January 24, 2025 22:15 5m 41s
Merge branch 'main' into cvc5-fix Test #2143: Commit eca27fb pushed by UnsignedByte
January 24, 2025 22:11 14m 4s cvc5-fix
cvc5-fix
January 24, 2025 22:11 14m 4s
prevent double-definitions Test #2142: Commit 090ad11 pushed by UnsignedByte
January 24, 2025 21:58 5m 50s cvc5-fix
cvc5-fix
January 24, 2025 21:58 5m 50s
Port attributes (#486) Test #2141: Commit e0703dd pushed by UnsignedByte
January 24, 2025 21:06 13m 46s main
main
January 24, 2025 21:06 13m 46s
cleanup unused import Test #2140: Commit c9bb2cc pushed by UnsignedByte
January 24, 2025 20:29 6m 48s port-attribs
port-attribs
January 24, 2025 20:29 6m 48s
swap to indexstore for port attributes Test #2139: Commit 166f170 pushed by UnsignedByte
January 24, 2025 15:21 18m 11s port-attribs
port-attribs
January 24, 2025 15:21 18m 11s
port attributes Test #2138: Commit 3513c57 pushed by UnsignedByte
January 19, 2025 22:30 14m 11s port-attribs
port-attribs
January 19, 2025 22:30 14m 11s
Merge branch 'main' into scheduling Test #2137: Commit 3a065cb pushed by UnsignedByte
January 19, 2025 21:36 5m 33s scheduling
scheduling
January 19, 2025 21:36 5m 33s
Merge branch 'main' into SMT-varnames Test #2136: Commit 781de7a pushed by UnsignedByte
January 18, 2025 23:34 5m 44s SMT-varnames
SMT-varnames
January 18, 2025 23:34 5m 44s
utils fix (#484) Test #2135: Commit 3377070 pushed by UnsignedByte
January 18, 2025 23:27 8m 56s main
main
January 18, 2025 23:27 8m 56s
remove unused variable Test #2134: Commit eecadd6 pushed by UnsignedByte
January 18, 2025 23:24 23m 47s SMT-varnames
SMT-varnames
January 18, 2025 23:24 23m 47s
utils fix Test #2133: Commit aee422f pushed by UnsignedByte
January 18, 2025 23:21 5m 37s blas-python3
blas-python3
January 18, 2025 23:21 5m 37s
fix smt naming Test #2132: Commit 5ba38aa pushed by UnsignedByte
January 18, 2025 23:21 23m 45s SMT-varnames
SMT-varnames
January 18, 2025 23:21 23m 45s
Use python3 in blas testing instead of python (#481) Test #2131: Commit 8c08f96 pushed by UnsignedByte
January 18, 2025 23:15 5m 42s main
main
January 18, 2025 23:15 5m 42s
fix printing Test #2130: Commit 55aec21 pushed by UnsignedByte
January 18, 2025 22:45 16m 14s blas-python3
blas-python3
January 18, 2025 22:45 16m 14s