All workflows lean_action_ci.yml

Actor

All actors max

Status

All status success failure waiting running

Add README, CONTRIBUTING, editorconfig, gitattributes, justfile

#3 -Commit 23162fb93a pushed by max

main

2026-04-30 18:58:20 -05:00

0s

Add README, CONTRIBUTING, editorconfig, gitattributes, justfile

#2 -Commit 23162fb93a pushed by max

master

2026-04-30 12:58:20 -05:00

0s

Initial commit: Lean 4 reimplementation of GNU Octave

#1 -Commit db79eb3fde pushed by max

master

2026-04-29 10:44:26 -05:00

0s