Skip to content

Actions: bobot/ocaml-flint

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
60 workflow runs
60 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Use Camlid for stub generation Opam Dependency Submission #20: Pull request #10 synchronize by bobot
2m 5s camlid
camlid
2m 5s
Use Camlid for stub generation Build and Test #20: Pull request #10 synchronize by bobot
5m 55s camlid
camlid
5m 55s
Use Camlid for stub generation Lint #20: Pull request #10 synchronize by bobot
2m 39s camlid
camlid
2m 39s
Camlid is published remove pin Lint #19: Commit d29ea7e pushed by bobot
4m 29s camlid
camlid
4m 29s
Camlid is published remove pin Opam Dependency Submission #19: Commit d29ea7e pushed by bobot
2m 10s camlid
camlid
2m 10s
Camlid is published remove pin Build and Test #19: Commit d29ea7e pushed by bobot
6m 20s camlid
camlid
6m 20s
Use Camlid for stub generation Build and Test #18: Pull request #10 synchronize by bobot
4m 54s camlid
camlid
4m 54s
Use Camlid for stub generation Opam Dependency Submission #18: Pull request #10 synchronize by bobot
2m 7s camlid
camlid
2m 7s
Use Camlid for stub generation Lint #18: Pull request #10 synchronize by bobot
2m 38s camlid
camlid
2m 38s
Default prec of 0 dangerous on arm32 Build and Test #17: Commit 69548e9 pushed by bobot
6m 32s camlid
camlid
6m 32s
Default prec of 0 dangerous on arm32 Opam Dependency Submission #17: Commit 69548e9 pushed by bobot
2m 19s camlid
camlid
2m 19s
Default prec of 0 dangerous on arm32 Lint #17: Commit 69548e9 pushed by bobot
2m 55s camlid
camlid
2m 55s
Use Camlid for stub generation Lint #16: Pull request #10 synchronize by bobot
2m 47s camlid
camlid
2m 47s
Use Camlid for stub generation Opam Dependency Submission #16: Pull request #10 synchronize by bobot
2m 2s camlid
camlid
2m 2s
Use Camlid for stub generation Build and Test #16: Pull request #10 synchronize by bobot
7m 51s camlid
camlid
7m 51s
Remove even for dev -Werror, since there are warnings in flint header. Build and Test #15: Commit e246c5d pushed by bobot
4m 52s camlid
camlid
4m 52s
Remove even for dev -Werror, since there are warnings in flint header. Opam Dependency Submission #15: Commit e246c5d pushed by bobot
1m 59s camlid
camlid
1m 59s
Remove even for dev -Werror, since there are warnings in flint header. Lint #15: Commit e246c5d pushed by bobot
2m 43s camlid
camlid
2m 43s
Use Camlid for stub generation Build and Test #14: Pull request #10 synchronize by bobot
5m 9s camlid
camlid
5m 9s
Use Camlid for stub generation Opam Dependency Submission #14: Pull request #10 synchronize by bobot
3m 5s camlid
camlid
3m 5s
Use Camlid for stub generation Lint #14: Pull request #10 synchronize by bobot
3m 45s camlid
camlid
3m 45s
Format dune file Lint #13: Commit b09499b pushed by bobot
4m 6s camlid
camlid
4m 6s
Format dune file Opam Dependency Submission #13: Commit b09499b pushed by bobot
2m 5s camlid
camlid
2m 5s
Format dune file Build and Test #13: Commit b09499b pushed by bobot
5m 2s camlid
camlid
5m 2s
Use Camlid for stub generation Opam Dependency Submission #12: Pull request #10 synchronize by bobot
2m 5s camlid
camlid
2m 5s