Skip to content

Actions: nktkt/starlib

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
10 workflow runs
10 workflow runs

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
build(deps): bump leanprover/lean-action from 1.5.0 to 1.6.0 CI #10: Pull request #4 opened by dependabot Bot
17m 0s dependabot/github_actions/leanprover/lean-action-1.6.0
dependabot/github_actions/leanprover/lean-action-1.6.0
17m 0s
build(deps): bump actions/setup-python from 6 to 7 CI #9: Pull request #3 opened by dependabot Bot
23m 2s dependabot/github_actions/actions/setup-python-7
dependabot/github_actions/actions/setup-python-7
23m 2s
build(deps): bump actions/checkout from 6 to 7 CI #8: Pull request #2 opened by dependabot Bot
24m 50s dependabot/github_actions/actions/checkout-7
dependabot/github_actions/actions/checkout-7
24m 50s
build(deps): bump actions/cache from 5 to 6 CI #7: Pull request #1 opened by dependabot Bot
24m 1s dependabot/github_actions/actions/cache-6
dependabot/github_actions/actions/cache-6
24m 1s
docs: rewrite ROADMAP.md with milestones and status CI #6: Commit 7b2c61d pushed by nktkt
12m 33s main
main
12m 33s
docs: add docs/ index README CI #5: Commit ff0be66 pushed by nktkt
11m 33s main
main
11m 33s
Project hygiene: badges, CHANGELOG, templates, release-tag guard CI #4: Commit a92adfd pushed by nktkt
59s main
main
59s
Point homepage / site nav GitHub link to nktkt/starlib CI #3: Commit 7bc7dc2 pushed by nktkt
24m 8s main
main
24m 8s
Rebrand to starlib CI #2: Commit 140c418 pushed by nktkt
3m 25s main
main
3m 25s
Initial commit CI #1: Commit f74c400 pushed by nktkt
22m 32s main
main
22m 32s