Skip to content

Actions: Aurel300/prusti-dev

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
683 workflow runs
683 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Add support for IntToFloat and FloatToInt casts Test #851: Pull request #190 synchronize by ThomasMayerl
19m 55s ThomasMayerl:float_to_int
ThomasMayerl:float_to_int
19m 55s
Use ECX for ty consts Test #850: Pull request #192 synchronize by ThomasMayerl
16m 23s ThomasMayerl:use_ecx_for_ty_consts
ThomasMayerl:use_ecx_for_ty_consts
16m 23s
Use ECX for ty consts Test #849: Pull request #192 synchronize by ThomasMayerl
16m 14s ThomasMayerl:use_ecx_for_ty_consts
ThomasMayerl:use_ecx_for_ty_consts
16m 14s
Use ECX for ty consts Test #848: Pull request #192 opened by ThomasMayerl
17m 39s ThomasMayerl:use_ecx_for_ty_consts
ThomasMayerl:use_ecx_for_ty_consts
17m 39s
Concrete trait impl checks Test #847: Pull request #137 synchronize by JonasAlaif
10m 50s Trzyq0712:trait_impls
Trzyq0712:trait_impls
10m 50s
Cleanup prusti-contracts, add/implement all Viper builtins (#188) Test #846: Commit a1e5e16 pushed by JonasAlaif
18m 20s rewrite-2023
rewrite-2023
18m 20s
Cleanup prusti-contracts, add/implement all Viper builtins Test #845: Pull request #188 synchronize by JonasAlaif
19m 10s viperproject:prusti-builtin
viperproject:prusti-builtin
19m 10s
Add support for IntToFloat and FloatToInt casts Test #844: Pull request #190 synchronize by ThomasMayerl
18m 13s ThomasMayerl:float_to_int
ThomasMayerl:float_to_int
18m 13s
Cleanup prusti-contracts, add/implement all Viper builtins Test #843: Pull request #188 synchronize by JonasAlaif
14m 13s viperproject:prusti-builtin
viperproject:prusti-builtin
14m 13s
Update snapshot predicate to exclude uninhabited discriminants Test #842: Pull request #191 opened by zgrannan
18m 22s viperproject:zgrannan/fix-uninhabited
viperproject:zgrannan/fix-uninhabited
18m 22s
Add support for IntToFloat and FloatToInt casts Test #841: Pull request #190 synchronize by ThomasMayerl
16m 47s ThomasMayerl:float_to_int
ThomasMayerl:float_to_int
16m 47s
Add support for IntToFloat and FloatToInt casts Test #840: Pull request #190 synchronize by ThomasMayerl
18m 2s ThomasMayerl:float_to_int
ThomasMayerl:float_to_int
18m 2s
Cleanup prusti-contracts, add/implement all Viper builtins Test #839: Pull request #188 synchronize by JonasAlaif
21m 19s viperproject:prusti-builtin
viperproject:prusti-builtin
21m 19s
Cleanup prusti-contracts, add/implement all Viper builtins Test #838: Pull request #188 synchronize by JonasAlaif
2m 59s viperproject:prusti-builtin
viperproject:prusti-builtin
2m 59s
Cleanup prusti-contracts, add/implement all Viper builtins Test #837: Pull request #188 synchronize by JonasAlaif
1m 7s viperproject:prusti-builtin
viperproject:prusti-builtin
1m 7s
Cleanup prusti-contracts, add/implement all Viper builtins Test #836: Pull request #188 synchronize by JonasAlaif
4m 4s viperproject:prusti-builtin
viperproject:prusti-builtin
4m 4s
Cleanup prusti-contracts, add/implement all Viper builtins Test #835: Pull request #188 synchronize by JonasAlaif
18m 43s viperproject:prusti-builtin
viperproject:prusti-builtin
18m 43s
Add support for IntToFloat and FloatToInt casts Test #834: Pull request #190 synchronize by ThomasMayerl
17m 31s ThomasMayerl:float_to_int
ThomasMayerl:float_to_int
17m 31s
Add support for IntToFloat and FloatToInt casts Test #833: Pull request #190 opened by ThomasMayerl
19m 32s ThomasMayerl:float_to_int
ThomasMayerl:float_to_int
19m 32s
Add support for int to float casts Test #832: Pull request #189 opened by ThomasMayerl
18m 25s ThomasMayerl:int_to_floats
ThomasMayerl:int_to_floats
18m 25s
Update dependencies Update dependencies #47: Scheduled
5m 50s rewrite-2023
rewrite-2023
5m 50s
Cleanup prusti-contracts, add/implement all Viper builtins Test #831: Pull request #188 synchronize by JonasAlaif
7m 33s viperproject:prusti-builtin
viperproject:prusti-builtin
7m 33s
Cleanup prusti-contracts, add/implement all Viper builtins Test #830: Pull request #188 synchronize by JonasAlaif
17m 51s viperproject:prusti-builtin
viperproject:prusti-builtin
17m 51s
Cleanup prusti-contracts, add/implement all Viper builtins Test #829: Pull request #188 synchronize by JonasAlaif
10m 19s viperproject:prusti-builtin
viperproject:prusti-builtin
10m 19s
Cleanup prusti-contracts, add/implement all Viper builtins Test #828: Pull request #188 synchronize by JonasAlaif
11m 23s viperproject:prusti-builtin
viperproject:prusti-builtin
11m 23s