Skip to content

Actions: mit-plv/fiat-crypto

Actions

Test Generated Rust

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
rust.yml
1,289 workflow runs
1,289 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Work around issue with brew and opam (#1989) Test Generated Rust #5732: Commit a16b32f pushed by JasonGross
November 21, 2024 02:30 11m 15s master
master
November 21, 2024 02:30 11m 15s
[CI] [opam] [MacOS] fix kludge for pkg-conf Test Generated Rust #5731: Commit f6ce925 pushed by JasonGross
November 20, 2024 22:04 2h 10m 30s master
master
November 20, 2024 22:04 2h 10m 30s
Work around issue with brew and opam Test Generated Rust #5730: Pull request #1989 synchronize by JasonGross
November 20, 2024 22:03 1h 45m 33s fix-macos
fix-macos
November 20, 2024 22:03 1h 45m 33s
Update coq-macos.yml Test Generated Rust #5729: Commit 6072f75 pushed by JasonGross
November 20, 2024 22:02 1h 46m 35s fix-macos
fix-macos
November 20, 2024 22:02 1h 46m 35s
[CI] [opam] Work around MacOS / opam / brew issue Test Generated Rust #5728: Commit 78208bd pushed by JasonGross
November 20, 2024 19:33 1h 38m 22s master
master
November 20, 2024 19:33 1h 38m 22s
Work around issue with brew and opam Test Generated Rust #5727: Pull request #1989 opened by JasonGross
November 20, 2024 19:31 1h 39m 54s fix-macos
fix-macos
November 20, 2024 19:31 1h 39m 54s
Work around issue with brew and opam Test Generated Rust #5726: Commit c01430c pushed by JasonGross
November 20, 2024 19:31 1h 39m 36s fix-macos
fix-macos
November 20, 2024 19:31 1h 39m 36s
Bump rewriter from edd0611 to 8ab716a (#1988) Test Generated Rust #5725: Commit c97b7a1 pushed by JasonGross
November 20, 2024 19:28 2m 52s master
master
November 20, 2024 19:28 2m 52s
Bump rewriter from edd0611 to 8ab716a Test Generated Rust #5724: Pull request #1988 opened by dependabot bot
November 20, 2024 06:53 2m 51s dependabot/submodules/rewriter-8ab716a
dependabot/submodules/rewriter-8ab716a
November 20, 2024 06:53 2m 51s
Bump rewriter from edd0611 to 8ab716a Test Generated Rust #5723: Commit 971351d pushed by dependabot bot
November 20, 2024 06:53 2m 57s dependabot/submodules/rewriter-8ab716a
dependabot/submodules/rewriter-8ab716a
November 20, 2024 06:53 2m 57s
Bump coqprime from 6c225a2 to 845c00c Test Generated Rust #5722: Pull request #1984 synchronize by JasonGross
November 11, 2024 15:41 5m 8s dependabot/submodules/coqprime-845c00c
dependabot/submodules/coqprime-845c00c
November 11, 2024 15:41 5m 8s
Bump coqprime from 6c225a2 to 845c00c Test Generated Rust #5721: Commit 3a79a92 pushed by JasonGross
November 11, 2024 15:41 4m 59s dependabot/submodules/coqprime-845c00c
dependabot/submodules/coqprime-845c00c
November 11, 2024 15:41 4m 59s
Bump JamesIves/github-pages-deploy-action from 4.6.8 to 4.6.9 Test Generated Rust #5720: Pull request #1987 synchronize by JasonGross
November 11, 2024 15:41 5m 20s dependabot/github_actions/JamesIves/github-pages-deploy-action-4.6.9
dependabot/github_actions/JamesIves/github-pages-deploy-action-4.6.9
November 11, 2024 15:41 5m 20s
Bump JamesIves/github-pages-deploy-action from 4.6.8 to 4.6.9 Test Generated Rust #5719: Commit 9a011e5 pushed by JasonGross
November 11, 2024 15:41 3m 34s dependabot/github_actions/JamesIves/github-pages-deploy-action-4.6.9
dependabot/github_actions/JamesIves/github-pages-deploy-action-4.6.9
November 11, 2024 15:41 3m 34s
Fix wasm_of_ocaml version, hopefully (#1986) Test Generated Rust #5718: Commit e61d78e pushed by JasonGross
November 11, 2024 08:21 3m 3s master
master
November 11, 2024 08:21 3m 3s
Bump JamesIves/github-pages-deploy-action from 4.6.8 to 4.6.9 Test Generated Rust #5717: Pull request #1987 opened by dependabot bot
November 11, 2024 04:39 3m 7s dependabot/github_actions/JamesIves/github-pages-deploy-action-4.6.9
dependabot/github_actions/JamesIves/github-pages-deploy-action-4.6.9
November 11, 2024 04:39 3m 7s
Bump JamesIves/github-pages-deploy-action from 4.6.8 to 4.6.9 Test Generated Rust #5716: Commit 6a6f7cc pushed by dependabot bot
November 11, 2024 04:39 2m 53s dependabot/github_actions/JamesIves/github-pages-deploy-action-4.6.9
dependabot/github_actions/JamesIves/github-pages-deploy-action-4.6.9
November 11, 2024 04:39 2m 53s
Fix wasm_of_ocaml version, hopefully Test Generated Rust #5715: Pull request #1986 opened by JasonGross
November 11, 2024 04:32 3m 0s fix-wasm
fix-wasm
November 11, 2024 04:32 3m 0s
Fix wasm_of_ocaml version, hopefully Test Generated Rust #5714: Commit 99779a8 pushed by JasonGross
November 11, 2024 04:32 3m 2s fix-wasm
fix-wasm
November 11, 2024 04:32 3m 2s
Bump coqprime from 6c225a2 to 845c00c Test Generated Rust #5713: Pull request #1984 opened by dependabot bot
November 7, 2024 08:36 3m 3s dependabot/submodules/coqprime-845c00c
dependabot/submodules/coqprime-845c00c
November 7, 2024 08:36 3m 3s
Bump coqprime from 6c225a2 to 845c00c Test Generated Rust #5712: Commit f40a8b8 pushed by dependabot bot
November 7, 2024 08:36 2m 57s dependabot/submodules/coqprime-845c00c
dependabot/submodules/coqprime-845c00c
November 7, 2024 08:36 2m 57s
Bump rewriter from e4d987c to edd0611 Test Generated Rust #5711: Pull request #1981 opened by dependabot bot
November 4, 2024 08:41 3m 29s dependabot/submodules/rewriter-edd0611
dependabot/submodules/rewriter-edd0611
November 4, 2024 08:41 3m 29s
Bump rewriter from e4d987c to edd0611 Test Generated Rust #5710: Commit 21376e6 pushed by dependabot bot
November 4, 2024 08:41 3m 5s dependabot/submodules/rewriter-edd0611
dependabot/submodules/rewriter-edd0611
November 4, 2024 08:41 3m 5s
Require Import BinNat before using it in ParseArithmetic.v Test Generated Rust #5709: Commit 9bf41bc pushed by andres-erbsen
November 3, 2024 20:29 3m 5s master
master
November 3, 2024 20:29 3m 5s
Require Import BinNat before using it in ParseArithmetic.v (for coq/coq#19801) Test Generated Rust #5708: Pull request #1980 opened by andres-erbsen
November 3, 2024 16:41 3m 15s andres-erbsen:less-ZArith_base
andres-erbsen:less-ZArith_base
November 3, 2024 16:41 3m 15s