Skip to content

Actions: midspiral/trace-solo-lemmascript

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
9 workflow runs
9 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
typescript frontend LemmaScript #9: Commit 14e3e4c pushed by namin
49s main
main
49s
fix formatting in README LemmaScript #8: Commit 156264b pushed by namin
37s main
main
37s
modify CI badge LemmaScript #7: Commit 2838025 pushed by namin
41s main
main
41s
CI badge LemmaScript #6: Commit 8ae33e0 pushed by namin
43s main
main
43s
bump CI LemmaScript #5: Commit 3074563 pushed by namin
37s main
main
37s
more verify LemmaScript #4: Commit c67b84d pushed by namin
43s main
main
43s
what is cool LemmaScript #3: Commit 55285ec pushed by namin
45s main
main
45s
more verif LemmaScript #2: Commit c876d6f pushed by namin
48s main
main
48s
ci LemmaScript #1: Commit 8d27b26 pushed by namin
42s main
main
42s