Skip to content
Lean Action CI

Merge branch 'main' of github.com:GuiBrandt/lean4-polyhedral-combinat… #17

Sign in to view logs

Merge branch 'main' of github.com:GuiBrandt/lean4-polyhedral-combinat…

Merge branch 'main' of github.com:GuiBrandt/lean4-polyhedral-combinat… #17

Triggered via push September 22, 2024 13:49
@GuiBrandtGuiBrandt
pushed b212781
main
Status Success
Total duration 1m 35s
Artifacts –

lean_action_ci.yml

on: push
build
1m 26s
build
Fit to window
Zoom out
Zoom in