Skip to content

Actions: sr-lab/coqpyt

Actions

Tests

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
test.yml
151 workflow runs
151 workflow runs

Filter by Event

Loading

Filter by Status

Loading

Filter by Branch

Loading

Filter by Actor

Loading
add packaging to requirements Tests #151: Commit 6f40b73 pushed by Nfsaavedra
July 15, 2024 11:38 14m 22s master
master
July 15, 2024 11:38 14m 22s
Add error messages to exceptions. (#44) Tests #150: Commit 7e3be6f pushed by Nfsaavedra
May 20, 2024 16:55 13m 39s master
master
May 20, 2024 16:55 13m 39s
Add error messages to exceptions. Tests #149: Pull request #44 synchronize by Nfsaavedra
May 20, 2024 16:42 13m 8s errors
errors
May 20, 2024 16:42 13m 8s
Add error messages to exceptions. Tests #148: Pull request #44 opened by Nfsaavedra
May 20, 2024 16:40 14m 58s errors
errors
May 20, 2024 16:40 14m 58s
Update README.md Tests #147: Commit 14cd0b5 pushed by Nfsaavedra
May 2, 2024 19:07 15m 44s master
master
May 2, 2024 19:07 15m 44s
Update README to add logo, UML and more examples (#43) Tests #146: Commit 7acfbe3 pushed by pcarrott
May 2, 2024 19:06 14m 48s master
master
May 2, 2024 19:06 14m 48s
Update README to add logo, UML and more examples Tests #145: Pull request #43 opened by Nfsaavedra
May 2, 2024 18:43 13m 49s readme
readme
May 2, 2024 18:43 13m 49s
add credits (#42) Tests #144: Commit d29c7e9 pushed by pcarrott
March 27, 2024 16:17 4m 14s master
master
March 27, 2024 16:17 4m 14s
Better performance by using the delay option of coq-lsp. Improve perf… Tests #143: Commit 642e01f pushed by pcarrott
March 27, 2024 15:54 13m 22s master
master
March 27, 2024 15:54 13m 22s
add credits to README Tests #142: Pull request #42 opened by Nfsaavedra
March 27, 2024 15:51 14m 24s credits
credits
March 27, 2024 15:51 14m 24s
Better performance by using the delay option of coq-lsp. Improve performance of GH-Actions Tests #141: Pull request #41 synchronize by pcarrott
March 27, 2024 15:42 9m 41s delay_option
delay_option
March 27, 2024 15:42 9m 41s
Better performance by using the delay option of coq-lsp. Improve performance of GH-Actions Tests #140: Pull request #41 synchronize by Nfsaavedra
March 27, 2024 15:12 13m 14s delay_option
delay_option
March 27, 2024 15:12 13m 14s
Better performance by using the delay option of coq-lsp. Improve performance of GH-Actions Tests #139: Pull request #41 synchronize by Nfsaavedra
March 27, 2024 15:02 5m 6s delay_option
delay_option
March 27, 2024 15:02 5m 6s
Better performance by using the delay option of coq-lsp. Improve performance of GH-Actions Tests #138: Pull request #41 synchronize by Nfsaavedra
March 27, 2024 14:50 1m 7s delay_option
delay_option
March 27, 2024 14:50 1m 7s
Better performance by using the delay option of coq-lsp. Improve performance of GH-Actions Tests #137: Pull request #41 synchronize by Nfsaavedra
March 27, 2024 14:35 53s delay_option
delay_option
March 27, 2024 14:35 53s
Better performance by using the delay option of coq-lsp. Improve performance of GH-Actions Tests #136: Pull request #41 synchronize by Nfsaavedra
March 27, 2024 14:34 1s delay_option
delay_option
March 27, 2024 14:34 1s
Better performance by using the delay option of coq-lsp. Improve performance of GH-Actions Tests #135: Pull request #41 opened by Nfsaavedra
March 27, 2024 11:36 14m 26s delay_option
delay_option
March 27, 2024 11:36 14m 26s
Support Coq 8.19 (#40) Tests #134: Commit ff4420c pushed by Nfsaavedra
February 15, 2024 16:31 14m 16s master
master
February 15, 2024 16:31 14m 16s
Support Coq 8.19 Tests #133: Pull request #40 synchronize by pcarrott
February 15, 2024 16:06 11m 20s coq_v819
coq_v819
February 15, 2024 16:06 11m 20s
Support Coq 8.19 Tests #132: Pull request #40 opened by pcarrott
February 15, 2024 15:13 14m 25s coq_v819
coq_v819
February 15, 2024 15:13 14m 25s
Change names of CoqChangeProofs to ProofChanges (#39) Tests #131: Commit 3cb5075 pushed by Nfsaavedra
January 29, 2024 16:31 11m 40s master
master
January 29, 2024 16:31 11m 40s
Change names of CoqChangeProofs to ProofChanges Tests #130: Pull request #39 synchronize by Nfsaavedra
January 29, 2024 16:30 11m 40s coq_proof_change
coq_proof_change
January 29, 2024 16:30 11m 40s
Change names of CoqChangeProofs to ProofChanges Tests #129: Pull request #39 opened by Nfsaavedra
January 29, 2024 16:29 11m 21s coq_proof_change
coq_proof_change
January 29, 2024 16:29 11m 21s
Set size of library cache (#38) Tests #128: Commit 7ebfad1 pushed by Nfsaavedra
January 23, 2024 13:57 11m 37s master
master
January 23, 2024 13:57 11m 37s
Set size of library cache Tests #127: Pull request #38 synchronize by Nfsaavedra
January 23, 2024 11:25 11m 18s change_size_cache
change_size_cache
January 23, 2024 11:25 11m 18s