Skip to content

Actions: sr-lab/coqpyt

Actions

Lint

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
lint.yml
137 workflow runs
137 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

(incomplete) handling of aborted proofs (#56) Lint #175: Commit 35ebaaa pushed by Nfsaavedra
October 18, 2024 16:05 17s master
master
October 18, 2024 16:05 17s
Partial handling of aborted proofs Lint #174: Pull request #56 opened by pcarrott
October 18, 2024 15:58 23s errors
errors
October 18, 2024 15:58 23s
Add support for Coq 8.20 (#53) Lint #173: Commit 17a16bc pushed by Nfsaavedra
October 18, 2024 14:53 17s master
master
October 18, 2024 14:53 17s
Add citation to README (#54) Lint #172: Commit b718d1c pushed by Nfsaavedra
October 18, 2024 14:48 23s master
master
October 18, 2024 14:48 23s
Add support for Coq 8.20 Lint #171: Pull request #53 synchronize by Nfsaavedra
October 18, 2024 14:41 19s 8.20
8.20
October 18, 2024 14:41 19s
Add citation to README Lint #170: Pull request #54 opened by Nfsaavedra
October 18, 2024 14:25 24s citation
citation
October 18, 2024 14:25 24s
Add support for Coq 8.20 Lint #169: Pull request #53 opened by Nfsaavedra
October 18, 2024 14:10 17s 8.20
8.20
October 18, 2024 14:10 17s
Add option to run tests for external libraries (#52) Lint #168: Commit 83007b9 pushed by pcarrott
October 17, 2024 23:09 20s master
master
October 17, 2024 23:09 20s
Add option to run tests for external libraries Lint #167: Pull request #52 opened by pcarrott
October 17, 2024 22:57 15s errors
errors
October 17, 2024 22:57 15s
Adhoc handling of custom entries for notations and improvements on pl… Lint #166: Commit bfa476a pushed by pcarrott
October 16, 2024 13:46 18s master
master
October 16, 2024 13:46 18s
Adhoc handling of custom entries for notations and improvements on plugins (VernacExtend) Lint #165: Pull request #51 synchronize by pcarrott
October 16, 2024 13:33 19s notations_and_plugins
notations_and_plugins
October 16, 2024 13:33 19s
Adhoc handling of custom entries for notations and improvements on plugins (VernacExtend) Lint #164: Pull request #51 synchronize by pcarrott
October 16, 2024 13:20 17s notations_and_plugins
notations_and_plugins
October 16, 2024 13:20 17s
Adhoc handling of custom entries for notations and improvements on plugins (VernacExtend) Lint #163: Pull request #51 synchronize by pcarrott
October 16, 2024 00:07 19s notations_and_plugins
notations_and_plugins
October 16, 2024 00:07 19s
Adhoc handling of custom entries for notations and improvements on plugins (VernacExtend) Lint #162: Pull request #51 synchronize by pcarrott
October 15, 2024 16:15 18s notations_and_plugins
notations_and_plugins
October 15, 2024 16:15 18s
Adhoc handling of custom entries for notations and improvements on plugins (VernacExtend) Lint #161: Pull request #51 synchronize by pcarrott
October 4, 2024 12:22 34s notations_and_plugins
notations_and_plugins
October 4, 2024 12:22 34s
Adhoc handling of custom entries for notations and improvements on plugins (VernacExtend) Lint #160: Pull request #51 opened by pcarrott
October 3, 2024 22:20 16s notations_and_plugins
notations_and_plugins
October 3, 2024 22:20 16s
Make disk cache rely on file paths. (#49) Lint #159: Commit 226c0ff pushed by Nfsaavedra
September 20, 2024 09:46 22s master
master
September 20, 2024 09:46 22s
Make disk cache rely on file paths. Lint #158: Pull request #49 synchronize by rkthomps
September 18, 2024 18:45 18s rkthomps:master
rkthomps:master
September 18, 2024 18:45 18s
Make disk cache rely on file paths. Lint #157: Pull request #49 synchronize by rkthomps
August 28, 2024 14:13 18s rkthomps:master
rkthomps:master
August 28, 2024 14:13 18s
Make disk cache rely on file paths. Lint #156: Pull request #49 opened by rkthomps
August 22, 2024 23:53 20s rkthomps:master
rkthomps:master
August 22, 2024 23:53 20s
Program w/o obligations, goal_after_tactic and fixes (#48) Lint #155: Commit 3186ba9 pushed by pcarrott
August 21, 2024 09:44 21s master
master
August 21, 2024 09:44 21s
Program w/o obligations, goal_after_tactic and fixes Lint #154: Pull request #48 synchronize by pcarrott
August 18, 2024 20:53 17s program_lemma
program_lemma
August 18, 2024 20:53 17s
Program w/o obligations, goal_after_tactic and fixes Lint #153: Pull request #48 opened by pcarrott
August 18, 2024 20:50 19s program_lemma
program_lemma
August 18, 2024 20:50 19s
Add caching on disk (#47) Lint #152: Commit cb55eca pushed by Nfsaavedra
August 14, 2024 09:49 20s master
master
August 14, 2024 09:49 20s
Add caching on disk Lint #151: Pull request #47 synchronize by rkthomps
August 13, 2024 23:09 22s rkthomps:master
rkthomps:master
August 13, 2024 23:09 22s