Skip to content

Actions: sr-lab/coqpyt

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
64 workflow runs
64 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

change version of pyyaml. add python3.12 to CI (#61) Tests #187: Commit 17e2fa6 pushed by Nfsaavedra
14m 4s master
master
14m 4s
change version of pyyaml. add python3.12 to CI (#61) Lint #183: Commit 17e2fa6 pushed by Nfsaavedra
23s master
master
23s
add python3.12 to CI Lint #182: Pull request #61 opened by Nfsaavedra
15s pyyaml
pyyaml
15s
add python3.12 to CI Tests #186: Pull request #61 opened by Nfsaavedra
14m 33s pyyaml
pyyaml
14m 33s
uv setup and add python version requirements to README (#59) Tests #185: Commit b1d8880 pushed by Nfsaavedra
13m 24s master
master
13m 24s
uv setup and add python version requirements to README (#59) Lint #181: Commit b1d8880 pushed by Nfsaavedra
13s master
master
13s
uv setup and add python version requirements to README (#59) Embed code in README #39: Commit b1d8880 pushed by Nfsaavedra
13s master
master
13s
uv setup and add python version requirements to README Lint #180: Pull request #59 synchronize by Nfsaavedra
13s python-setup
python-setup
13s
uv setup and add python version requirements to README Tests #184: Pull request #59 synchronize by Nfsaavedra
10m 29s python-setup
python-setup
10m 29s
uv setup and add python version requirements to README Tests #183: Pull request #59 opened by Nfsaavedra
1h 23m 14s python-setup
python-setup
1h 23m 14s
uv setup and add python version requirements to README Lint #179: Pull request #59 opened by Nfsaavedra
16s python-setup
python-setup
16s
uv setup and add python version requirements to README Embed code in README #38: Pull request #59 opened by Nfsaavedra
15s
15s
added physical-to-logical path mapping command-line option (#57) Lint #178: Commit 75a3cca pushed by Nfsaavedra
16s master
master
16s
added physical-to-logical path mapping command-line option (#57) Tests #182: Commit 75a3cca pushed by Nfsaavedra
13m 52s master
master
13m 52s
added physical-to-logical path mapping command-line option Tests #181: Pull request #57 synchronize by ali-ghanbari
10m 19s ali-ghanbari:master
ali-ghanbari:master
10m 19s
added physical-to-logical path mapping command-line option Lint #177: Pull request #57 synchronize by ali-ghanbari
16s ali-ghanbari:master
ali-ghanbari:master
16s
added physical-to-logical path mapping command-line option Lint #176: Pull request #57 opened by ali-ghanbari
20s ali-ghanbari:master
ali-ghanbari:master
20s
added physical-to-logical path mapping command-line option Tests #180: Pull request #57 opened by ali-ghanbari
33m 59s ali-ghanbari:master
ali-ghanbari:master
33m 59s
(incomplete) handling of aborted proofs (#56) Lint #175: Commit 35ebaaa pushed by Nfsaavedra
17s master
master
17s
(incomplete) handling of aborted proofs (#56) Tests #179: Commit 35ebaaa pushed by Nfsaavedra
5m 16s master
master
5m 16s
Partial handling of aborted proofs Lint #174: Pull request #56 opened by pcarrott
23s errors
errors
23s
Partial handling of aborted proofs Tests #178: Pull request #56 opened by pcarrott
4m 43s errors
errors
4m 43s
Add support for Coq 8.20 (#53) Tests #177: Commit 17a16bc pushed by Nfsaavedra
10m 58s master
master
10m 58s
Add support for Coq 8.20 (#53) Lint #173: Commit 17a16bc pushed by Nfsaavedra
17s master
master
17s
Add citation to README (#54) Tests #176: Commit b718d1c pushed by Nfsaavedra
4m 5s master
master
4m 5s