Skip to content

Actions: TPTPWorld/VSCodeExtension

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
41 workflow runs
41 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
feat: integrate ANTLR parser Linting #41: Pull request #9 opened by jzxia
18s feat__ANTLR
feat__ANTLR
18s
Merge pull request #8 from TPTPWorld/feat__LEO_III_STC Linting #40: Commit e797398 pushed by jzxia
22s master
master
22s
feat: type-checking with LEO-III-STC Linting #39: Pull request #8 synchronize by jzxia
21s feat__LEO_III_STC
feat__LEO_III_STC
21s
feat: type-checking with LEO-III-STC Linting #38: Pull request #8 synchronize by jzxia
20s feat__LEO_III_STC
feat__LEO_III_STC
20s
feat: type-checking with LEO-III-STC Linting #37: Pull request #8 synchronize by jzxia
18s feat__LEO_III_STC
feat__LEO_III_STC
18s
chore: remove stale e2e test script Linting #36: Commit 4b7dd09 pushed by jzxia
21s master
master
21s
Retire legacy server formatting Linting #35: Commit 93f5e6e pushed by jzxia
16s master
master
16s
feat: improve error handling for pretty-printer; retire legacy server formatting Linting #34: Pull request #7 synchronize by jzxia
16s feat__local_pretty_printer__better_error_and_info
feat__local_pretty_printer__better_error_and_info
16s
feat: improve error handling for pretty-printer; retire legacy server formatting Linting #33: Pull request #7 synchronize by jzxia
17s feat__local_pretty_printer__better_error_and_info
feat__local_pretty_printer__better_error_and_info
17s
feat: improve error handling for pretty-printer; retire legacy server formatting Linting #32: Pull request #7 synchronize by jzxia
18s feat__local_pretty_printer__better_error_and_info
feat__local_pretty_printer__better_error_and_info
18s
feat: improve error handling for pretty-printer; retire legacy server formatting Linting #31: Pull request #7 synchronize by jzxia
22s feat__local_pretty_printer__better_error_and_info
feat__local_pretty_printer__better_error_and_info
22s
feat: improve error handling for pretty-printer; retire legacy server formatting Linting #30: Pull request #7 synchronize by jzxia
18s feat__local_pretty_printer__better_error_and_info
feat__local_pretty_printer__better_error_and_info
18s
feat: improve error handling for pretty-printer; retire legacy server formatting Linting #29: Pull request #7 synchronize by jzxia
19s feat__local_pretty_printer__better_error_and_info
feat__local_pretty_printer__better_error_and_info
19s
feat: improve error handling for pretty-printer; retire legacy server formatting Linting #28: Pull request #7 opened by jzxia
20s feat__local_pretty_printer__better_error_and_info
feat__local_pretty_printer__better_error_and_info
20s
change command name TPTP: Check Syntax and Format TPTP File -> `TPT… Linting #27: Commit 377b96b pushed by jzxia
21s master
master
21s
chore: lockfile metadata update Linting #26: Commit 12a09a4 pushed by jzxia
13m 26s master
master
13m 26s
feat: error handling for pretty-printer (local and remote); detect duplicate formula names Linting #25: Pull request #5 synchronize by jzxia
5m 19s feat__local_pretty_printer__error_handling
feat__local_pretty_printer__error_handling
5m 19s
feat: error handling for pretty-printer (local and remote); detect duplicate formula names Linting #24: Pull request #5 synchronize by jzxia
17s feat__local_pretty_printer__error_handling
feat__local_pretty_printer__error_handling
17s
feat: error handling for pretty-printer (local and remote); detect duplicate formula names Linting #23: Pull request #5 synchronize by jzxia
21s feat__local_pretty_printer__error_handling
feat__local_pretty_printer__error_handling
21s
feat: error handling for pretty-printer (local and remote); detect duplicate formula names Linting #22: Pull request #5 synchronize by jzxia
22s feat__local_pretty_printer__error_handling
feat__local_pretty_printer__error_handling
22s
feat: error handling for pretty-printer (local and remote); detect duplicate formula names Linting #21: Pull request #5 synchronize by jzxia
21s feat__local_pretty_printer__error_handling
feat__local_pretty_printer__error_handling
21s
feat: error handling for pretty-printer (local and remote); detect duplicate formula names Linting #20: Pull request #5 synchronize by jzxia
20s feat__local_pretty_printer__error_handling
feat__local_pretty_printer__error_handling
20s
feat: error handling for pretty-printer (local and remote); detect duplicate formula names Linting #19: Pull request #5 synchronize by jzxia
16s feat__local_pretty_printer__error_handling
feat__local_pretty_printer__error_handling
16s
feat: error handling for pretty-printer (local and remote); detect duplicate formula names Linting #18: Pull request #5 synchronize by jzxia
15s feat__local_pretty_printer__error_handling
feat__local_pretty_printer__error_handling
15s
feat: error handling for pretty-printer (local and remote); detect duplicate formula names Linting #17: Pull request #5 synchronize by jzxia
20s feat__local_pretty_printer__error_handling
feat__local_pretty_printer__error_handling
20s