Skip to content

Actions: tskovlund/.github

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
30 workflow runs
30 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #6 from tskovlund/dependabot/github_actions/github… CI #14: Commit f69a2ae pushed by tskovlund
14s main
main
14s
Merge pull request #7 from tskovlund/dependabot/github_actions/astral… CI #13: Commit 7863b71 pushed by tskovlund
12s main
main
12s
chore(deps): bump astral-sh/setup-uv from 7.4.0 to 7.6.0 CI #12: Pull request #7 opened by dependabot bot
15s dependabot/github_actions/astral-sh/setup-uv-7.6.0
dependabot/github_actions/astral-sh/setup-uv-7.6.0
15s
chore(deps): bump github/codeql-action from 4.32.4 to 4.33.0 CI #11: Pull request #6 opened by dependabot bot
17s dependabot/github_actions/github/codeql-action-4.33.0
dependabot/github_actions/github/codeql-action-4.33.0
17s
github_actions in /. - Update #1285244513 Dependabot Updates #5: by dependabot bot
1m 1s main
main
1m 1s
Merge pull request #5 from tskovlund/dependabot/github_actions/Determ… CI #10: Commit e2dbede pushed by tskovlund
14s main
main
14s
Merge pull request #4 from tskovlund/dependabot/github_actions/astral… CI #9: Commit 2e8dfd3 pushed by tskovlund
11s main
main
11s
Merge pull request #2 from tskovlund/dependabot/github_actions/github… CI #8: Commit 7518df5 pushed by tskovlund
15s main
main
15s
chore(deps): bump DeterminateSystems/determinate-nix-action from 3.16.1 to 3.17.0 CI #7: Pull request #5 opened by dependabot bot
12s dependabot/github_actions/DeterminateSystems/determinate-nix-action-3.17.0
dependabot/github_actions/DeterminateSystems/determinate-nix-action-3.17.0
12s
chore(deps): bump astral-sh/setup-uv from 7.3.0 to 7.4.0 CI #6: Pull request #4 opened by dependabot bot
17s dependabot/github_actions/astral-sh/setup-uv-7.4.0
dependabot/github_actions/astral-sh/setup-uv-7.4.0
17s
github_actions in /. - Update #1276604764 Dependabot Updates #4: by dependabot bot
1m 45s main
main
1m 45s
feat: broaden prettier check to all supported file types CI #5: Commit ca20d79 pushed by tskovlund
12s main
main
12s
fix: remove markdown check from CodeQL workflow CI #4: Commit a9b21ed pushed by tskovlund
12s main
main
12s
refactor: remove standalone markdown-check workflow CI #3: Commit e0fabb9 pushed by tskovlund
16s main
main
16s
feat: add markdown check to all reusable workflows and fix formatting CI #2: Commit d6e9170 pushed by tskovlund
16s main
main
16s
feat: add markdown check to all reusable workflows and fix formatting Sync conventions #10: Commit d6e9170 pushed by tskovlund
15s main
main
15s
feat: add reusable markdown-check workflow and self-CI CI #1: Commit 7519681 pushed by tskovlund
13s main
main
13s
feat(conventions): expand lean conventions, add qed spec conventions Sync conventions #9: Commit fb32c93 pushed by tskovlund
18s main
main
18s
fix: automate root CONVENTIONS.md assembly to prevent drift Check conventions freshness #1: Commit 47e9ffe pushed by tskovlund
6s main
main
6s
Sync conventions Sync conventions #8: Manually run by tskovlund
14s main
main
14s
docs: make test naming convention language-agnostic Sync conventions #7: Commit 9333a59 pushed by tskovlund
14s main
main
14s
docs: add org-wide security policy Sync conventions #6: Commit 08052bf pushed by tskovlund
14s main
main
14s
feat: add Lean 4 conventions module and qed to sync Sync conventions #5: Commit f6975fb pushed by tskovlund
14s main
main
14s
fix: format markdown table for Prettier compatibility Sync conventions #4: Commit b272358 pushed by tskovlund
13s main
main
13s
Sync conventions Sync conventions #3: Manually run by tskovlund
15s main
main
15s