Skip to content

Actions: OCamlPro/owi

Actions

deploy

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
deploy.yml
304 workflow runs
304 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Bump tarides/changelog-check-action from 2 to 3 deploy #377: Commit 113a08b pushed by zapashcanon
August 6, 2024 09:02 1m 39s main
main
August 6, 2024 09:02 1m 39s
Add output dir and tables in zulip notification deploy #376: Commit 55f7fa8 pushed by zapashcanon
August 3, 2024 09:04 5m 50s main
main
August 3, 2024 09:04 5m 50s
clean code and improve code coverage deploy #375: Commit 9888171 pushed by zapashcanon
August 3, 2024 00:06 7m 4s main
main
August 3, 2024 00:06 7m 4s
install ocb in deploy CI deploy #374: Commit a9e4bb7 pushed by zapashcanon
August 2, 2024 18:27 20m 51s main
main
August 2, 2024 18:27 20m 51s
install Z3 in CI for coverage deploy #373: Commit 80c87da pushed by zapashcanon
August 2, 2024 17:49 20m 4s main
main
August 2, 2024 17:49 20m 4s
install bisect_ppx before coverage deploy #372: Commit c1ae556 pushed by zapashcanon
August 2, 2024 17:40 7m 1s main
main
August 2, 2024 17:40 7m 1s
add missing sudo in deploy action deploy #371: Commit 2d068d3 pushed by zapashcanon
August 2, 2024 17:30 5m 19s main
main
August 2, 2024 17:30 5m 19s
fix med computation deploy #370: Commit 3d73aad pushed by zapashcanon
August 2, 2024 16:56 1m 44s main
main
August 2, 2024 16:56 1m 44s
better diff between benchs runs deploy #369: Commit 9fb1f32 pushed by zapashcanon
August 2, 2024 16:48 1m 36s main
main
August 2, 2024 16:48 1m 36s
try to fix deploy CI deploy #368: Commit 5161084 pushed by zapashcanon
August 2, 2024 16:26 1m 42s main
main
August 2, 2024 16:26 1m 42s
Add flags --fail-on-trap-only and fail-on-assertion-only deploy #367: Commit c661ea0 pushed by zapashcanon
August 1, 2024 21:12 4m 59s main
main
August 1, 2024 21:12 4m 59s
Testcomp script zulip webhook integration deploy #366: Commit a99b768 pushed by zapashcanon
July 31, 2024 20:58 5m 9s main
main
July 31, 2024 20:58 5m 9s
Create parametric symbolic memory functor deploy #365: Commit 6efe62e pushed by zapashcanon
July 31, 2024 19:14 5m 5s main
main
July 31, 2024 19:14 5m 5s
Reintroduce symbolic_choice.mli deploy #364: Commit 48b0113 pushed by zapashcanon
July 31, 2024 12:44 5m 21s main
main
July 31, 2024 12:44 5m 21s
more warnings when compiling our C stdlib deploy #363: Commit 38f9024 pushed by zapashcanon
July 30, 2024 15:55 5m 9s main
main
July 30, 2024 15:55 5m 9s
CHANGELOG deploy #362: Commit 7931a3c pushed by zapashcanon
July 30, 2024 10:44 5m 16s main
main
July 30, 2024 10:44 5m 16s
update to latest prelude and smtml, add missings dev-setup deps deploy #361: Commit 15f4696 pushed by zapashcanon
July 26, 2024 16:32 5m 6s main
main
July 26, 2024 16:32 5m 6s
enable macOS CI again deploy #360: Commit d120a83 pushed by zapashcanon
July 26, 2024 16:03 3m 51s main
main
July 26, 2024 16:03 3m 51s
fix default value for global floats in spectest deploy #359: Commit a95648b pushed by zapashcanon
July 23, 2024 15:02 5m 38s main
main
July 23, 2024 15:02 5m 38s
parse inline quoted module in scripts deploy #358: Commit ad4a34d pushed by zapashcanon
July 23, 2024 14:44 5m 6s main
main
July 23, 2024 14:44 5m 6s
Update README.md deploy #357: Commit 1e8daa3 pushed by zapashcanon
July 23, 2024 14:12 5m 5s main
main
July 23, 2024 14:12 5m 5s
hint user about installing a solver if they plan to perform symbolic deploy #356: Commit 4e2ebae pushed by zapashcanon
July 23, 2024 12:08 4m 0s main
main
July 23, 2024 12:08 4m 0s
add apt update to CI deploy #355: Commit 23c71e9 pushed by zapashcanon
July 23, 2024 11:06 5m 11s main
main
July 23, 2024 11:06 5m 11s
Bump JamesIves/github-pages-deploy-action from 4.6.1 to 4.6.3 deploy #354: Commit e773b8f pushed by zapashcanon
July 23, 2024 08:33 5m 2s main
main
July 23, 2024 08:33 5m 2s
inline _or in test-comp.c deploy #353: Commit da85f7b pushed by zapashcanon
July 23, 2024 08:33 3m 39s main
main
July 23, 2024 08:33 3m 39s