Skip to content

Actions: formalsec/wasp

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
13 workflow runs
13 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Disable problematic tests Build #13: Commit da621f2 pushed by filipeom
August 28, 2024 07:48 15m 50s main
main
August 28, 2024 07:48 15m 50s
Allow wasp to run the same benchmarks as owi Build #12: Commit 481eadf pushed by filipeom
August 27, 2024 15:08 15m 42s main
main
August 27, 2024 15:08 15m 42s
Cleanup unit tests Build #11: Commit 187f013 pushed by filipeom
August 26, 2024 13:11 16m 21s main
main
August 26, 2024 13:11 16m 21s
Add more passing tests Build #10: Commit 0f1dee1 pushed by filipeom
August 25, 2024 20:59 15m 48s main
main
August 25, 2024 20:59 15m 48s
Format code Build #9: Commit 7df878b pushed by filipeom
August 25, 2024 19:43 15m 20s main
main
August 25, 2024 19:43 15m 20s
Remove python wasp-c and move c frontend to src Build #8: Commit 269d8d2 pushed by filipeom
August 25, 2024 18:53 15m 40s main
main
August 25, 2024 18:53 15m 40s
Add z3 dependency Build #7: Commit 721ffe4 pushed by filipeom
August 24, 2024 09:20 18m 50s main
main
August 24, 2024 09:20 18m 50s
Make wasp usable and benchmarkable again Build #6: Pull request #2 synchronize by filipeom
August 24, 2024 09:04 15m 36s makeing-usable-again
makeing-usable-again
August 24, 2024 09:04 15m 36s
Make wasp usable and benchmarkable again Build #5: Pull request #2 synchronize by filipeom
August 24, 2024 09:03 4m 49s makeing-usable-again
makeing-usable-again
August 24, 2024 09:03 4m 49s
Make wasp usable and benchmarkable again Build #4: Pull request #2 synchronize by filipeom
August 24, 2024 09:02 4m 24s makeing-usable-again
makeing-usable-again
August 24, 2024 09:02 4m 24s
Make wasp usable and benchmarkable again Build #3: Pull request #2 synchronize by filipeom
August 24, 2024 07:54 4m 49s makeing-usable-again
makeing-usable-again
August 24, 2024 07:54 4m 49s
Make wasp usable and benchmarkable again Build #2: Pull request #2 synchronize by filipeom
August 23, 2024 09:49 8m 18s makeing-usable-again
makeing-usable-again
August 23, 2024 09:49 8m 18s
Make wasp usable and benchmarkable again Build #1: Pull request #2 synchronize by filipeom
August 23, 2024 09:47 13s makeing-usable-again
makeing-usable-again
August 23, 2024 09:47 13s