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 Builds, tests & co #90: Commit 2d6212f pushed by imgbot bot
June 9, 2024 10:20 9m 19s imgbot
imgbot
June 9, 2024 10:20 9m 19s
🎉 Type-safe random-variable/value/dist distinction Builds, tests & co #89: Commit 996cd9e pushed by Zeta611
June 9, 2024 10:05 9m 31s main
main
June 9, 2024 10:05 9m 31s
[ImgBot] Optimize images Builds, tests & co #88: Pull request #9 synchronize by imgbot bot
June 7, 2024 07:14 9m 15s imgbot
imgbot
June 7, 2024 07:14 9m 15s
[ImgBot] Optimize images Builds, tests & co #87: Commit b17c381 pushed by imgbot bot
June 7, 2024 07:14 9m 36s imgbot
imgbot
June 7, 2024 07:14 9m 36s
♻️ More refactoring Builds, tests & co #86: Commit a46f49e pushed by Zeta611
June 7, 2024 07:06 9m 33s main
main
June 7, 2024 07:06 9m 33s
♻️ More refactoring Builds, tests & co #85: Commit 3a512cb pushed by Zeta611
June 7, 2024 06:23 10m 20s main
main
June 7, 2024 06:23 10m 20s
♻️ Refactor into multiple modules again Builds, tests & co #84: Commit 631baf0 pushed by Zeta611
June 7, 2024 05:43 9m 21s main
main
June 7, 2024 05:43 9m 21s
[ImgBot] Optimize images Builds, tests & co #83: Pull request #9 synchronize by imgbot bot
June 7, 2024 04:29 10m 3s imgbot
imgbot
June 7, 2024 04:29 10m 3s
[ImgBot] Optimize images Builds, tests & co #82: Commit 1b4600c pushed by imgbot bot
June 7, 2024 04:29 9m 20s imgbot
imgbot
June 7, 2024 04:29 9m 20s
🚚 Rename typedprog -> typed_tree Builds, tests & co #81: Commit 4755c2c pushed by Zeta611
June 7, 2024 04:13 9m 34s main
main
June 7, 2024 04:13 9m 34s
Implement primitive typechecker (#11) Builds, tests & co #80: Commit 19d2cf8 pushed by Zeta611
June 7, 2024 04:11 9m 38s main
main
June 7, 2024 04:11 9m 38s
Implement primitive typechecker Builds, tests & co #79: Pull request #11 opened by LimitEpsilon
June 7, 2024 04:09 9m 32s LimitEpsilon:main
LimitEpsilon:main
June 7, 2024 04:09 9m 32s
🚚 Separate typed_tree module Builds, tests & co #78: Commit 20bbbeb pushed by Zeta611
June 7, 2024 04:08 9m 28s main
main
June 7, 2024 04:08 9m 28s
✨ Simplify types (#10) Builds, tests & co #77: Commit 3910718 pushed by Zeta611
June 5, 2024 13:19 7m 23s main
main
June 5, 2024 13:19 7m 23s
✨ Simplify types Builds, tests & co #76: Pull request #10 opened by LimitEpsilon
June 5, 2024 13:03 8m 9s LimitEpsilon:main
LimitEpsilon:main
June 5, 2024 13:03 8m 9s
✨ Typesafe det/non_det expressions Builds, tests & co #75: Commit 0a7607b pushed by Zeta611
June 5, 2024 10:20 7m 16s main
main
June 5, 2024 10:20 7m 16s
🚧 Experimental type safe expressions Builds, tests & co #74: Commit ae60883 pushed by Zeta611
June 4, 2024 20:48 6m 56s main
main
June 4, 2024 20:48 6m 56s
[ImgBot] Optimize images Builds, tests & co #73: Pull request #9 opened by imgbot bot
June 4, 2024 15:15 7m 17s imgbot
imgbot
June 4, 2024 15:15 7m 17s
[ImgBot] Optimize images Builds, tests & co #72: Commit 1051676 pushed by imgbot bot
June 4, 2024 15:15 7m 22s imgbot
imgbot
June 4, 2024 15:15 7m 22s
Revert "[ImgBot] Optimize images (#7)" (#8) Builds, tests & co #71: Commit 0d96ebf pushed by Zeta611
June 4, 2024 14:40 6m 55s main
main
June 4, 2024 14:40 6m 55s
Revert "[ImgBot] Optimize images" Builds, tests & co #70: Pull request #8 opened by Zeta611
June 4, 2024 14:39 19m 34s revert-7-imgbot
revert-7-imgbot
June 4, 2024 14:39 19m 34s
Revert "[ImgBot] Optimize images (#7)" Builds, tests & co #69: Commit 140ec19 pushed by Zeta611
June 4, 2024 14:39 6m 46s revert-7-imgbot
revert-7-imgbot
June 4, 2024 14:39 6m 46s
[ImgBot] Optimize images (#7) Builds, tests & co #68: Commit 07a66df pushed by Zeta611
June 4, 2024 09:06 12m 55s main
main
June 4, 2024 09:06 12m 55s
[ImgBot] Optimize images Builds, tests & co #67: Pull request #7 synchronize by imgbot bot
June 4, 2024 08:53 6m 59s imgbot
imgbot
June 4, 2024 08:53 6m 59s
[ImgBot] Optimize images Builds, tests & co #66: Commit 1594f45 pushed by imgbot bot
June 4, 2024 08:53 7m 40s imgbot
imgbot
June 4, 2024 08:53 7m 40s