Skip to content

Actions: uds-psl/coq-synthetic-computability

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
5 workflow runs
5 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

README Main workflow #159: Commit 85f7f4c pushed by yforster
January 27, 2025 15:40 16m 39s main
main
January 27, 2025 15:40 16m 39s
fix CI Main workflow #158: Commit 5162225 pushed by yforster
January 27, 2025 15:18 16m 40s main
main
January 27, 2025 15:18 16m 40s
fix CI Main workflow #157: Commit 51d6296 pushed by yforster
January 27, 2025 11:19 11m 31s main
main
January 27, 2025 11:19 11m 31s
Post's problem (#4) Main workflow #156: Commit dc14fa3 pushed by yforster
January 27, 2025 11:16 22s main
main
January 27, 2025 11:16 22s
Post's problem Main workflow #155: Pull request #4 opened by yforster
January 27, 2025 11:10 23s HaoyiZeng:main
HaoyiZeng:main
January 27, 2025 11:10 23s