Workflow runs · leachim6/hello-world · GitHub

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows

5 workflow runs

5 workflow runs

Add Koka (#1763) Update Readme #25: Commit a152253 pushed by Richienb

11s main

main

11s

Add ChavaScript (#1767) Update Readme #24: Commit 2176648 pushed by Richienb

10s main

main

10s

Rename Lean to Lean.lean Update Readme #23: Commit 956c77d pushed by MrBrain295

12s main

main

12s

Copilot code review Copilot code review #1: by Copilot AI

3m 58s refs/pull/1752/head

refs/pull/1752/head

3m 58s

Added Scratch Block (#1665) Update Readme #22: Commit fca5bfa pushed by MrBrain295

17s main

main

17s