Skip to content

Actions: spoud/to-json-smt

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
53 workflow runs
53 workflow runs

Filter by Workflow

⌥ + click/return to exclude

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
Push on main CodeQL #4: by github-actions Bot
1m 21s main
main
1m 21s
Bump actions/setup-java from 5.6.0 to 5.7.0 Build #14: Pull request #12 opened by dependabot Bot
29s dependabot/github_actions/actions/setup-java-5.7.0
dependabot/github_actions/actions/setup-java-5.7.0
29s
Bump actions/setup-java from 5.6.0 to 5.7.0 Dependabot auto-merge #14: Pull request #12 opened by dependabot Bot
12s dependabot/github_actions/actions/setup-java-5.7.0
dependabot/github_actions/actions/setup-java-5.7.0
12s
maven in /. - Update #1511718196 Dependabot Updates #15: by dependabot Bot
48s main
main
48s
github_actions in /. - Update #1511718199 Dependabot Updates #14: by dependabot Bot
47s main
main
47s
Scheduled CodeQL #3: by github-advanced-security AI
1m 28s main
main
1m 28s
github_actions in /. - Update #1496465395 Dependabot Updates #13: by dependabot Bot
38s main
main
38s
maven in /. - Update #1496465393 Dependabot Updates #12: by dependabot Bot
28s main
main
28s
Scheduled CodeQL #2: by github-advanced-security AI
1m 41s main
main
1m 41s
CodeQL Setup CodeQL #1: by RuiTeixeira
1m 50s main
main
1m 50s
Bump actions/checkout from 4.3.1 to 7.0.1 Dependabot auto-merge #13: Pull request #10 synchronize by dependabot Bot
14s dependabot/github_actions/actions/checkout-7.0.1
dependabot/github_actions/actions/checkout-7.0.1
14s
Bump actions/checkout from 4.3.1 to 7.0.1 Build #13: Pull request #10 synchronize by dependabot Bot
16s dependabot/github_actions/actions/checkout-7.0.1
dependabot/github_actions/actions/checkout-7.0.1
16s
github_actions in / for actions/checkout - Update #1478207901 Dependabot Updates #11: by dependabot Bot
37s main
main
37s
Bump actions/setup-java from 4.8.0 to 5.6.0 Build #12: Pull request #11 opened by dependabot Bot
20s dependabot/github_actions/actions/setup-java-5.6.0
dependabot/github_actions/actions/setup-java-5.6.0
20s
Bump actions/setup-java from 4.8.0 to 5.6.0 Dependabot auto-merge #12: Pull request #11 opened by dependabot Bot
13s dependabot/github_actions/actions/setup-java-5.6.0
dependabot/github_actions/actions/setup-java-5.6.0
13s
Bump actions/checkout from 4.3.1 to 7.0.1 Build #11: Pull request #10 opened by dependabot Bot
28s dependabot/github_actions/actions/checkout-7.0.1
dependabot/github_actions/actions/checkout-7.0.1
28s
Bump actions/checkout from 4.3.1 to 7.0.1 Dependabot auto-merge #11: Pull request #10 opened by dependabot Bot
12s dependabot/github_actions/actions/checkout-7.0.1
dependabot/github_actions/actions/checkout-7.0.1
12s
maven in /. - Update #1478203748 Dependabot Updates #10: by dependabot Bot
37s main
main
37s
github_actions in /. - Update #1478203732 Dependabot Updates #9: by dependabot Bot
37s main
main
37s
Bump tools.jackson.core:jackson-databind from 3.1.3 to 3.2.1 Dependabot auto-merge #10: Pull request #4 synchronize by RuiTeixeira
1s dependabot/maven/tools.jackson.core-jackson-databind-3.2.1
dependabot/maven/tools.jackson.core-jackson-databind-3.2.1
1s
Bump tools.jackson.core:jackson-databind from 3.1.3 to 3.2.1 Build #10: Pull request #4 synchronize by RuiTeixeira
22s dependabot/maven/tools.jackson.core-jackson-databind-3.2.1
dependabot/maven/tools.jackson.core-jackson-databind-3.2.1
22s
Bump actions/checkout from 4.3.1 to 7.0.0 Build #9: Pull request #3 synchronize by RuiTeixeira
25s dependabot/github_actions/actions/checkout-7.0.0
dependabot/github_actions/actions/checkout-7.0.0
25s
Bump actions/checkout from 4.3.1 to 7.0.0 Dependabot auto-merge #9: Pull request #3 synchronize by RuiTeixeira
1s dependabot/github_actions/actions/checkout-7.0.0
dependabot/github_actions/actions/checkout-7.0.0
1s
Bump actions/setup-java from 4.8.0 to 5.6.0 Build #8: Pull request #6 synchronize by RuiTeixeira
27s dependabot/github_actions/actions/setup-java-5.6.0
dependabot/github_actions/actions/setup-java-5.6.0
27s
Bump actions/setup-java from 4.8.0 to 5.6.0 Dependabot auto-merge #8: Pull request #6 synchronize by RuiTeixeira
1s dependabot/github_actions/actions/setup-java-5.6.0
dependabot/github_actions/actions/setup-java-5.6.0
1s