Skip to content

Actions: savonet/ocaml-mem_usage

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
54 workflow runs
54 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Not available on freebsd. Doc build #26: Commit 9908046 pushed by toots
April 24, 2024 20:54 3m 5s main
main
April 24, 2024 20:54 3m 5s
Not available on freebsd. CI #41: Commit 9908046 pushed by toots
April 24, 2024 20:54 5m 30s main
main
April 24, 2024 20:54 5m 30s
Fix license. CI #40: Commit 9eebfa0 pushed by toots
April 18, 2024 15:23 5m 25s main
main
April 18, 2024 15:23 5m 25s
Fix license. Doc build #25: Commit 9eebfa0 pushed by toots
April 18, 2024 15:23 3m 12s main
main
April 18, 2024 15:23 3m 12s
Release. Doc build #24: Commit fa7ca68 pushed by toots
April 17, 2024 20:20 3m 24s main
main
April 17, 2024 20:20 3m 24s
Release. CI #39: Commit fa7ca68 pushed by toots
April 17, 2024 20:20 5m 51s main
main
April 17, 2024 20:20 5m 51s
Release. CI #38: Commit fa7ca68 pushed by toots
April 17, 2024 20:20 11m 48s v0.1.1
v0.1.1
April 17, 2024 20:20 11m 48s
pages build and deployment pages-build-deployment #10: by github-pages bot
April 17, 2024 18:31 24s gh-pages
gh-pages
April 17, 2024 18:31 24s
bump version. CI #37: Commit 01ccdb9 pushed by toots
April 17, 2024 18:28 4m 59s main
main
April 17, 2024 18:28 4m 59s
bump version. Doc build #23: Commit 01ccdb9 pushed by toots
April 17, 2024 18:28 3m 15s main
main
April 17, 2024 18:28 3m 15s
Fix typo Doc build #22: Commit e840f9d pushed by toots
April 17, 2024 18:11 4m 2s main
main
April 17, 2024 18:11 4m 2s
Fix typo CI #36: Commit e840f9d pushed by toots
April 17, 2024 18:11 7m 58s main
main
April 17, 2024 18:11 7m 58s
Fix win build CI #35: Commit 3886221 pushed by toots
April 17, 2024 18:08 3m 23s main
main
April 17, 2024 18:08 3m 23s
Fix win build Doc build #21: Commit 3886221 pushed by toots
April 17, 2024 18:08 3m 25s main
main
April 17, 2024 18:08 3m 25s
Add private and swapped process memory. Doc build #20: Commit f462999 pushed by toots
April 17, 2024 17:59 3m 25s main
main
April 17, 2024 17:59 3m 25s
Add private and swapped process memory. CI #34: Commit f462999 pushed by toots
April 17, 2024 17:59 9m 18s main
main
April 17, 2024 17:59 9m 18s
pages build and deployment pages-build-deployment #9: by github-pages bot
April 17, 2024 17:58 32s gh-pages
gh-pages
April 17, 2024 17:58 32s
Add private and swapped process memory. CI #33: Commit 16e142f pushed by toots
April 17, 2024 17:52 6m 51s main
main
April 17, 2024 17:52 6m 51s
Add private and swapped process memory. Doc build #19: Commit 16e142f pushed by toots
April 17, 2024 17:52 6m 19s main
main
April 17, 2024 17:52 6m 19s
Update README.md CI #32: Commit a415a38 pushed by toots
February 1, 2024 23:00 8m 4s main
main
February 1, 2024 23:00 8m 4s
Update README.md Doc build #18: Commit a415a38 pushed by toots
February 1, 2024 23:00 3m 2s main
main
February 1, 2024 23:00 3m 2s
Merge pull request #7 from vitoyucepi/license CI #31: Commit af66d69 pushed by toots
February 1, 2024 21:15 5m 45s main
main
February 1, 2024 21:15 5m 45s
Merge pull request #7 from vitoyucepi/license Doc build #17: Commit af66d69 pushed by toots
February 1, 2024 21:15 3m 14s main
main
February 1, 2024 21:15 3m 14s
pages build and deployment pages-build-deployment #8: by github-pages bot
January 31, 2024 19:37 33s gh-pages
gh-pages
January 31, 2024 19:37 33s
Fix doc action. Doc build #16: Commit a04b4cb pushed by toots
January 31, 2024 19:34 3m 1s main
main
January 31, 2024 19:34 3m 1s