Skip to content

Actions: kupl/starlab-benchmarks

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
55 workflow run results
55 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

fix(c): add leakage data on flint-1 (#42) Build benchmark images #13: Commit 80206ed pushed by seongjoonh
November 9, 2023 08:51 1m 42s main
main
November 9, 2023 08:51 1m 42s
fix(c): add leakage data on flint-1 Check on PR #42: Pull request #42 opened by henrylee97
November 9, 2023 08:42 8m 24s c-flint
c-flint
November 9, 2023 08:42 8m 24s
refactor(ocaml): remove old files Check on PR #41: Pull request #39 opened by henrylee97
November 9, 2023 08:15 50s refactor-ocaml
refactor-ocaml
November 9, 2023 08:15 50s
refactor(c): refactoring flint (#35) Build benchmark images #12: Commit 946b3c5 pushed by henrylee97
November 9, 2023 07:05 7m 51s main
main
November 9, 2023 07:05 7m 51s
refactor(c): refactoring flint Check on PR #40: Pull request #35 synchronize by seongjoonh
November 9, 2023 06:53 11m 48s c-flint
c-flint
November 9, 2023 06:53 11m 48s
chore(cicd): filter deleted files when finding targets to build (#37) Build benchmark images #11: Commit 5de9c85 pushed by henrylee97
November 9, 2023 06:52 19s main
main
November 9, 2023 06:52 19s
refactor(c): refactoring flint Check on PR #39: Pull request #35 synchronize by henrylee97
November 9, 2023 06:49 8m 5s c-flint
c-flint
November 9, 2023 06:49 8m 5s
chore(cicd): filter deleted files when finding targets to build Check on PR #38: Pull request #37 synchronize by henrylee97
November 9, 2023 06:48 37s fix-36
fix-36
November 9, 2023 06:48 37s
chore(cicd): filter deleted files when finding targets to build Check on PR #37: Pull request #37 opened by henrylee97
November 9, 2023 06:35 43s fix-36
fix-36
November 9, 2023 06:35 43s
refactor(ocaml): refactoring ocaml formula (#28) Build benchmark images #10: Commit 44cca3a pushed by henrylee97
November 9, 2023 06:24 15m 20s main
main
November 9, 2023 06:24 15m 20s
refactor(c): refactoring flint Check on PR #36: Pull request #35 synchronize by henrylee97
November 9, 2023 06:10 16m 28s c-flint
c-flint
November 9, 2023 06:10 16m 28s
refactor(ocaml): refactoring ocaml formula Check on PR #35: Pull request #28 synchronize by henrylee97
November 9, 2023 06:05 18m 49s ocaml-fomula
ocaml-fomula
November 9, 2023 06:05 18m 49s
refactor(c): refactoring flint Check on PR #34: Pull request #35 synchronize by henrylee97
November 9, 2023 05:37 25m 31s c-flint
c-flint
November 9, 2023 05:37 25m 31s
refactor(c): refactoring flint Check on PR #33: Pull request #35 opened by henrylee97
November 9, 2023 05:35 17m 35s c-flint
c-flint
November 9, 2023 05:35 17m 35s
refactor(ocaml): refactoring ocaml lambda (#15) Build benchmark images #9: Commit 16de6fd pushed by henrylee97
November 9, 2023 04:27 6m 21s main
main
November 9, 2023 04:27 6m 21s
refactor(ocaml): refactoring ocaml formula Check on PR #32: Pull request #28 synchronize by henrylee97
November 9, 2023 04:06 20m 54s ocaml-fomula
ocaml-fomula
November 9, 2023 04:06 20m 54s
refactor(ocaml): refactoring ocaml lambda Check on PR #31: Pull request #15 synchronize by henrylee97
November 9, 2023 04:06 18m 55s ocaml-lambda
ocaml-lambda
November 9, 2023 04:06 18m 55s
chore(cicd): retrigger build for ocaml-diff (#33) Build benchmark images #8: Commit 7ae3b3f pushed by henrylee97
November 9, 2023 03:08 6m 56s main
main
November 9, 2023 03:08 6m 56s
chore(cicd): retrigger build for ocaml-diff Check on PR #30: Pull request #33 opened by henrylee97
November 9, 2023 02:57 10m 47s ocaml-diff
ocaml-diff
November 9, 2023 02:57 10m 47s
chore(cicd): fix permission to publish to ghcr (#31) Build benchmark images #7: Commit 7cd6c41 pushed by henrylee97
November 9, 2023 02:49 15s main
main
November 9, 2023 02:49 15s
chore(cicd): fix permission to publish to ghcr Check on PR #29: Pull request #31 opened by henrylee97
November 9, 2023 02:48 36s fix-permission-docker
fix-permission-docker
November 9, 2023 02:48 36s
refactor(ocaml): refactoring ocaml formula Check on PR #28: Pull request #28 synchronize by henrylee97
November 9, 2023 02:37 10m 51s ocaml-fomula
ocaml-fomula
November 9, 2023 02:37 10m 51s
refactor(ocaml): refactoring ocaml-diff (#25) Build benchmark images #6: Commit b8d4ef8 pushed by henrylee97
November 9, 2023 02:32 2m 23s main
main
November 9, 2023 02:32 2m 23s
refactor(ocaml): refactoring ocaml formula Check on PR #27: Pull request #28 opened by henrylee97
November 9, 2023 02:32 2m 31s ocaml-fomula
ocaml-fomula
November 9, 2023 02:32 2m 31s
refactor(ocaml): refactoring ocaml lambda Check on PR #26: Pull request #15 synchronize by henrylee97
November 9, 2023 02:12 21m 44s ocaml-lambda
ocaml-lambda
November 9, 2023 02:12 21m 44s