Skip to content

Actions: leanprover/subverso

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,463 workflow runs
1,463 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
Test with Lean nightly Test with Lean nightly #760: Scheduled
1m 22s main
main
1m 22s
fix: compute the shared namespace file's trace from its contents (#244) Formalities #1065: Commit 892d6dc pushed by leanprover-bot
27s verso-v4.35.0
verso-v4.35.0
27s
Test with Lean nightly Test with Lean nightly #759: Scheduled
1m 16s main
main
1m 16s
Test with Lean nightly Test with Lean nightly #758: Scheduled
1m 12s main
main
1m 12s
Test with Lean nightly Test with Lean nightly #757: Scheduled
1m 30s main
main
1m 30s
Test with Lean nightly Test with Lean nightly #756: Scheduled
1m 6s main
main
1m 6s
Test with Lean nightly Test with Lean nightly #755: Scheduled
1m 14s main
main
1m 14s
Test with Lean nightly Test with Lean nightly #754: Scheduled
1m 19s main
main
1m 19s
fix: compute the shared namespace file's trace from its contents (#244) Formalities #1064: Commit 892d6dc pushed by leanprover-bot
48s verso-v4.35.0-rc4
verso-v4.35.0-rc4
48s
Test with Lean nightly Test with Lean nightly #753: Scheduled
1m 22s main
main
1m 22s
Test with Lean nightly Test with Lean nightly #752: Scheduled
1m 16s main
main
1m 16s
Test with Lean nightly Test with Lean nightly #751: Scheduled
53s main
main
53s
Test with Lean nightly Test with Lean nightly #750: Scheduled
1m 13s main
main
1m 13s
fix: compute the shared namespace file's trace from its contents (#244) Save demodulized code to no-modules branch #67: Commit 892d6dc pushed by david-christiansen
11s main
main
11s
fix: compute the shared namespace file's trace from its contents (#244) CI #276: Commit 892d6dc pushed by david-christiansen
28m 51s main
main
28m 51s
fix: compute the shared namespace file's trace from its contents (#244) Formalities #1063: Commit 892d6dc pushed by david-christiansen
23s main
main
23s
fix: compute the shared namespace file's trace from its contents CI #275: Pull request #244 opened by david-christiansen
31m 49s highlighted-ns-trace
highlighted-ns-trace
31m 49s
fix: compute the shared namespace file's trace from its contents Formalities #1062: Pull request #244 opened by david-christiansen
27s highlighted-ns-trace
highlighted-ns-trace
27s
Merge remote-tracking branch 'origin/main' into highlighted-ns-trace Formalities #1061: Commit 533ac32 pushed by david-christiansen
22s highlighted-ns-trace
highlighted-ns-trace
22s
fix: compute the shared namespace file's trace from its contents Formalities #1060: Commit c26f1fe pushed by david-christiansen
25s highlighted-ns-trace
highlighted-ns-trace
25s
feat: report unavailable docstring metadata CI #274: Pull request #239 synchronize by david-christiansen
32m 3s ejgallego:codex/docstring-lookup-diagnostics
ejgallego:codex/docstring-lookup-diagnostics
32m 3s
feat: report unavailable docstring metadata Formalities #1059: Pull request #239 synchronize by david-christiansen
56s ejgallego:codex/docstring-lookup-diagnostics
ejgallego:codex/docstring-lookup-diagnostics
56s
chore: remove old examples mechanism (#243) CI #273: Commit b15c6a0 pushed by david-christiansen
27m 56s main
main
27m 56s
chore: remove old examples mechanism (#243) Formalities #1058: Commit b15c6a0 pushed by david-christiansen
21s main
main
21s
chore: remove old examples mechanism (#243) Save demodulized code to no-modules branch #66: Commit b15c6a0 pushed by david-christiansen
9s main
main
9s