Skip to content

Actions: nomeata/loogle

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
31 workflow runs
31 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
fix: VSCode's Loogle command has no default shortcut (#56) CI #36: Commit a114d38 pushed by nomeata
1m 19s master
master
1m 19s
Convert turnstile syntax to builtin term parsers; restructure libs CI #35: Commit bc4065d pushed by nomeata
1m 32s master
master
1m 32s
Trim web server README CI #33: Commit 4b9e26d pushed by nomeata
1m 0s master
master
1m 0s
server.py: --project-dir takes over from LEAN_SRC_PATH parsing CI #32: Commit c16d067 pushed by nomeata
52s master
master
52s
Warm up the index cache before enabling seccomp CI #31: Commit ca797d9 pushed by nomeata
57s master
master
57s
README: tell users to copy the target project's lean-toolchain first CI #30: Commit a9f007c pushed by nomeata
54s master
master
54s
server.py: drop --mathlib-rev, derive rev from LEAN_SRC_PATH CI #29: Commit c57eb6f pushed by nomeata
1m 3s master
master
1m 3s
Fix _ ⊆ _ query after Mathlib's set-notation elaborator (#53) CI #28: Commit b6aacaf pushed by nomeata
2m 25s master
master
2m 25s
Feat: Docker support CI #27: Pull request #54 synchronize by Iteron-dev
Action required Iteron-dev:docker
Iteron-dev:docker
Action required
Feat: Docker support CI #26: Pull request #54 synchronize by Iteron-dev
Action required Iteron-dev:docker
Iteron-dev:docker
Action required
Feat: Docker support CI #25: Pull request #54 opened by Iteron-dev
Action required Iteron-dev:docker
Iteron-dev:docker
Action required
Unused import CI #24: Commit 3a988db pushed by nomeata
1m 45s master
master
1m 45s
remove upstreamed defs CI #23: Pull request #52 opened by eric-wieser
1m 45s eric-wieser:duplicate
eric-wieser:duplicate
1m 45s
refactor: use the module system (#51) CI #22: Commit 88c39f3 pushed by nomeata
2m 19s master
master
2m 19s
refactor: use the module system CI #21: Pull request #51 synchronize by eric-wieser
2m 21s eric-wieser:module
eric-wieser:module
2m 21s
refactor: use the module system CI #20: Pull request #51 opened by eric-wieser
1m 47s eric-wieser:module
eric-wieser:module
1m 47s
Like this? CI #19: Commit a26d829 pushed by nomeata
1m 36s master
master
1m 36s
Track meta agent across web and json CI #18: Commit fd77682 pushed by nomeata
1m 24s master
master
1m 24s
Avoid warning about \* escape sequence CI #17: Commit 486f9b2 pushed by nomeata
1m 30s master
master
1m 30s
More seccomp CI #16: Commit 03630dd pushed by nomeata
1m 31s master
master
1m 31s
Seccomp: Allow sigaltstack CI #15: Commit f473121 pushed by nomeata
1m 29s master
master
1m 29s
Track meta-agent user agent CI #14: Commit 352b7f8 pushed by nomeata
2m 13s master
master
2m 13s
chore: add links to Lean FRO terms of use and privacy policy (#50) CI #13: Commit 8e80836 pushed by nomeata
2m 24s master
master
2m 24s
Bump @leanprover/unicode-input-component from 0.1.9 to 0.2.0 CI #11: Commit 128218b pushed by nomeata
1m 58s master
master
1m 58s
Remove unicode-input-component to fix XSS vulnerability CI #10: Commit 50c948f pushed by nomeata
1m 59s master
master
1m 59s