Skip to content

Actions: sr-lab/coqpyt

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
311 workflow runs
311 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add interface to directly change the steps of a proof
Lint #118: Pull request #36 synchronize by Nfsaavedra
January 22, 2024 10:22 15s proof_interaction
January 22, 2024 10:22 15s
Fix rollback of deleted steps in ProofFile.change_steps (#37)
Tests #121: Commit ad05cc2 pushed by Nfsaavedra
January 22, 2024 10:19 11m 27s master
January 22, 2024 10:19 11m 27s
Fix rollback of deleted steps in ProofFile.change_steps (#37)
Lint #117: Commit ad05cc2 pushed by Nfsaavedra
January 22, 2024 10:19 17s master
January 22, 2024 10:19 17s
Fix rollback of deleted steps in ProofFile.change_steps
Tests #120: Pull request #37 opened by pcarrott
January 22, 2024 02:32 11m 34s change_steps_rollback
January 22, 2024 02:32 11m 34s
black
Lint #115: Commit b4ba1d2 pushed by Nfsaavedra
January 21, 2024 11:15 19s master
January 21, 2024 11:15 19s
black
Tests #119: Commit b4ba1d2 pushed by Nfsaavedra
January 21, 2024 11:15 11m 4s master
January 21, 2024 11:15 11m 4s
Pretty prints
Tests #118: Commit abfb77e pushed by Nfsaavedra
January 21, 2024 11:03 11m 19s master
January 21, 2024 11:03 11m 19s
Pretty prints
Lint #114: Commit abfb77e pushed by Nfsaavedra
January 21, 2024 11:03 15s master
January 21, 2024 11:03 15s
Allow relative paths
Lint #113: Commit 5134847 pushed by Nfsaavedra
January 20, 2024 19:51 18s master
January 20, 2024 19:51 18s
Allow relative paths
Tests #117: Commit 5134847 pushed by Nfsaavedra
January 20, 2024 19:51 10m 51s master
January 20, 2024 19:51 10m 51s
Small fix in rollback
Tests #116: Commit 5d06b23 pushed by Nfsaavedra
January 20, 2024 19:43 14m 15s master
January 20, 2024 19:43 14m 15s
Small fix in rollback
Lint #112: Commit 5d06b23 pushed by Nfsaavedra
January 20, 2024 19:43 15s master
January 20, 2024 19:43 15s
Add interface to directly change the steps of a proof
Lint #111: Pull request #36 opened by Nfsaavedra
January 20, 2024 18:16 20s proof_interaction
January 20, 2024 18:16 20s
Add interface to directly change the steps of a proof
Tests #115: Pull request #36 opened by Nfsaavedra
January 20, 2024 18:16 15m 34s proof_interaction
January 20, 2024 18:16 15m 34s
Fix program and lock (#34)
Lint #110: Commit a8a2530 pushed by Nfsaavedra
January 5, 2024 11:57 15s master
January 5, 2024 11:57 15s
Fix program and lock (#34)
Tests #114: Commit a8a2530 pushed by Nfsaavedra
January 5, 2024 11:57 11m 18s master
January 5, 2024 11:57 11m 18s
Fix program and lock
Tests #113: Pull request #34 synchronize by pcarrott
January 5, 2024 11:41 11m 10s fix_program_and_lock
January 5, 2024 11:41 11m 10s
Fix program and lock
Lint #109: Pull request #34 synchronize by pcarrott
January 5, 2024 11:41 16s fix_program_and_lock
January 5, 2024 11:41 16s
Fix program and lock
Lint #108: Pull request #34 opened by pcarrott
January 5, 2024 01:19 15s fix_program_and_lock
January 5, 2024 01:19 15s
Fix program and lock
Tests #112: Pull request #34 opened by pcarrott
January 5, 2024 01:19 11m 32s fix_program_and_lock
January 5, 2024 01:19 11m 32s
Fix bugs related to notations not being found (#33)
Tests #111: Commit aa827f1 pushed by pcarrott
January 4, 2024 19:58 11m 27s master
January 4, 2024 19:58 11m 27s
Fix bugs related to notations not being found (#33)
Lint #107: Commit aa827f1 pushed by pcarrott
January 4, 2024 19:58 16s master
January 4, 2024 19:58 16s
Fix bugs related to notations not being found
Tests #110: Pull request #33 synchronize by Nfsaavedra
January 4, 2024 19:42 11m 9s fix_notation_not_found
January 4, 2024 19:42 11m 9s
Fix bugs related to notations not being found
Lint #106: Pull request #33 synchronize by Nfsaavedra
January 4, 2024 19:42 43s fix_notation_not_found
January 4, 2024 19:42 43s