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

Revert "Also install .wasm.map files" Test Generated Rust #5657: Pull request #1959 synchronize by JasonGross
September 21, 2024 01:09 54m 37s revert-1908-install-wasm-map
revert-1908-install-wasm-map
September 21, 2024 01:09 54m 37s
Revert "Also install .wasm.map files (#1908)" Test Generated Rust #5656: Commit ea87c81 pushed by JasonGross
September 21, 2024 01:09 50m 47s revert-1908-install-wasm-map
revert-1908-install-wasm-map
September 21, 2024 01:09 50m 47s
Don't sed wasm files, instead use subfolders to ensure the binary names are correct from the start Test Generated Rust #5655: Pull request #1961 synchronize by JasonGross
September 20, 2024 20:05 2h 10m 56s JasonGross:less-sed
JasonGross:less-sed
September 20, 2024 20:05 2h 10m 56s
Attempt to fix wasm_of_ocaml (#1958) Test Generated Rust #5654: Commit e1cc135 pushed by JasonGross
September 20, 2024 20:04 2h 8m 38s master
master
September 20, 2024 20:04 2h 8m 38s
[CI] [Windows] Attempt to fix Windows CI Test Generated Rust #5653: Pull request #1962 synchronize by JasonGross
September 20, 2024 18:23 51m 7s JasonGross:more-win-fix
JasonGross:more-win-fix
September 20, 2024 18:23 51m 7s
[CI] [Windows] Attempt to fix Windows CI Test Generated Rust #5652: Pull request #1962 synchronize by JasonGross
September 20, 2024 18:21 5m 44s JasonGross:more-win-fix
JasonGross:more-win-fix
September 20, 2024 18:21 5m 44s
Simpler attempt to fix wasm_of_ocaml Test Generated Rust #5651: Pull request #1960 synchronize by JasonGross
September 20, 2024 18:17 8m 26s JasonGross-patch-1
JasonGross-patch-1
September 20, 2024 18:17 8m 26s
install dune separately to avoid dune language support issues Test Generated Rust #5650: Commit 80266df pushed by JasonGross
September 20, 2024 18:17 8m 20s JasonGross-patch-1
JasonGross-patch-1
September 20, 2024 18:17 8m 20s
Don't sed wasm files, instead use subfolders to ensure the binary names are correct from the start Test Generated Rust #5649: Pull request #1961 synchronize by JasonGross
September 20, 2024 18:15 9m 28s JasonGross:less-sed
JasonGross:less-sed
September 20, 2024 18:15 9m 28s
[CI] [Windows] Attempt to fix Windows CI Test Generated Rust #5648: Pull request #1962 synchronize by JasonGross
September 20, 2024 18:11 3m 2s JasonGross:more-win-fix
JasonGross:more-win-fix
September 20, 2024 18:11 3m 2s
Bump rewriter from 19f344b to 1ce9f1a Test Generated Rust #5647: Pull request #1963 opened by dependabot bot
September 20, 2024 08:08 4h 32m 9s dependabot/submodules/rewriter-1ce9f1a
dependabot/submodules/rewriter-1ce9f1a
September 20, 2024 08:08 4h 32m 9s
Bump rewriter from 19f344b to 1ce9f1a Test Generated Rust #5646: Commit 1d4f271 pushed by dependabot bot
September 20, 2024 08:08 4h 31m 54s dependabot/submodules/rewriter-1ce9f1a
dependabot/submodules/rewriter-1ce9f1a
September 20, 2024 08:08 4h 31m 54s
[CI] [Windows] Attempt to fix Windows CI Test Generated Rust #5645: Pull request #1962 synchronize by JasonGross
September 20, 2024 05:35 7h 12m 6s JasonGross:more-win-fix
JasonGross:more-win-fix
September 20, 2024 05:35 7h 12m 6s
[CI] [Windows] Attempt to fix Windows CI Test Generated Rust #5644: Pull request #1962 opened by JasonGross
September 20, 2024 04:47 5h 8m 59s JasonGross:more-win-fix
JasonGross:more-win-fix
September 20, 2024 04:47 5h 8m 59s
Revert "Also install .wasm.map files" Test Generated Rust #5643: Pull request #1959 synchronize by JasonGross
September 20, 2024 04:01 7h 29m 44s revert-1908-install-wasm-map
revert-1908-install-wasm-map
September 20, 2024 04:01 7h 29m 44s
Revert "Also install .wasm.map files (#1908)" Test Generated Rust #5642: Commit 18d1042 pushed by JasonGross
September 20, 2024 04:01 6h 52m 9s revert-1908-install-wasm-map
revert-1908-install-wasm-map
September 20, 2024 04:01 6h 52m 9s
Don't sed wasm files, instead use subfolders to ensure the binary names are correct from the start Test Generated Rust #5641: Pull request #1961 synchronize by JasonGross
September 20, 2024 04:00 8h 29m 40s JasonGross:less-sed
JasonGross:less-sed
September 20, 2024 04:00 8h 29m 40s
Simpler attempt to fix wasm_of_ocaml Test Generated Rust #5640: Pull request #1960 synchronize by JasonGross
September 20, 2024 03:55 8h 30m 34s JasonGross-patch-1
JasonGross-patch-1
September 20, 2024 03:55 8h 30m 34s
Update coq-docker.yml Test Generated Rust #5639: Commit 8dc165a pushed by JasonGross
September 20, 2024 03:55 6h 41m 59s JasonGross-patch-1
JasonGross-patch-1
September 20, 2024 03:55 6h 41m 59s
[CI] [Windows] fix git config with bash Test Generated Rust #5638: Commit d8b0508 pushed by JasonGross
September 20, 2024 03:52 6h 44m 7s master
master
September 20, 2024 03:52 6h 44m 7s
Simpler attempt to fix wasm_of_ocaml Test Generated Rust #5637: Pull request #1960 synchronize by JasonGross
September 20, 2024 00:29 3h 25m 59s JasonGross-patch-1
JasonGross-patch-1
September 20, 2024 00:29 3h 25m 59s
Update coq-docker.yml Test Generated Rust #5636: Commit 26434f1 pushed by JasonGross
September 20, 2024 00:29 9h 35m 26s JasonGross-patch-1
JasonGross-patch-1
September 20, 2024 00:29 9h 35m 26s
[CI] Adjust Windows opam config for ocaml/setup-ocaml 3 (#1939) Test Generated Rust #5635: Commit 15f63d0 pushed by JasonGross
September 20, 2024 00:29 9h 35m 33s master
master
September 20, 2024 00:29 9h 35m 33s
Bump ocaml/setup-ocaml from 2 to 3 Test Generated Rust #5634: Pull request #1939 synchronize by JasonGross
September 20, 2024 00:28 10h 3m 19s dependabot/github_actions/ocaml/setup-ocaml-3
dependabot/github_actions/ocaml/setup-ocaml-3
September 20, 2024 00:28 10h 3m 19s
Update coq-opam-package.yml Test Generated Rust #5633: Commit d2e3c2e pushed by JasonGross
September 20, 2024 00:28 8h 50m 48s dependabot/github_actions/ocaml/setup-ocaml-3
dependabot/github_actions/ocaml/setup-ocaml-3
September 20, 2024 00:28 8h 50m 48s