Skip to content

Actions: tmcgilchrist/tiger

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
14 workflow runs
14 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

github_actions in /. - Update #894031657 Dependabot Updates #3: by dependabot bot
October 1, 2024 13:31 38s
October 1, 2024 13:31 38s
github_actions in /. - Update #877230810 Dependabot Updates #2: by dependabot bot
September 1, 2024 13:24 33s
September 1, 2024 13:24 33s
Bump ocaml/setup-ocaml from 2 to 3 CI #9: Pull request #18 opened by dependabot bot
August 1, 2024 13:32 5m 59s dependabot/github_actions/ocaml/setup-ocaml-3
dependabot/github_actions/ocaml/setup-ocaml-3
August 1, 2024 13:32 5m 59s
github_actions in /. - Update #863681677 Dependabot Updates #1: by dependabot bot
August 1, 2024 13:32 39s
August 1, 2024 13:32 39s
Bump actions/checkout from 2 to 4 (#17) CI #8: Commit f47e2ff pushed by tmcgilchrist
April 19, 2024 23:58 11m 54s master
master
April 19, 2024 23:58 11m 54s
More missing packages and sexplib. CI #7: Commit 7923f30 pushed by tmcgilchrist
April 19, 2024 23:38 10m 35s master
master
April 19, 2024 23:38 10m 35s
Minimise CI builds CI #6: Commit 242923b pushed by tmcgilchrist
April 19, 2024 22:45 17m 27s master
master
April 19, 2024 22:45 17m 27s
Bump actions/checkout from 2 to 4 CI #5: Pull request #17 opened by dependabot bot
April 19, 2024 22:42 19m 28s dependabot/github_actions/actions/checkout-4
dependabot/github_actions/actions/checkout-4
April 19, 2024 22:42 19m 28s
Add dependabot checking for GH Actions. CI #4: Commit bf11068 pushed by tmcgilchrist
April 19, 2024 22:42 11m 45s master
master
April 19, 2024 22:42 11m 45s
Delete .github/workflows/ci.yaml CI #3: Commit 83ed6d4 pushed by tmcgilchrist
April 19, 2024 22:40 10m 16s master
master
April 19, 2024 22:40 10m 16s
Cleanup (#16) CI #5: Commit 855af98 pushed by tmcgilchrist
April 19, 2024 22:40 15m 55s master
master
April 19, 2024 22:40 15m 55s
Cleanup (#16) CI #2: Commit 855af98 pushed by tmcgilchrist
April 19, 2024 22:40 11m 4s master
master
April 19, 2024 22:40 11m 4s
Cleanup CI #4: Pull request #16 synchronize by tmcgilchrist
April 19, 2024 22:37 15m 0s cleanup
cleanup
April 19, 2024 22:37 15m 0s
Cleanup CI #1: Pull request #16 synchronize by tmcgilchrist
April 19, 2024 22:37 10m 17s cleanup
cleanup
April 19, 2024 22:37 10m 17s