Skip to content

Actions: leanprover/cslib

Actions

Shellcheck

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
shellcheck.yml
19 workflow runs
19 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
chore(ci): retire legacy nightly-testing automation (#1186) Shellcheck #19: Commit 2544863 pushed by github-merge-queue Bot
8s main
main
8s
chore(ci): retire legacy nightly-testing automation Shellcheck #18: Pull request #1186 opened by marcelolynch
29s marcelolynch:codex/retire-cslib-nightly-testing
marcelolynch:codex/retire-cslib-nightly-testing
29s
ci: auto-resolve lakefile.toml when merging main into the bump branch Shellcheck #17: Pull request #931 synchronize by jessealama
8s jessealama:ci/adaptation-pr-resolve-lakefile
jessealama:ci/adaptation-pr-resolve-lakefile
8s
feat(devcontainer): Add a devcontainer configuration (#938) Shellcheck #16: Commit 5b591ef pushed by github-merge-queue Bot
33s main
main
33s
feat(Logic/CLL): cut elimination for Classical Linear Logic (CLL) Shellcheck #15: Pull request #944 synchronize by fmontesi
11s fmontesi/cut-elim
fmontesi/cut-elim
11s
feat(Logic/CLL): cut elimination for Classical Linear Logic (CLL) Shellcheck #14: Pull request #944 opened by fmontesi
15s fmontesi/cut-elim
fmontesi/cut-elim
15s
feat(devcontainer): Add a devcontainer configuration Shellcheck #13: Pull request #938 synchronize by fmontesi
9s fmontesi/ai
fmontesi/ai
9s
feat(devcontainer): Add a devcontainer configuration Shellcheck #12: Pull request #938 synchronize by fmontesi
11s fmontesi/ai
fmontesi/ai
11s
feat(devcontainer): Add a devcontainer configuration Shellcheck #11: Pull request #938 synchronize by fmontesi
12s fmontesi/ai
fmontesi/ai
12s
ci: auto-resolve lakefile.toml when merging main into the bump branch Shellcheck #10: Pull request #931 synchronize by jessealama
8s jessealama:ci/adaptation-pr-resolve-lakefile
jessealama:ci/adaptation-pr-resolve-lakefile
8s
ci: auto-resolve lakefile.toml when merging main into the bump branch Shellcheck #9: Pull request #931 synchronize by jessealama
9s jessealama:ci/adaptation-pr-resolve-lakefile
jessealama:ci/adaptation-pr-resolve-lakefile
9s
ci: auto-resolve lakefile.toml when merging main into the bump branch Shellcheck #8: Pull request #931 synchronize by jessealama
7s jessealama:ci/adaptation-pr-resolve-lakefile
jessealama:ci/adaptation-pr-resolve-lakefile
7s
ci: auto-resolve lakefile.toml when merging main into the bump branch Shellcheck #7: Pull request #931 synchronize by jessealama
10s jessealama:ci/adaptation-pr-resolve-lakefile
jessealama:ci/adaptation-pr-resolve-lakefile
10s
ci: auto-resolve lakefile.toml when merging main into the bump branch Shellcheck #6: Pull request #931 opened by jessealama
11s jessealama:ci/adaptation-pr-resolve-lakefile
jessealama:ci/adaptation-pr-resolve-lakefile
11s
chore: route Zulip notifications to nightly-testing-cslib (#548) Shellcheck #5: Commit aa62343 pushed by github-merge-queue Bot
15s main
main
15s
chore: route Zulip notifications to nightly-testing-cslib Shellcheck #4: Pull request #548 synchronize by kim-em
13s zulip-split-channel
zulip-split-channel
13s
chore: route Zulip notifications to nightly-testing-cslib Shellcheck #3: Pull request #548 opened by kim-em
7s zulip-split-channel
zulip-split-channel
7s
ci: use full weeklyLintSet and mathlib-ci (#488) Shellcheck #2: Commit 615b6d3 pushed by github-merge-queue Bot
8s main
main
8s
ci: use full weeklyLintSet and mathlib-ci Shellcheck #1: Pull request #488 opened by chenson2018
9s weekly-lint-set
weekly-lint-set
9s