Skip to content

Actions: sr-lab/coqpyt

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
38 workflow runs
38 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
Update README.md to include coqpyt-docs (#68) Tests #199: Commit 0a9829d pushed by pcarrott
15m 31s master
master
15m 31s
Update README.md to include coqpyt-docs (#68) Lint #195: Commit 0a9829d pushed by pcarrott
13s master
master
13s
Update README.md to include coqpyt-docs (#68) Embed code in README #43: Commit 0a9829d pushed by pcarrott
12s master
master
12s
Update README.md to include coqpyt-docs Lint #194: Pull request #68 opened by acmatthias
13s acmatthias:documentation-link
acmatthias:documentation-link
13s
Update README.md to include coqpyt-docs Tests #198: Pull request #68 opened by acmatthias
15m 7s acmatthias:documentation-link
acmatthias:documentation-link
15m 7s
Update README.md to include coqpyt-docs Embed code in README #42: Pull request #68 opened by acmatthias
13s
13s
CoqPyt Documentation Embed code in README #41: Pull request #67 opened by acmatthias
14s
14s
add memory_limit param to CoqFile and ProofFile (#65) Lint #192: Commit 1792a3f pushed by Nfsaavedra
20s master
master
20s
add memory_limit param to CoqFile and ProofFile (#65) Tests #196: Commit 1792a3f pushed by Nfsaavedra
14m 54s master
master
14m 54s
Memory flag in CoqFile and ProofFile Lint #191: Pull request #65 opened by pcarrott
17s param-memory-limit
param-memory-limit
17s
Memory flag in CoqFile and ProofFile Tests #195: Pull request #65 opened by pcarrott
15m 1s param-memory-limit
param-memory-limit
15m 1s
Add support to Rocq 9.0.1 (#63) Embed code in README #40: Commit f47237a pushed by Nfsaavedra
18s master
master
18s
Add support to Rocq 9.0.1 (#63) Tests #194: Commit f47237a pushed by Nfsaavedra
14m 42s master
master
14m 42s
Add support to Rocq 9.0.1 (#63) Lint #190: Commit f47237a pushed by Nfsaavedra
15s master
master
15s
Add support to Rocq 9.0.1 Lint #189: Pull request #63 synchronize by pcarrott
19s bump-to-rocq
bump-to-rocq
19s
Add support to Rocq 9.0.1 Tests #193: Pull request #63 synchronize by pcarrott
10m 50s bump-to-rocq
bump-to-rocq
10m 50s
Add support to Rocq 9.0.1 Lint #188: Pull request #63 synchronize by pcarrott
15s bump-to-rocq
bump-to-rocq
15s
Add support to Rocq 9.0.1 Tests #192: Pull request #63 synchronize by pcarrott
5m 4s bump-to-rocq
bump-to-rocq
5m 4s
Add support to Rocq 9.0.1 Tests #191: Pull request #63 synchronize by pcarrott
8m 3s bump-to-rocq
bump-to-rocq
8m 3s
Add support to Rocq 9.0.1 Lint #187: Pull request #63 synchronize by pcarrott
15s bump-to-rocq
bump-to-rocq
15s
Add support to Rocq 9.0.1 Tests #190: Pull request #63 synchronize by pcarrott
4m 56s bump-to-rocq
bump-to-rocq
4m 56s
Add support to Rocq 9.0.1 Lint #186: Pull request #63 synchronize by pcarrott
15s bump-to-rocq
bump-to-rocq
15s
Add support to Rocq 9.0.1 Tests #189: Pull request #63 synchronize by pcarrott
4m 50s bump-to-rocq
bump-to-rocq
4m 50s
Add support to Rocq 9.0.1 Lint #185: Pull request #63 synchronize by pcarrott
17s bump-to-rocq
bump-to-rocq
17s
Add support to Rocq 9.0.1 Tests #188: Pull request #63 opened by pcarrott
8m 3s bump-to-rocq
bump-to-rocq
8m 3s