Skip to content

Actions: formal-land/coq-of-rust

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
654 workflow runs
654 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #774 from formal-land/guillaume-claret@clean-ci Rust #2728: Commit 9338b7d pushed by clarus
32m 0s main
main
32m 0s
Clean CI space Rust #2727: Pull request #774 synchronize by clarus
32m 0s guillaume-claret@clean-ci
guillaume-claret@clean-ci
32m 0s
Clean CI space Rust #2726: Pull request #774 synchronize by clarus
31m 56s guillaume-claret@clean-ci
guillaume-claret@clean-ci
31m 56s
Clean CI space Rust #2725: Pull request #774 synchronize by clarus
20m 2s guillaume-claret@clean-ci
guillaume-claret@clean-ci
20m 2s
Clean CI space Rust #2724: Pull request #774 opened by clarus
21m 26s guillaume-claret@clean-ci
guillaume-claret@clean-ci
21m 26s
ci: add cargo clean to free some space Rust #2723: Commit e3ecdae pushed by clarus
20m 22s main
main
20m 22s
Merge pull request #772 from formal-land/guillaume-claret@add-simulat… Rust #2722: Commit 4c2257f pushed by clarus
20m 51s main
main
20m 51s
Simulate: add get_or_zero example Rust #2721: Pull request #772 synchronize by clarus
21m 37s guillaume-claret@add-simulate-get_or_zero-example
guillaume-claret@add-simulate-get_or_zero-example
21m 37s
Simulate: add get_or_zero example Rust #2720: Pull request #772 opened by clarus
31m 47s guillaume-claret@add-simulate-get_or_zero-example
guillaume-claret@add-simulate-get_or_zero-example
31m 47s
Merge pull request #771 from formal-land/guillaume-claret@add-unop-op… Rust #2719: Commit 3aa65e3 pushed by clarus
46m 2s main
main
46m 2s
Add support for unary operators Rust #2718: Pull request #771 synchronize by clarus
47m 48s guillaume-claret@add-unop-operators
guillaume-claret@add-unop-operators
47m 48s
Add support for unary operators Rust #2717: Pull request #771 synchronize by clarus
47m 36s guillaume-claret@add-unop-operators
guillaume-claret@add-unop-operators
47m 36s
Add support for unary operators Rust #2716: Pull request #771 opened by clarus
44m 37s guillaume-claret@add-unop-operators
guillaume-claret@add-unop-operators
44m 37s
Merge pull request #768 from formal-land/guillaume-claret@add-link-si… Rust #2715: Commit 0a90457 pushed by clarus
45m 1s main
main
45m 1s
Add links and simulate example Rust #2714: Pull request #768 opened by clarus
47m 0s guillaume-claret@add-link-simulate-example
guillaume-claret@add-link-simulate-example
47m 0s
Merge pull request #767 from formal-land/guillaume-claret@remove-unus… Rust #2713: Commit 3e36769 pushed by clarus
45m 41s main
main
45m 41s
Remove unused code Rust #2712: Pull request #767 synchronize by clarus
52m 36s guillaume-claret@remove-unused-translations
guillaume-claret@remove-unused-translations
52m 36s
Remove unused code Rust #2711: Pull request #767 synchronize by clarus
35m 43s guillaume-claret@remove-unused-translations
guillaume-claret@remove-unused-translations
35m 43s
Remove unused code Rust #2710: Pull request #767 opened by clarus
51m 39s guillaume-claret@remove-unused-translations
guillaume-claret@remove-unused-translations
51m 39s
Add links for loop-free examples Rust #2709: Pull request #766 opened by isabellemaluza
17m 25s isabellemaluza:add-links-loop-free
isabellemaluza:add-links-loop-free
17m 25s
ci: add missing Rust examples Rust #2708: Commit 3b85d12 pushed by clarus
24m 59s main
main
24m 59s
Merge pull request #763 from formal-land/guillaume-claret@add-no-std-… Rust #2707: Commit 0f70c92 pushed by clarus
25m 8s main
main
25m 8s
Add no-std examples Rust #2706: Pull request #763 synchronize by clarus
25m 26s guillaume-claret@add-no-std-examples
guillaume-claret@add-no-std-examples
25m 26s
Add no-std examples Rust #2705: Pull request #763 opened by clarus
25m 10s guillaume-claret@add-no-std-examples
guillaume-claret@add-no-std-examples
25m 10s
Merge pull request #762 from formal-land/alexandre-oliveira@p-token-p… Rust #2704: Commit 95b5d10 pushed by romefeller
30m 6s main
main
30m 6s