Skip to content

Actions: kupl/starlab-benchmarks

Actions

Check on PR

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
check.yml
42 workflow run results
42 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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 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
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(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 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 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 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 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
refactor(ocaml): refactoring ocaml-diff Check on PR #25: Pull request #25 synchronize by henrylee97
November 9, 2023 02:12 20m 12s ocaml-diff
ocaml-diff
November 9, 2023 02:12 20m 12s
chore(cicd): make final step in ci on pr Check on PR #24: Pull request #26 synchronize by henrylee97
November 9, 2023 02:10 42s final-ci
final-ci
November 9, 2023 02:10 42s
chore(cicd): make final step in ci on pr Check on PR #23: Pull request #26 synchronize by henrylee97
November 9, 2023 02:07 40s final-ci
final-ci
November 9, 2023 02:07 40s
chore(cicd): make final step in ci on pr Check on PR #22: Pull request #26 opened by henrylee97
November 9, 2023 01:51 28s final-ci
final-ci
November 9, 2023 01:51 28s
refactor(ocaml): refactoring ocaml-diff Check on PR #21: Pull request #25 synchronize by henrylee97
November 9, 2023 01:38 11m 29s ocaml-diff
ocaml-diff
November 9, 2023 01:38 11m 29s
refactor(ocaml): refactoring ocaml-diff Check on PR #20: Pull request #25 synchronize by henrylee97
November 9, 2023 01:36 13m 34s ocaml-diff
ocaml-diff
November 9, 2023 01:36 13m 34s
refactor(ocaml): refactoring ocaml-diff Check on PR #19: Pull request #25 synchronize by sdw0316
November 9, 2023 01:34 2m 41s ocaml-diff
ocaml-diff
November 9, 2023 01:34 2m 41s
refactor(ocaml): refactoring ocaml-diff Check on PR #18: Pull request #25 synchronize by sdw0316
November 9, 2023 01:33 5m 13s ocaml-diff
ocaml-diff
November 9, 2023 01:33 5m 13s