Skip to content

Actions: formal-land/rocq-code-assistant

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1 workflow run
1 workflow run

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Added basic test files .github/workflows/test.yml #1: Commit f5d73fa pushed by andreadlm
February 17, 2025 10:12 23m 23s andreadlm@testing
andreadlm@testing
February 17, 2025 10:12 23m 23s