Skip to content
Back to pull request #394

Migrate uses of bar.dyn_cast<Foo>() to dyn_cast<Foo>(bar) #1810

Sign in to view logs

Migrate uses of bar.dyn_cast<Foo>() to dyn_cast<Foo>(bar)

Migrate uses of bar.dyn_cast<Foo>() to dyn_cast<Foo>(bar) #1810

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Build ubuntu-22.04 gcc polymer=0 pluto Release mlir Release polygeist Release
8m 4s
Build ubuntu-22.04 clang polymer=0 pluto Release mlir Release polygeist Release
8m 8s
Build ubuntu-22.04 gcc polymer=1 pluto Release mlir Release polygeist Release
10m 14s
Build ubuntu-22.04 clang polymer=1 pluto Release mlir Release polygeist Release
11m 4s
Build ubuntu-22.04 gcc polymer=0 pluto Release mlir Release polygeist Debug
10m 8s
Build ubuntu-22.04 clang polymer=0 pluto Release mlir Release polygeist Debug
8m 8s
Build ubuntu-22.04 gcc polymer=1 pluto Release mlir Release polygeist Debug
12m 2s
Build ubuntu-22.04 clang polymer=1 pluto Release mlir Release polygeist Debug
9m 47s
1h 17m 35s