Skip to content

Actions: kassane/lean4-zig

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

update to latest version Zig Build #83: Commit 4ef340a pushed by kassane
January 18, 2024 17:16 4m 51s main
main
January 18, 2024 17:16 4m 51s