Skip to content

Actions: wenkokke/setup-agda

Actions

codeql

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
codeql.yml
22 workflow runs
22 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
Bump actions/checkout from 4 to 6 codeql #850: Pull request #234 opened by dependabot Bot
1m 28s dependabot/github_actions/actions/checkout-6
dependabot/github_actions/actions/checkout-6
1m 28s
Bump github/codeql-action from 3 to 4 codeql #849: Pull request #233 opened by dependabot Bot
1m 26s dependabot/github_actions/github/codeql-action-4
dependabot/github_actions/github/codeql-action-4
1m 26s
Fix CI codeql #848: Pull request #229 synchronize by wenkokke
1m 21s fix-ci
fix-ci
1m 21s
Fix CI codeql #847: Pull request #229 synchronize by wenkokke
1m 42s fix-ci
fix-ci
1m 42s
Fix CI codeql #846: Pull request #229 synchronize by wenkokke
1m 27s fix-ci
fix-ci
1m 27s
Fix CI codeql #845: Pull request #229 synchronize by wenkokke
1m 26s fix-ci
fix-ci
1m 26s
Fix CI codeql #844: Pull request #229 synchronize by wenkokke
1m 26s fix-ci
fix-ci
1m 26s
bump all js dependencies to latest; target node20 instead of 16 codeql #843: Pull request #232 opened by andreasabel
1m 32s bump-deps
bump-deps
1m 32s
Bump actions/checkout from 4 to 5 codeql #842: Pull request #231 opened by dependabot Bot
1m 38s dependabot/github_actions/actions/checkout-5
dependabot/github_actions/actions/checkout-5
1m 38s
Fix CI codeql #841: Pull request #229 synchronize by wenkokke
1m 38s fix-ci
fix-ci
1m 38s
Support for v2.8.0 (#226) codeql #840: Pull request #228 synchronize by wenkokke
1m 30s agda-2.8.0
agda-2.8.0
1m 30s
Fix CI codeql #839: Pull request #229 synchronize by wenkokke
1m 21s fix-ci
fix-ci
1m 21s
Fix CI codeql #838: Pull request #229 synchronize by wenkokke
1m 28s fix-ci
fix-ci
1m 28s
Fix CI codeql #837: Pull request #229 synchronize by wenkokke
1m 22s fix-ci
fix-ci
1m 22s
Fix CI codeql #836: Pull request #229 synchronize by wenkokke
1m 35s fix-ci
fix-ci
1m 35s
Fix CI codeql #835: Pull request #229 synchronize by wenkokke
1m 29s fix-ci
fix-ci
1m 29s
Fix CI codeql #834: Pull request #229 synchronize by wenkokke
1m 28s fix-ci
fix-ci
1m 28s
Fix CI codeql #833: Pull request #229 synchronize by wenkokke
1m 28s fix-ci
fix-ci
1m 28s
Fix CI codeql #832: Pull request #229 synchronize by wenkokke
1m 50s fix-ci
fix-ci
1m 50s
Fix CI codeql #831: Pull request #229 opened by wenkokke
1m 32s fix-ci
fix-ci
1m 32s
Support for v2.8.0 (#226) codeql #830: Pull request #228 opened by wenkokke
1m 27s agda-2.8.0
agda-2.8.0
1m 27s
Support for agda-stdlib v2.2 codeql #829: Pull request #227 opened by wenkokke
1m 40s agda-stdlib-2.2
agda-stdlib-2.2
1m 40s