Skip to content

Actions: robur-coop/flux

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
73 workflow runs
73 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Improve the bqueue module and provide a Flux.Sink.bqueue flux #50: Pull request #10 opened by dinosaure
1m 26s improve
improve
1m 26s
Improve the bqueue module and provide a Flux.Sink.bqueue flux #49: Commit 4b8e293 pushed by dinosaure
1m 32s improve
improve
1m 32s
flux documentation flux documentation #20: completed by dinosaure
1m 48s
1m 48s
Add ptime as a dependency for fluxt flux #48: Commit df8f86c pushed by dinosaure
1m 21s main
main
1m 21s
flux documentation flux documentation #19: completed by dinosaure
1m 53s
1m 53s
Merge pull request #9 from robur-coop/prepare-v0.0.1_beta2 flux #47: Commit ce8dd51 pushed by dinosaure
1m 28s main
main
1m 28s
Prepare v0.0.1~beta2 flux #46: Pull request #9 opened by dinosaure
1m 29s prepare-v0.0.1_beta2
prepare-v0.0.1_beta2
1m 29s
Prepare v0.0.1~beta2 flux #45: Commit f9e5107 pushed by dinosaure
1m 27s prepare-v0.0.1_beta2
prepare-v0.0.1_beta2
1m 27s
flux flux #44: by dinosaure
1m 38s v0.0.1_beta2
v0.0.1_beta2
1m 38s
flux documentation flux documentation #18: completed by dinosaure
1m 38s
1m 38s
Merge pull request #8 from robur-coop/angstrom flux #43: Commit 7c4d873 pushed by dinosaure
1m 23s main
main
1m 23s
Add Flux_angstrom flux #42: Pull request #8 synchronize by dinosaure
1m 21s angstrom
angstrom
1m 21s
Fix flux_angstrom.ml flux #41: Commit 48207c3 pushed by dinosaure
1m 26s angstrom
angstrom
1m 26s
Add Flux_angstrom flux #40: Pull request #8 synchronize by dinosaure
1m 18s angstrom
angstrom
1m 18s
Add Flux_angstrom flux #39: Commit 1557fca pushed by dinosaure
1m 25s angstrom
angstrom
1m 25s
Add Flux_angstrom flux #38: Pull request #8 opened by dinosaure
1m 24s angstrom
angstrom
1m 24s
Add Flux_angstrom flux #37: Commit d096367 pushed by dinosaure
1m 18s angstrom
angstrom
1m 18s
flux documentation flux documentation #17: completed by dinosaure
1m 58s
1m 58s
Merge pull request #7 from robur-coop/zip flux #36: Commit f6cfa21 pushed by dinosaure
1m 18s main
main
1m 18s
Implement zip flux #35: Pull request #7 synchronize by dinosaure
1m 32s zip
zip
1m 32s
Improve the documentation of Flux_zip flux #34: Commit f47854c pushed by dinosaure
1m 25s zip
zip
1m 25s
Implement zip flux #33: Pull request #7 opened by dinosaure
1m 25s zip
zip
1m 25s
Continue flux #32: Commit c41450e pushed by dinosaure
1m 28s zip
zip
1m 28s
Add Flux_zip to create a zip file from a stream flux #31: Commit c1bff04 pushed by dinosaure
1m 37s zip
zip
1m 37s
flux documentation flux documentation #16: completed by dinosaure
1m 41s
1m 41s