All workflows lean_action_ci.yml

Actor

All actors qwjyh

Status

All status success failure waiting running

argument for starting directory (completed)

lean_action_ci.yml #6 -Commit 244ace87c3 pushed by qwjyh

master

2024-10-24 19:28:11 +09:00

0s

controlling the display of dotfiles

lean_action_ci.yml #5 -Commit de3fe6dd6d pushed by qwjyh

master

2024-10-23 14:32:21 +09:00

0s

rewrite with Monad transformer

lean_action_ci.yml #4 -Commit e2003d0898 pushed by qwjyh

master

2024-10-22 18:03:56 +09:00

0s

rewrite with custom Monad (without monad transformer)

lean_action_ci.yml #3 -Commit 8d6fc4d214 pushed by qwjyh

master

2024-10-21 22:28:22 +09:00

0s

before creating custom monad & lake script to run main

lean_action_ci.yml #2 -Commit 3124f2bf78 pushed by qwjyh

master

2024-10-21 22:27:42 +09:00

0s

lake + some packages

lean_action_ci.yml #1 -Commit a7b9963740 pushed by qwjyh

master

2024-10-20 16:20:22 +09:00

0s