Skip to content

Actions: argumentcomputer/straume

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
4 workflow runs
4 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

chore: Use Lean v4.4.0 (#27) Straume CI #64: Commit ad2aa66 pushed by arthurpaulino
December 25, 2023 16:23 1m 19s main
main
December 25, 2023 16:23 1m 19s
chore: Use Lean v4.4.0 Straume CI #63: Pull request #27 synchronize by Anderssorby
December 25, 2023 15:05 1m 18s Anderssorby:acs/lean-v4.4.0
Anderssorby:acs/lean-v4.4.0
December 25, 2023 15:05 1m 18s
Add MIT License (#26) Straume CI #61: Commit 33509a4 pushed by samuelburnham
December 13, 2023 21:20 1m 6s main
main
December 13, 2023 21:20 1m 6s
Add MIT License Straume CI #60: Pull request #26 opened by samuelburnham
December 13, 2023 20:50 1m 8s license
license
December 13, 2023 20:50 1m 8s