Skip to content

Actions: creusot-rs/creusot

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
76 workflow run results
76 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Implemented limited function encoding Rust #3055: Pull request #899 synchronize by dewert99
October 25, 2023 18:47 6m 13s dewert99:limited-fn
dewert99:limited-fn
October 25, 2023 18:47 6m 13s
Update proofs to new why3 Rust #3054: Pull request #901 opened by xldenis
October 25, 2023 09:00 5m 2s update-proofs
update-proofs
October 25, 2023 09:00 5m 2s
Why3 Why3 #877: Scheduled
October 25, 2023 00:04 16m 20s master
master
October 25, 2023 00:04 16m 20s
Implemented limited function encoding Rust #3053: Pull request #899 synchronize by dewert99
October 24, 2023 18:06 6m 47s dewert99:limited-fn
dewert99:limited-fn
October 24, 2023 18:06 6m 47s
Implemented limited function encoding Rust #3052: Pull request #899 opened by dewert99
October 24, 2023 16:33 5m 58s dewert99:limited-fn
dewert99:limited-fn
October 24, 2023 16:33 5m 58s
Merge pull request #898 from dewert99/trigger Rust #3051: Commit 71e33aa pushed by dewert99
October 24, 2023 15:26 5m 12s master
master
October 24, 2023 15:26 5m 12s
Merge pull request #898 from dewert99/trigger Deploy #9: Commit 71e33aa pushed by dewert99
October 24, 2023 15:26 27s master
master
October 24, 2023 15:26 27s
Why3 Why3 #876: Scheduled
October 24, 2023 00:04 15m 46s master
master
October 24, 2023 00:04 15m 46s
simple_triggers option that adds triggers to def and spec axioms Rust #3050: Pull request #898 synchronize by xldenis
October 23, 2023 23:23 6m 22s dewert99:trigger
dewert99:trigger
October 23, 2023 23:23 6m 22s
simple_triggers option that adds triggers to def and spec axioms Rust #3049: Pull request #898 synchronize by dewert99
October 23, 2023 20:32 5m 10s dewert99:trigger
dewert99:trigger
October 23, 2023 20:32 5m 10s
Why3 Why3 #875: Scheduled
October 23, 2023 00:04 17m 30s master
master
October 23, 2023 00:04 17m 30s
Why3 Why3 #874: Scheduled
October 22, 2023 00:04 15m 39s master
master
October 22, 2023 00:04 15m 39s
simple_triggers option that adds triggers to def and spec axioms Rust #3048: Pull request #898 synchronize by dewert99
October 21, 2023 20:46 5m 36s dewert99:trigger
dewert99:trigger
October 21, 2023 20:46 5m 36s
Merge pull request #892 from xldenis/borroed-ghost Deploy #8: Commit 385d5ff pushed by voidc
October 21, 2023 12:47 32s master
master
October 21, 2023 12:47 32s
Merge pull request #892 from xldenis/borroed-ghost Rust #3047: Commit 385d5ff pushed by voidc
October 21, 2023 12:47 5m 29s master
master
October 21, 2023 12:47 5m 29s
Why3 Why3 #873: Scheduled
October 21, 2023 00:04 15m 3s master
master
October 21, 2023 00:04 15m 3s
simple_triggers option that adds triggers to def and spec axioms Rust #3046: Pull request #898 synchronize by dewert99
October 20, 2023 22:58 5m 30s dewert99:trigger
dewert99:trigger
October 20, 2023 22:58 5m 30s
Forbid the use of borrowed variables in ghost code Rust #3045: Pull request #892 synchronize by voidc
October 20, 2023 20:15 5m 40s borroed-ghost
borroed-ghost
October 20, 2023 20:15 5m 40s
simple_triggers option that adds triggers to def and spec axioms Rust #3044: Pull request #898 synchronize by dewert99
October 20, 2023 17:01 7m 14s dewert99:trigger
dewert99:trigger
October 20, 2023 17:01 7m 14s
simple_triggers option that adds triggers to def and spec axioms Rust #3043: Pull request #898 synchronize by dewert99
October 20, 2023 16:42 6m 17s dewert99:trigger
dewert99:trigger
October 20, 2023 16:42 6m 17s
simple_triggers option that adds triggers to def and spec axioms Rust #3042: Pull request #898 synchronize by dewert99
October 20, 2023 16:27 5m 23s dewert99:trigger
dewert99:trigger
October 20, 2023 16:27 5m 23s
simple_triggers option that adds triggers to def and spec axioms Rust #3041: Pull request #898 opened by dewert99
October 20, 2023 05:52 5m 45s dewert99:trigger
dewert99:trigger
October 20, 2023 05:52 5m 45s
Why3 Why3 #872: Scheduled
October 20, 2023 00:04 16m 37s master
master
October 20, 2023 00:04 16m 37s
Merge pull request #897 from xldenis/fix-iter-take Rust #3040: Commit d7d19d8 pushed by voidc
October 19, 2023 17:19 6m 27s master
master
October 19, 2023 17:19 6m 27s
Merge pull request #897 from xldenis/fix-iter-take Deploy #7: Commit d7d19d8 pushed by voidc
October 19, 2023 17:19 37s master
master
October 19, 2023 17:19 37s