Skip to content

Actions: kupl/starlab-benchmarks

Actions

Check on PR

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
check.yml
236 workflow runs
236 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
refactor(ocaml): refactoring ocaml-diff Check on PR #17: Pull request #25 synchronize by sdw0316
November 9, 2023 01:32 2m 34s ocaml-diff
ocaml-diff
November 9, 2023 01:32 2m 34s
refactor(ocaml): refactoring ocaml-diff Check on PR #16: Pull request #25 opened by henrylee97
November 9, 2023 01:28 2m 31s ocaml-diff
ocaml-diff
November 9, 2023 01:28 2m 31s
refactor(ocaml): refactoring ocaml lambda Check on PR #15: Pull request #15 synchronize by henrylee97
November 8, 2023 09:03 11m 20s ocaml-lambda
ocaml-lambda
November 8, 2023 09:03 11m 20s
refactor(ocaml): refactoring ocaml lambda Check on PR #14: Pull request #15 synchronize by sdw0316
November 8, 2023 08:40 2m 38s ocaml-lambda
ocaml-lambda
November 8, 2023 08:40 2m 38s
refactor(ocaml): refactoring ocaml lambda Check on PR #13: Pull request #15 synchronize by henrylee97
November 8, 2023 08:34 2m 28s ocaml-lambda
ocaml-lambda
November 8, 2023 08:34 2m 28s
refactor(ocaml): refactoring ocaml lambda Check on PR #12: Pull request #15 synchronize by henrylee97
November 8, 2023 08:27 2m 31s ocaml-lambda
ocaml-lambda
November 8, 2023 08:27 2m 31s