Skip to content

Actions: whitequark/ocaml-inotify

Actions

build

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
main.yml
20 workflow runs
20 workflow runs
Event

Filter by event

Loading
Status

Filter by status

Loading
Branch
Actor

Filter by actor

Loading
Fix GH Pages build. build #32: Commit b9cadad pushed by whitequark
April 25, 2024 09:43 5m 57s master
master
April 25, 2024 09:43 5m 57s
Fix github pages build #31: Pull request #26 opened by clecat
April 25, 2024 09:34 5m 44s clecat:master
clecat:master
April 25, 2024 09:34 5m 44s
Add an Eio backend (#25) build #30: Commit baf8922 pushed by whitequark
April 24, 2024 17:00 11m 38s master
master
April 24, 2024 17:00 11m 38s
Add an Eio backend build #29: Pull request #25 synchronize by clecat
April 24, 2024 15:31 6m 27s clecat:eio
clecat:eio
April 24, 2024 15:31 6m 27s
Add an Eio backend build #28: Pull request #25 synchronize by clecat
April 23, 2024 16:46 5m 22s clecat:eio
clecat:eio
April 23, 2024 16:46 5m 22s
Add an Eio backend build #27: Pull request #25 synchronize by clecat
April 23, 2024 16:31 4m 0s clecat:eio
clecat:eio
April 23, 2024 16:31 4m 0s
Add an Eio backend build #26: Pull request #25 synchronize by clecat
April 23, 2024 16:24 3m 57s clecat:eio
clecat:eio
April 23, 2024 16:24 3m 57s
Add an Eio backend build #25: Pull request #25 synchronize by clecat
April 23, 2024 16:13 2m 37s clecat:eio
clecat:eio
April 23, 2024 16:13 2m 37s
Add an Eio backend build #24: Pull request #25 by clecat
April 23, 2024 16:12 Failure clecat:eio
clecat:eio
April 23, 2024 16:12 Failure
Add an Eio backend build #23: Pull request #25 synchronize by clecat
April 23, 2024 16:07 1m 58s clecat:eio
clecat:eio
April 23, 2024 16:07 1m 58s
Add an Eio backend build #22: Pull request #25 synchronize by clecat
April 23, 2024 16:02 19s clecat:eio
clecat:eio
April 23, 2024 16:02 19s
Add an Eio backend build #21: Pull request #25 synchronize by clecat
April 23, 2024 15:55 2m 10s clecat:eio
clecat:eio
April 23, 2024 15:55 2m 10s
Add an Eio backend build #20: Pull request #25 synchronize by clecat
April 23, 2024 15:27 2m 7s clecat:eio
clecat:eio
April 23, 2024 15:27 2m 7s
Add an Eio backend build #19: Pull request #25 synchronize by clecat
April 23, 2024 15:19 2m 6s clecat:eio
clecat:eio
April 23, 2024 15:19 2m 6s
Add an Eio backend build #18: Pull request #25 opened by clecat
April 18, 2024 17:20 6m 40s clecat:eio
clecat:eio
April 18, 2024 17:20 6m 40s
prepare for 2.5 build #17: Commit 5e58536 pushed by c-cube
November 21, 2023 20:26 5m 33s master
master
November 21, 2023 20:26 5m 33s
dune: add dependency to unix library build #16: Commit a1f60f5 pushed by c-cube
November 21, 2023 18:17 10m 44s master
master
November 21, 2023 18:17 10m 44s
dune: add dependency to unix library build #15: Pull request #24 opened by psafont
November 21, 2023 17:20 10m 34s psafont:unix
psafont:unix
November 21, 2023 17:20 10m 34s
adds pure operators build #14: Commit 73cd64d pushed by whitequark
August 4, 2023 13:27 13m 34s master
master
August 4, 2023 13:27 13m 34s
adds pure operators build #13: Pull request #23 opened by ivg
August 3, 2023 15:34 11m 17s ivg:adds-pure-operators
ivg:adds-pure-operators
August 3, 2023 15:34 11m 17s