Skip to content

Actions: midspiral/LemmaScript

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
593 workflow runs
593 workflow runs

Filter by Workflow

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

0.5.2
CI #563: Commit e30eab9 pushed by namin
11m 49s main
0.5.2
Site #31: Commit e30eab9 pushed by namin
1m 8s main
renaming
CI #561: Commit 55b5f0e pushed by namin
11m 8s main
renaming
Site #29: Commit 55b5f0e pushed by namin
54s main
minor
CI #560: Commit 6b6de65 pushed by namin
13m 33s main
minor
Site #28: Commit 6b6de65 pushed by namin
53s main
add skills
CI #559: Commit 3d2bc95 pushed by namin
12m 4s main
add skills
Site #27: Commit 3d2bc95 pushed by namin
44s main
remove todo
CI #558: Commit f9a7489 pushed by namin
11m 37s main
remove todo
Site #26: Commit f9a7489 pushed by namin
1m 33s main
address todos
Site #25: Commit 3c5beb8 pushed by namin
55s main
address todos
CI #557: Commit 3c5beb8 pushed by namin
11m 17s main
change site
Site #24: Commit 431033a pushed by namin
55s main
change site
CI #556: Commit 431033a pushed by namin
12m 20s main
bring perm.ts to lean
CI #553: Pull request #100 synchronize by namin
11m 21s perm-lean
bring perm.ts to lean
CI #552: Pull request #100 synchronize by namin
12m 52s perm-lean
minor
CI #549: Commit 70cb1f2 pushed by namin
11m 15s main