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

Avoid error: wrong number of arguments, should be 2 in Windows opam CI Test Generated Rust #5632: Commit 23e42a9 pushed by JasonGross
September 20, 2024 00:11 6h 44m 51s master
master
September 20, 2024 00:11 6h 44m 51s
Simpler attempt to fix wasm_of_ocaml Test Generated Rust #5631: Pull request #1960 synchronize by JasonGross
September 19, 2024 23:56 6h 34m 5s JasonGross-patch-1
JasonGross-patch-1
September 19, 2024 23:56 6h 34m 5s
Update coq-docker.yml Test Generated Rust #5630: Commit 11ef029 pushed by JasonGross
September 19, 2024 23:56 6h 58m 44s JasonGross-patch-1
JasonGross-patch-1
September 19, 2024 23:56 6h 58m 44s
Don't sed wasm files, instead use subfolders to ensure the binary names are correct from the start Test Generated Rust #5629: Pull request #1961 synchronize by JasonGross
September 19, 2024 23:55 6h 59m 38s JasonGross:less-sed
JasonGross:less-sed
September 19, 2024 23:55 6h 59m 38s
Bump ocaml/setup-ocaml from 2 to 3 Test Generated Rust #5628: Pull request #1939 synchronize by JasonGross
September 19, 2024 23:49 38m 30s dependabot/github_actions/ocaml/setup-ocaml-3
dependabot/github_actions/ocaml/setup-ocaml-3
September 19, 2024 23:49 38m 30s
Update coq-opam-package.yml Test Generated Rust #5627: Commit 26e8516 pushed by JasonGross
September 19, 2024 23:49 7h 4m 42s dependabot/github_actions/ocaml/setup-ocaml-3
dependabot/github_actions/ocaml/setup-ocaml-3
September 19, 2024 23:49 7h 4m 42s
Don't rely on CYGWIN_ROOT in opam Windows CI Test Generated Rust #5626: Commit 0e6b3e8 pushed by JasonGross
September 19, 2024 23:49 7h 3m 23s master
master
September 19, 2024 23:49 7h 3m 23s
Bump ocaml/setup-ocaml from 2 to 3 Test Generated Rust #5625: Pull request #1939 synchronize by JasonGross
September 19, 2024 23:47 2m 0s dependabot/github_actions/ocaml/setup-ocaml-3
dependabot/github_actions/ocaml/setup-ocaml-3
September 19, 2024 23:47 2m 0s
Update coq-opam-package.yml Test Generated Rust #5624: Commit 14bf037 pushed by JasonGross
September 19, 2024 23:47 7h 4m 58s dependabot/github_actions/ocaml/setup-ocaml-3
dependabot/github_actions/ocaml/setup-ocaml-3
September 19, 2024 23:47 7h 4m 58s
Bump ocaml/setup-ocaml from 2 to 3 Test Generated Rust #5623: Pull request #1939 synchronize by JasonGross
September 19, 2024 23:39 7m 54s dependabot/github_actions/ocaml/setup-ocaml-3
dependabot/github_actions/ocaml/setup-ocaml-3
September 19, 2024 23:39 7m 54s
Don't indirect through bash Test Generated Rust #5622: Commit 0cae4fe pushed by JasonGross
September 19, 2024 23:39 7h 10m 9s dependabot/github_actions/ocaml/setup-ocaml-3
dependabot/github_actions/ocaml/setup-ocaml-3
September 19, 2024 23:39 7h 10m 9s
Bump ocaml/setup-ocaml from 2 to 3 Test Generated Rust #5621: Pull request #1939 synchronize by JasonGross
September 19, 2024 23:38 2h 3m 18s dependabot/github_actions/ocaml/setup-ocaml-3
dependabot/github_actions/ocaml/setup-ocaml-3
September 19, 2024 23:38 2h 3m 18s
Update coq-windows.yml Test Generated Rust #5620: Commit a767d6e pushed by JasonGross
September 19, 2024 23:38 4h 32m 45s dependabot/github_actions/ocaml/setup-ocaml-3
dependabot/github_actions/ocaml/setup-ocaml-3
September 19, 2024 23:38 4h 32m 45s
Don't rely on CYGWIN_ROOT in windows config (For #1939) Test Generated Rust #5619: Commit 1bca15a pushed by JasonGross
September 19, 2024 23:38 3h 50m 16s master
master
September 19, 2024 23:38 3h 50m 16s
Adapt to https://github.com/coq/coq/pull/19530 (#1957) Test Generated Rust #5618: Commit 7f0f40a pushed by JasonGross
September 19, 2024 19:05 4h 0m 44s master
master
September 19, 2024 19:05 4h 0m 44s
Don't sed wasm files, instead use subfolders to ensure the binary names are correct from the start Test Generated Rust #5617: Pull request #1961 opened by JasonGross
September 19, 2024 19:04 3h 52m 49s JasonGross:less-sed
JasonGross:less-sed
September 19, 2024 19:04 3h 52m 49s
Simpler attempt to fix wasm_of_ocaml Test Generated Rust #5616: Pull request #1960 opened by JasonGross
September 19, 2024 18:36 4h 18m 18s JasonGross-patch-1
JasonGross-patch-1
September 19, 2024 18:36 4h 18m 18s
Simpler attempt to fix wasm_of_ocaml Test Generated Rust #5615: Commit cf17272 pushed by JasonGross
September 19, 2024 18:35 4h 18m 38s JasonGross-patch-1
JasonGross-patch-1
September 19, 2024 18:35 4h 18m 38s
Reorder system info Test Generated Rust #5614: Commit 4322df2 pushed by JasonGross
September 19, 2024 18:32 4h 9m 41s master
master
September 19, 2024 18:32 4h 9m 41s
List more files on github actions make Test Generated Rust #5613: Commit 8334b84 pushed by JasonGross
September 19, 2024 18:27 45m 10s master
master
September 19, 2024 18:27 45m 10s
Revert "Also install .wasm.map files" Test Generated Rust #5612: Pull request #1959 opened by JasonGross
September 19, 2024 18:23 3m 3s revert-1908-install-wasm-map
revert-1908-install-wasm-map
September 19, 2024 18:23 3m 3s
Revert "Also install .wasm.map files (#1908)" Test Generated Rust #5611: Commit 20271ad pushed by JasonGross
September 19, 2024 18:22 3m 9s revert-1908-install-wasm-map
revert-1908-install-wasm-map
September 19, 2024 18:22 3m 9s
Attempt to fix wasm_of_ocaml Test Generated Rust #5610: Pull request #1958 synchronize by JasonGross
September 18, 2024 19:58 3m 16s update-wasm-of-ocaml
update-wasm-of-ocaml
September 18, 2024 19:58 3m 16s
Update coq-docker.yml Test Generated Rust #5609: Commit 96ef9ac pushed by JasonGross
September 18, 2024 19:58 3m 12s update-wasm-of-ocaml
update-wasm-of-ocaml
September 18, 2024 19:58 3m 12s
Attempt to fix wasm_of_ocaml Test Generated Rust #5608: Pull request #1958 synchronize by JasonGross
September 18, 2024 07:42 3m 20s update-wasm-of-ocaml
update-wasm-of-ocaml
September 18, 2024 07:42 3m 20s