Skip to content

Actions: pufferffish/idris2-tls

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1 workflow run
1 workflow run

Filter by Event

Loading

Filter by Status

Loading

Filter by Branch

Loading

Filter by Actor

Loading
update year in license Build #108: Commit c3ea8c3 pushed by DSLstandard
February 11, 2024 09:55 24m 26s master
master
February 11, 2024 09:55 24m 26s