Skip to content

Actions: 42futures/firm

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
122 workflow runs
122 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
Scheduled CodeQL #31: by github-advanced-security AI
59s main
main
59s
Scheduled CodeQL #30: by github-advanced-security AI
1m 6s main
main
1m 6s
Scheduled CodeQL #29: by github-advanced-security AI
59s main
main
59s
Scheduled CodeQL #28: by github-advanced-security AI
58s main
main
58s
Scheduled CodeQL #27: by github-advanced-security AI
1m 1s main
main
1m 1s
Scheduled CodeQL #26: by github-advanced-security AI
54s main
main
54s
feat(workspace): add .firmignore support for ignoring files Pull request #54: Pull request #54 synchronize by mrorigo
53s mrorigo:features/firmignore
mrorigo:features/firmignore
53s
Scheduled CodeQL #25: by github-advanced-security AI
56s main
main
56s
Scheduled CodeQL #24: by github-advanced-security AI
52s main
main
52s
PR #53 CodeQL #23: by danielrothmann
57s refs/pull/53/head
refs/pull/53/head
57s
Scheduled CodeQL #22: by github-advanced-security AI
58s main
main
58s
Scheduled CodeQL #21: by github-advanced-security AI
53s main
main
53s
Scheduled CodeQL #20: by github-advanced-security AI
55s main
main
55s
PR #53 CodeQL #19: by danielrothmann
1m 2s refs/pull/53/head
refs/pull/53/head
1m 2s
Push on main CodeQL #18: by danielrothmann
1m 1s main
main
1m 1s
Firm LSP Pull request #52: Pull request #51 synchronize by danielrothmann
1m 5s feature/language_server
feature/language_server
1m 5s
PR #51 CodeQL #17: by danielrothmann
1m 2s refs/pull/51/head
refs/pull/51/head
1m 2s
Scheduled CodeQL #16: by github-advanced-security AI
1m 2s main
main
1m 2s
Scheduled CodeQL #15: by github-advanced-security AI
1m 1s main
main
1m 1s
Scheduled CodeQL #14: by github-advanced-security AI
1m 1s main
main
1m 1s
Firm LSP Pull request #51: Pull request #51 synchronize by danielrothmann
59s feature/language_server
feature/language_server
59s
PR #51 CodeQL #13: by danielrothmann
57s refs/pull/51/head
refs/pull/51/head
57s
Scheduled CodeQL #12: by github-advanced-security AI
52s main
main
52s
Merge pull request #52 from sontags/feat/envvars Deploy documentation #13: Commit 4ef11c7 pushed by danielrothmann
25s main
main
25s
Push on main CodeQL #11: by danielrothmann
1m 9s main
main
1m 9s