Skip to content

Actions: mit-plv/fiat-crypto

Actions

Test Generated Rust

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
rust.yml
725 workflow runs
725 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Bump JamesIves/github-pages-deploy-action from 4.6.4 to 4.6.8 Test Generated Rust #5673: Pull request #1969 opened by dependabot bot
September 30, 2024 04:40 3m 18s dependabot/github_actions/JamesIves/github-pages-deploy-action-4.6.8
dependabot/github_actions/JamesIves/github-pages-deploy-action-4.6.8
September 30, 2024 04:40 3m 18s
Bump JamesIves/github-pages-deploy-action from 4.6.4 to 4.6.8 Test Generated Rust #5672: Commit 81ac559 pushed by dependabot bot
September 30, 2024 04:40 3m 27s dependabot/github_actions/JamesIves/github-pages-deploy-action-4.6.8
dependabot/github_actions/JamesIves/github-pages-deploy-action-4.6.8
September 30, 2024 04:40 3m 27s
Bump rupicola from d55f2d7 to e7771d9 Test Generated Rust #5671: Pull request #1968 opened by dependabot bot
September 25, 2024 08:34 3m 14s dependabot/submodules/rupicola-e7771d9
dependabot/submodules/rupicola-e7771d9
September 25, 2024 08:34 3m 14s
Bump rupicola from d55f2d7 to e7771d9 Test Generated Rust #5670: Commit 95e05ee pushed by dependabot bot
September 25, 2024 08:34 3m 24s dependabot/submodules/rupicola-e7771d9
dependabot/submodules/rupicola-e7771d9
September 25, 2024 08:34 3m 24s
Bump actions/setup-java from 4.3.0 to 4.4.0 Test Generated Rust #5669: Pull request #1967 opened by dependabot bot
September 25, 2024 04:48 3m 9s dependabot/github_actions/actions/setup-java-4.4.0
dependabot/github_actions/actions/setup-java-4.4.0
September 25, 2024 04:48 3m 9s
Bump actions/setup-java from 4.3.0 to 4.4.0 Test Generated Rust #5668: Commit 4388a9b pushed by dependabot bot
September 25, 2024 04:48 3m 11s dependabot/github_actions/actions/setup-java-4.4.0
dependabot/github_actions/actions/setup-java-4.4.0
September 25, 2024 04:48 3m 11s
Actually install the wasm of ocaml files Test Generated Rust #5667: Commit 48e00c6 pushed by JasonGross
September 22, 2024 04:49 1h 30m 0s master
master
September 22, 2024 04:49 1h 30m 0s
Add support for wasm files in assets subdirectory (#1966) Test Generated Rust #5666: Commit 025f0b8 pushed by JasonGross
September 22, 2024 04:44 3m 12s master
master
September 22, 2024 04:44 3m 12s
Add support for wasm files in assets subdirectory Test Generated Rust #5665: Pull request #1966 synchronize by JasonGross
September 21, 2024 17:59 3m 1s JasonGross:wasm-subfolders
JasonGross:wasm-subfolders
September 21, 2024 17:59 3m 1s
Add support for wasm files in assets subdirectory Test Generated Rust #5664: Pull request #1966 synchronize by JasonGross
September 21, 2024 02:13 5h 9m 14s JasonGross:wasm-subfolders
JasonGross:wasm-subfolders
September 21, 2024 02:13 5h 9m 14s
Bump rewriter from 19f344b to 1ce9f1a Test Generated Rust #5663: Pull request #1963 synchronize by dependabot bot
September 21, 2024 02:13 4h 36m 5s dependabot/submodules/rewriter-1ce9f1a
dependabot/submodules/rewriter-1ce9f1a
September 21, 2024 02:13 4h 36m 5s
Bump rewriter from 19f344b to 1ce9f1a Test Generated Rust #5662: Commit a2fba9b pushed by dependabot bot
September 21, 2024 02:12 4h 33m 45s dependabot/submodules/rewriter-1ce9f1a
dependabot/submodules/rewriter-1ce9f1a
September 21, 2024 02:12 4h 33m 45s
Don't sed wasm files, instead use subfolders to ensure the binary nam… Test Generated Rust #5661: Commit 30b7261 pushed by JasonGross
September 21, 2024 02:11 4h 21m 47s master
master
September 21, 2024 02:11 4h 21m 47s
Add support for wasm files in assets subdirectory Test Generated Rust #5660: Pull request #1966 synchronize by JasonGross
September 21, 2024 02:09 4m 40s JasonGross:wasm-subfolders
JasonGross:wasm-subfolders
September 21, 2024 02:09 4m 40s
Add support for wasm files in assets subdirectory Test Generated Rust #5659: Pull request #1966 opened by JasonGross
September 21, 2024 01:43 1h 0m 55s JasonGross:wasm-subfolders
JasonGross:wasm-subfolders
September 21, 2024 01:43 1h 0m 55s
[CI] [Windows] Attempt to fix Windows CI (#1962) Test Generated Rust #5658: Commit 9757358 pushed by JasonGross
September 21, 2024 01:09 54m 7s master
master
September 21, 2024 01:09 54m 7s
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