Skip to content

Actions: Zeta611/stappl

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
115 workflow runs
115 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[ImgBot] Optimize images (#12) Builds, tests & co #115: Commit 5fcd218 pushed by Zeta611
June 13, 2024 03:06 6m 33s main
main
June 13, 2024 03:06 6m 33s
[ImgBot] Optimize images Builds, tests & co #114: Pull request #12 opened by imgbot bot
June 13, 2024 03:02 10m 16s imgbot
imgbot
June 13, 2024 03:02 10m 16s
[ImgBot] Optimize images Builds, tests & co #113: Commit 55b8c38 pushed by imgbot bot
June 13, 2024 03:02 6m 42s imgbot
imgbot
June 13, 2024 03:02 6m 42s
📝 Update the README.md Builds, tests & co #112: Commit afb1951 pushed by Zeta611
June 12, 2024 15:55 7m 37s main
main
June 12, 2024 15:55 7m 37s
🔧 Use OCaml 5.1 in CI Builds, tests & co #111: Commit ae3a62f pushed by Zeta611
June 12, 2024 08:41 11m 1s main
main
June 12, 2024 08:41 11m 1s
🔧 Fix stdcompat to the latest commit Builds, tests & co #110: Commit fa17cc2 pushed by Zeta611
June 12, 2024 08:23 10m 48s main
main
June 12, 2024 08:23 10m 48s
✨ Use OCaml bindings for Python with seaborn instead of PLplot Builds, tests & co #109: Commit dafc2a5 pushed by Zeta611
June 12, 2024 08:02 5m 0s main
main
June 12, 2024 08:02 5m 0s
[ImgBot] Optimize images (#9) Builds, tests & co #108: Commit 25ee366 pushed by Zeta611
June 12, 2024 04:12 9m 51s main
main
June 12, 2024 04:12 9m 51s
[ImgBot] Optimize images Builds, tests & co #107: Pull request #9 synchronize by imgbot bot
June 10, 2024 17:32 9m 59s imgbot
imgbot
June 10, 2024 17:32 9m 59s
[ImgBot] Optimize images Builds, tests & co #106: Commit a2a8811 pushed by imgbot bot
June 10, 2024 17:32 9m 35s imgbot
imgbot
June 10, 2024 17:32 9m 35s
[ImgBot] Optimize images Builds, tests & co #105: Pull request #9 synchronize by imgbot bot
June 10, 2024 17:17 10m 8s imgbot
imgbot
June 10, 2024 17:17 10m 8s
[ImgBot] Optimize images Builds, tests & co #104: Commit 96c056b pushed by imgbot bot
June 10, 2024 17:17 11m 26s imgbot
imgbot
June 10, 2024 17:17 11m 26s
🔥 Remove unused Score_invalid_arguments exn Builds, tests & co #103: Commit 54faea1 pushed by Zeta611
June 10, 2024 12:08 10m 3s main
main
June 10, 2024 12:08 10m 3s
✨ No more special pred type Builds, tests & co #102: Commit d14f871 pushed by Zeta611
June 10, 2024 12:03 9m 42s main
main
June 10, 2024 12:03 9m 42s
✨ No more special pred type Builds, tests & co #101: Commit 4462105 pushed by Zeta611
June 10, 2024 11:56 9m 49s main
main
June 10, 2024 11:56 9m 49s
✨ No more special pred type Builds, tests & co #100: Commit 28c240f pushed by Zeta611
June 10, 2024 11:53 9m 36s main
main
June 10, 2024 11:53 9m 36s
📝 Update README.md and print the empty predicate as true Builds, tests & co #99: Commit 0f20467 pushed by Zeta611
June 10, 2024 11:11 9m 45s main
main
June 10, 2024 11:11 9m 45s
✨ Completely type-safe implementations via GADTs Builds, tests & co #98: Commit 1a1a9e7 pushed by Zeta611
June 10, 2024 11:02 9m 29s main
main
June 10, 2024 11:02 9m 29s
♻️ Eliminate "dumb" matches leveraging "smart" types Builds, tests & co #97: Commit 50bdae9 pushed by Zeta611
June 9, 2024 18:52 9m 40s main
main
June 9, 2024 18:52 9m 40s
♻️ Make type names more consistent and move Printing module Builds, tests & co #96: Commit 35fcfb2 pushed by Zeta611
June 9, 2024 16:10 11m 32s main
main
June 9, 2024 16:10 11m 32s
♻️ Make type names more consistent and move Printing module Builds, tests & co #95: Commit 9b63966 pushed by Zeta611
June 9, 2024 16:08 9m 39s main
main
June 9, 2024 16:08 9m 39s
♻️ Refactor if statement unification Builds, tests & co #94: Commit ab18585 pushed by Zeta611
June 9, 2024 14:59 9m 41s main
main
June 9, 2024 14:59 9m 41s
➕ Add dependencies Builds, tests & co #93: Commit eda049f pushed by Zeta611
June 9, 2024 12:32 10m 6s main
main
June 9, 2024 12:32 10m 6s
➕ Add dependencies Builds, tests & co #92: Commit d9fa0bf pushed by Zeta611
June 9, 2024 12:32 9m 28s main
main
June 9, 2024 12:32 9m 28s
[ImgBot] Optimize images Builds, tests & co #91: Pull request #9 synchronize by imgbot bot
June 9, 2024 10:20 9m 24s imgbot
imgbot
June 9, 2024 10:20 9m 24s