Skip to content

Actions: ybertot/coq

Actions

Windows CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
4 workflow runs
4 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

removed uses and of Zeq_bool in setoid_ring Windows CI #9: Commit 0c12a43 pushed by ybertot
November 6, 2024 10:47 50m 3s remove-Zeq_bool
remove-Zeq_bool
November 6, 2024 10:47 50m 3s
add teams Stamp and Picube in CREDITS Windows CI #8: Commit f2d105b pushed by ybertot
June 12, 2024 07:58 38m 8s add-projects-CREDITS
add-projects-CREDITS
June 12, 2024 07:58 38m 8s
only prevent cs resolution when there is a simplification Windows CI #7: Commit e73f274 pushed by ybertot
February 29, 2024 08:55 1h 4m 50s demo-liberabaci-feb-2024
demo-liberabaci-feb-2024
February 29, 2024 08:55 1h 4m 50s
only prevent cs resolution when there is a simplification Windows CI #6: Commit e73f274 pushed by ybertot
February 29, 2024 08:51 45m 45s demo-liberabaci-feb-2024
demo-liberabaci-feb-2024
February 29, 2024 08:51 45m 45s