Skip to content

Actions: DavidMazarro/wasm-verify

Actions

Build

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build.yml
4 workflow runs
4 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

docs: Updated example in usage instructions Build #64: Commit 11ee986 pushed by DavidMazarro
March 3, 2024 16:24 8m 24s main
main
March 3, 2024 16:24 8m 24s
ci: Modified GHC matrix Build #63: Commit cd0575f pushed by DavidMazarro
March 3, 2024 16:14 8m 27s main
main
March 3, 2024 16:14 8m 27s
docs: Install instructions no longer misleading Build #62: Commit 03fafa4 pushed by DavidMazarro
March 3, 2024 16:12 2m 54s main
main
March 3, 2024 16:12 2m 54s
Added link to published thesis Build #61: Commit 84f31a2 pushed by DavidMazarro
September 15, 2023 09:51 9m 21s main
main
September 15, 2023 09:51 9m 21s