Skip to content

Actions: OCamlPro/owi

Actions

build

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build.yml
1,229 workflow runs
1,229 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

typo build #1540: Commit d4250ce pushed by zapashcanon
November 15, 2024 11:41 46m 44s main
main
November 15, 2024 11:41 46m 44s
update note about funding and add LVP talk build #1539: Pull request #447 synchronize by zapashcanon
November 15, 2024 11:30 47m 24s zapashcanon:main
zapashcanon:main
November 15, 2024 11:30 47m 24s
update note about funding and add LVP talk build #1538: Pull request #447 synchronize by zapashcanon
November 15, 2024 11:00 46m 58s zapashcanon:main
zapashcanon:main
November 15, 2024 11:00 46m 58s
update note about funding and add LVP talk build #1537: Pull request #447 opened by zapashcanon
November 15, 2024 10:57 45m 4s zapashcanon:main
zapashcanon:main
November 15, 2024 10:57 45m 4s
remove cache from deploy CI because it always breaks build #1536: Pull request #446 synchronize by zapashcanon
November 12, 2024 17:17 38m 28s zapashcanon:cicicici
zapashcanon:cicicici
November 12, 2024 17:17 38m 28s
remove cache from deploy CI because it always breaks build #1535: Pull request #446 synchronize by zapashcanon
November 12, 2024 17:17 9m 55s zapashcanon:cicicici
zapashcanon:cicicici
November 12, 2024 17:17 9m 55s
remove cache from deploy CI because it always breaks build #1534: Pull request #446 synchronize by zapashcanon
November 12, 2024 16:04 13m 37s zapashcanon:cicicici
zapashcanon:cicicici
November 12, 2024 16:04 13m 37s
remove cache from deploy CI because it always breaks build #1533: Pull request #446 opened by zapashcanon
November 12, 2024 15:38 13m 0s zapashcanon:cicicici
zapashcanon:cicicici
November 12, 2024 15:38 13m 0s
Bump JamesIves/github-pages-deploy-action from 4.6.8 to 4.6.9 build #1532: Commit b6c6b60 pushed by zapashcanon
November 12, 2024 11:34 13m 33s main
main
November 12, 2024 11:34 13m 33s
Bump JamesIves/github-pages-deploy-action from 4.6.8 to 4.6.9 build #1531: Pull request #445 opened by dependabot bot
November 11, 2024 21:30 11m 28s dependabot/github_actions/JamesIves/github-pages-deploy-action-4.6.9
dependabot/github_actions/JamesIves/github-pages-deploy-action-4.6.9
November 11, 2024 21:30 11m 28s
Bump smtml to 0.3.1 build #1530: Commit 192de5f pushed by zapashcanon
November 7, 2024 16:46 20m 36s main
main
November 7, 2024 16:46 20m 36s
Bump smtml to 0.3.1 build #1529: Pull request #444 opened by filipeom
November 7, 2024 16:26 17m 57s filipeom:bump-smtml
filipeom:bump-smtml
November 7, 2024 16:26 17m 57s
Update dune-project build #1528: Commit ffdcb51 pushed by zapashcanon
October 16, 2024 14:45 28m 10s main
main
October 16, 2024 14:45 28m 10s
Add missing '>' in Arthur's email in dune-project build #1527: Pull request #443 synchronize by filipeom
October 16, 2024 14:43 25m 12s filipeom-patch-1
filipeom-patch-1
October 16, 2024 14:43 25m 12s
Add missing '>' in Arthur's email in dune-project build #1526: Pull request #443 opened by filipeom
October 16, 2024 14:38 30m 3s filipeom-patch-1
filipeom-patch-1
October 16, 2024 14:38 30m 3s
add owi replay build #1525: Pull request #442 opened by zapashcanon
October 8, 2024 22:26 24m 12s zapashcanon:replay
zapashcanon:replay
October 8, 2024 22:26 24m 12s
Bump JamesIves/github-pages-deploy-action from 4.6.4 to 4.6.8 build #1524: Commit 2487ca5 pushed by zapashcanon
October 1, 2024 11:40 29m 39s main
main
October 1, 2024 11:40 29m 39s
Bump JamesIves/github-pages-deploy-action from 4.6.4 to 4.6.8 build #1523: Pull request #441 opened by dependabot bot
September 30, 2024 21:28 28m 3s 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 21:28 28m 3s
Allow writing function contracts in webassembly code build #1522: Pull request #407 synchronize by Laplace-Demon
September 17, 2024 08:31 29m 26s Laplace-Demon:spec
Laplace-Demon:spec
September 17, 2024 08:31 29m 26s
Allow writing function contracts in webassembly code build #1521: Pull request #407 synchronize by Laplace-Demon
September 6, 2024 13:10 8m 50s Laplace-Demon:spec
Laplace-Demon:spec
September 6, 2024 13:10 8m 50s
Allow writing function contracts in webassembly code build #1520: Pull request #407 synchronize by Laplace-Demon
September 6, 2024 12:39 8m 54s Laplace-Demon:spec
Laplace-Demon:spec
September 6, 2024 12:39 8m 54s
Allow writing function contracts in webassembly code build #1519: Pull request #407 synchronize by Laplace-Demon
September 6, 2024 12:24 8m 54s Laplace-Demon:spec
Laplace-Demon:spec
September 6, 2024 12:24 8m 54s
Allow writing function contracts in webassembly code build #1518: Pull request #407 synchronize by Laplace-Demon
September 6, 2024 09:19 8m 54s Laplace-Demon:spec
Laplace-Demon:spec
September 6, 2024 09:19 8m 54s
Add btree dataset submodule build #1517: Commit 6ea1a80 pushed by zapashcanon
September 5, 2024 14:07 8m 25s main
main
September 5, 2024 14:07 8m 25s
Add btree dataset submodule build #1516: Pull request #435 opened by filipeom
September 5, 2024 10:59 6m 42s filipeom:add-btree
filipeom:add-btree
September 5, 2024 10:59 6m 42s