Skip to content

Actions: Beluga-lang/McTT

Actions

CI build

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci_build.yaml
450 workflow runs
450 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Working on ocaml doc CI build #250: Pull request #191 opened by HuStmpHrrr
September 10, 2024 22:37 6m 36s feature/ocaml-doc
feature/ocaml-doc
September 10, 2024 22:37 6m 36s
Update ci_build.yaml (#190) CI build #249: Commit 6522b8f pushed by HuStmpHrrr
September 10, 2024 21:39 6m 33s main
main
September 10, 2024 21:39 6m 33s
Update ci_build.yaml CI build #248: Pull request #190 opened by HuStmpHrrr
September 10, 2024 21:32 6m 31s feature/fix-ci-2
feature/fix-ci-2
September 10, 2024 21:32 6m 31s
CI build CI build #247: Manually run by HuStmpHrrr
September 10, 2024 21:27 6m 37s main
main
September 10, 2024 21:27 6m 37s
Update ci_build.yaml CI build #246: Pull request #189 synchronize by HuStmpHrrr
September 10, 2024 21:27 19s feature/fix-ci-1
feature/fix-ci-1
September 10, 2024 21:27 19s
Update ci_build.yaml CI build #245: Pull request #189 synchronize by HuStmpHrrr
September 10, 2024 21:26 21s feature/fix-ci-1
feature/fix-ci-1
September 10, 2024 21:26 21s
Update ci_build.yaml CI build #244: Pull request #189 synchronize by HuStmpHrrr
September 10, 2024 21:24 21s feature/fix-ci-1
feature/fix-ci-1
September 10, 2024 21:24 21s
Update ci_build.yaml CI build #243: Pull request #189 opened by HuStmpHrrr
September 10, 2024 21:22 24s feature/fix-ci-1
feature/fix-ci-1
September 10, 2024 21:22 24s
Update ci_build.yaml (#188) CI build #242: Commit 55ca3f1 pushed by HuStmpHrrr
September 10, 2024 19:33 7m 34s main
main
September 10, 2024 19:33 7m 34s
Update ci_build.yaml CI build #241: Pull request #188 opened by HuStmpHrrr
September 10, 2024 19:26 6m 30s add-write-permission
add-write-permission
September 10, 2024 19:26 6m 30s
use string test instead (#187) CI build #240: Commit 5e586cc pushed by HuStmpHrrr
September 10, 2024 19:13 6m 56s main
main
September 10, 2024 19:13 6m 56s
use string test instead CI build #239: Pull request #187 synchronize by HuStmpHrrr
September 10, 2024 19:07 6m 25s feature/fix-ci
feature/fix-ci
September 10, 2024 19:07 6m 25s
use string test instead CI build #238: Pull request #187 opened by HuStmpHrrr
September 10, 2024 19:03 6m 27s feature/fix-ci
feature/fix-ci
September 10, 2024 19:03 6m 27s
working on homepage (#186) CI build #237: Commit c59a3a0 pushed by HuStmpHrrr
September 10, 2024 18:50 6m 30s main
main
September 10, 2024 18:50 6m 30s
Bump docker/build-push-action from 5 to 6 (#184) CI build #236: Commit d75eeee pushed by HuStmpHrrr
September 10, 2024 18:42 6m 39s main
main
September 10, 2024 18:42 6m 39s
Bump actions/checkout from 3 to 4 (#185) CI build #235: Commit 49aa97d pushed by HuStmpHrrr
September 10, 2024 18:42 6m 40s main
main
September 10, 2024 18:42 6m 40s
working on homepage CI build #234: Pull request #186 synchronize by HuStmpHrrr
September 10, 2024 18:42 6m 36s feature/homepage
feature/homepage
September 10, 2024 18:42 6m 36s
working on homepage CI build #233: Pull request #186 opened by HuStmpHrrr
September 10, 2024 18:32 6m 36s feature/homepage
feature/homepage
September 10, 2024 18:32 6m 36s
Bump actions/checkout from 3 to 4 CI build #232: Pull request #185 opened by dependabot bot
September 10, 2024 18:27 6m 33s dependabot/github_actions/actions/checkout-4
dependabot/github_actions/actions/checkout-4
September 10, 2024 18:27 6m 33s
Bump docker/build-push-action from 5 to 6 CI build #231: Pull request #184 opened by dependabot bot
September 10, 2024 18:27 6m 21s dependabot/github_actions/docker/build-push-action-6
dependabot/github_actions/docker/build-push-action-6
September 10, 2024 18:27 6m 21s
implement a homepage (#183) CI build #230: Commit 02c9f19 pushed by HuStmpHrrr
September 10, 2024 18:27 6m 24s main
main
September 10, 2024 18:27 6m 24s
implement a homepage CI build #229: Pull request #183 synchronize by HuStmpHrrr
September 10, 2024 18:20 6m 32s feature/coqdoc
feature/coqdoc
September 10, 2024 18:20 6m 32s
implement a homepage CI build #228: Pull request #183 synchronize by HuStmpHrrr
September 10, 2024 18:16 6m 27s feature/coqdoc
feature/coqdoc
September 10, 2024 18:16 6m 27s
implement a homepage CI build #227: Pull request #183 opened by HuStmpHrrr
September 10, 2024 14:19 11m 13s feature/coqdoc
feature/coqdoc
September 10, 2024 14:19 11m 13s
update build process (#179) CI build #226: Commit e1a03fd pushed by HuStmpHrrr
September 9, 2024 22:16 6m 33s main
main
September 9, 2024 22:16 6m 33s