Skip to content

Actions: cucapra/filament

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,573 workflow runs
2,573 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Support running discharge after monomorphization and before lowering.… Format #1569: Commit 399ecd5 pushed by UnsignedByte
October 22, 2024 19:07 47s main
main
October 22, 2024 19:07 47s
Support running discharge after monomorphization and before lowering.… Test #2083: Commit 399ecd5 pushed by UnsignedByte
October 22, 2024 19:07 5m 11s main
main
October 22, 2024 19:07 5m 11s
Support running discharge after monomorphization and before lowering.… Docs website #141: Commit 399ecd5 pushed by UnsignedByte
October 22, 2024 19:07 1m 23s main
main
October 22, 2024 19:07 1m 23s
Merge branch 'main' into discharge-bugfix Test #2082: Commit aea88b8 pushed by UnsignedByte
October 22, 2024 19:01 5m 11s discharge-bugfix
discharge-bugfix
October 22, 2024 19:01 5m 11s
Merge branch 'main' into discharge-bugfix Format #1568: Commit aea88b8 pushed by UnsignedByte
October 22, 2024 19:01 51s discharge-bugfix
discharge-bugfix
October 22, 2024 19:01 51s
use generics instead of impl Test #2081: Commit 5996e55 pushed by UnsignedByte
October 22, 2024 18:58 5m 17s discharge-bugfix
discharge-bugfix
October 22, 2024 18:58 5m 17s
use generics instead of impl Format #1567: Commit 5996e55 pushed by UnsignedByte
October 22, 2024 18:58 52s discharge-bugfix
discharge-bugfix
October 22, 2024 18:58 52s
pull out impl from argument Test #2080: Commit 6cdffa1 pushed by UnsignedByte
October 22, 2024 13:48 5m 4s discharge-bugfix
discharge-bugfix
October 22, 2024 13:48 5m 4s
pull out impl from argument Format #1566: Commit 6cdffa1 pushed by UnsignedByte
October 22, 2024 13:48 53s discharge-bugfix
discharge-bugfix
October 22, 2024 13:48 53s
filter by validity Format #1565: Commit 1f484f1 pushed by UnsignedByte
October 21, 2024 15:12 53s discharge-bugfix
discharge-bugfix
October 21, 2024 15:12 53s
filter by validity Test #2079: Commit 1f484f1 pushed by UnsignedByte
October 21, 2024 15:12 5m 27s discharge-bugfix
discharge-bugfix
October 21, 2024 15:12 5m 27s
fix discharge Format #1564: Commit f93a48e pushed by UnsignedByte
October 21, 2024 14:13 53s discharge-bugfix
discharge-bugfix
October 21, 2024 14:13 53s
fix discharge Test #2078: Commit f93a48e pushed by UnsignedByte
October 21, 2024 14:13 5m 15s discharge-bugfix
discharge-bugfix
October 21, 2024 14:13 5m 15s
add gitignore for rand.json in case tests are killed early (#472) Test #2077: Commit 7d34ee8 pushed by UnsignedByte
October 18, 2024 14:26 5m 3s main
main
October 18, 2024 14:26 5m 3s
add gitignore for rand.json in case tests are killed early (#472) Format #1563: Commit 7d34ee8 pushed by UnsignedByte
October 18, 2024 14:26 48s main
main
October 18, 2024 14:26 48s
add gitignore for rand.json in case tests are killed early (#472) Docs website #140: Commit 7d34ee8 pushed by UnsignedByte
October 18, 2024 14:26 1m 22s main
main
October 18, 2024 14:26 1m 22s
add gitignore for rand.json in case tests are killed early Test #2076: Commit 6301f92 pushed by UnsignedByte
October 18, 2024 14:21 5m 9s gitignore-rand
gitignore-rand
October 18, 2024 14:21 5m 9s
add gitignore for rand.json in case tests are killed early Format #1562: Commit 6301f92 pushed by UnsignedByte
October 18, 2024 14:21 51s gitignore-rand
gitignore-rand
October 18, 2024 14:21 51s
fix discharge Format #1561: Commit f2c6113 pushed by UnsignedByte
October 18, 2024 14:15 53s discharge-bugfix
discharge-bugfix
October 18, 2024 14:15 53s
fix discharge Test #2075: Commit f2c6113 pushed by UnsignedByte
October 18, 2024 14:15 5m 10s discharge-bugfix
discharge-bugfix
October 18, 2024 14:15 5m 10s
mild cleanup Test #2074: Commit 33f1d1d pushed by UnsignedByte
October 18, 2024 13:57 5m 6s scheduling
scheduling
October 18, 2024 13:57 5m 6s
mild cleanup Format #1560: Commit 33f1d1d pushed by UnsignedByte
October 18, 2024 13:57 51s scheduling
scheduling
October 18, 2024 13:57 51s
re-enable discharge Format #1559: Commit d402d01 pushed by UnsignedByte
October 18, 2024 13:44 53s scheduling
scheduling
October 18, 2024 13:44 53s
re-enable discharge Test #2073: Commit d402d01 pushed by UnsignedByte
October 18, 2024 13:44 5m 5s scheduling
scheduling
October 18, 2024 13:44 5m 5s
more cleanup Format #1558: Commit 3fd3bab pushed by UnsignedByte
October 17, 2024 20:10 46s scheduling
scheduling
October 17, 2024 20:10 46s