Skip to content

Actions: Project-Navi/takens-formalization

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
285 workflow runs
285 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
Merge pull request #17 from Project-Navi/chore/canonical-apache Lean CI #103: Commit f082f6d pushed by Fieldnote-Echo
11m 45s main
main
11m 45s
Merge pull request #17 from Project-Navi/chore/canonical-apache Docs #61: Commit f082f6d pushed by Fieldnote-Echo
32s main
main
32s
Code Quality: Push on main CodeQL - Code Quality #7: by Fieldnote-Echo
52s main
main
52s
Push on main CodeQL #114: by Fieldnote-Echo
56s main
main
56s
chore: use the canonical Apache-2.0 license text Docs #60: Pull request #17 opened by Fieldnote-Echo
16s chore/canonical-apache
chore/canonical-apache
16s
chore: use the canonical Apache-2.0 license text Lean CI #102: Pull request #17 opened by Fieldnote-Echo
15m 57s chore/canonical-apache
chore/canonical-apache
15m 57s
PR #17 CodeQL #113: by Fieldnote-Echo
1m 3s refs/pull/17/head
refs/pull/17/head
1m 3s
Code Quality: PR #17 CodeQL - Code Quality #6: by Fieldnote-Echo
51s refs/pull/17/head
refs/pull/17/head
51s
Merge pull request #16 from Project-Navi/docs/remove-navi-sad Docs #59: Commit 4eb6417 pushed by Fieldnote-Echo
28s main
main
28s
Merge pull request #16 from Project-Navi/docs/remove-navi-sad Lean CI #101: Commit 4eb6417 pushed by Fieldnote-Echo
10m 5s main
main
10m 5s
Push on main CodeQL #112: by Fieldnote-Echo
59s main
main
59s
Code Quality: Push on main CodeQL - Code Quality #5: by Fieldnote-Echo
54s main
main
54s
docs: replace the navi-SAD bridge with a generic Measured Data page Lean CI #100: Pull request #16 opened by Fieldnote-Echo
14m 24s docs/remove-navi-sad
docs/remove-navi-sad
14m 24s
docs: replace the navi-SAD bridge with a generic Measured Data page Docs #58: Pull request #16 opened by Fieldnote-Echo
19s docs/remove-navi-sad
docs/remove-navi-sad
19s
Code Quality: PR #16 CodeQL - Code Quality #4: by Fieldnote-Echo
50s refs/pull/16/head
refs/pull/16/head
50s
PR #16 CodeQL #111: by Fieldnote-Echo
54s refs/pull/16/head
refs/pull/16/head
54s
Merge pull request #15 from Project-Navi/docs/docs-domain Docs #57: Commit ad5839b pushed by Fieldnote-Echo
41s main
main
41s
Merge pull request #15 from Project-Navi/docs/docs-domain Lean CI #99: Commit ad5839b pushed by Fieldnote-Echo
15m 51s main
main
15m 51s
Code Quality: Push on main CodeQL - Code Quality #3: by Fieldnote-Echo
53s main
main
53s
Push on main CodeQL #110: by Fieldnote-Echo
54s main
main
54s
docs: move documentation links to docs.projectnavi.ai Lean CI #98: Pull request #15 opened by Fieldnote-Echo
13m 50s docs/docs-domain
docs/docs-domain
13m 50s
docs: move documentation links to docs.projectnavi.ai Docs #56: Pull request #15 opened by Fieldnote-Echo
14s docs/docs-domain
docs/docs-domain
14s
Code Quality: PR #15 CodeQL - Code Quality #2: by Fieldnote-Echo
43s refs/pull/15/head
refs/pull/15/head
43s
PR #15 CodeQL #109: by Fieldnote-Echo
55s refs/pull/15/head
refs/pull/15/head
55s
CodeQL CodeQL #108: by github-advanced-security AI
1m 16s main
main
1m 16s