Skip to content

Actions: a-tiny-project/problib

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
8 workflow runs
8 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
Clarify Mathlib usage in README Build source release #8: Commit 81c0362 pushed by femtomc
9m 14s main
main
9m 14s
Update logo width in README Build source release #7: Commit 4dc2416 pushed by femtomc
4s main
main
4s
Revise README for clarity and conciseness Build source release #6: Commit 2888bc3 pushed by femtomc
5s main
main
5s
Update README.md Build source release #5: Commit a7e5c5c pushed by femtomc
8m 42s main
main
8m 42s
Source release Build source release #4: Commit ff55031 pushed by femtomc
9m 11s main
main
9m 11s
Source release Build source release #3: Commit 899b7a1 pushed by femtomc
10m 27s main
main
10m 27s
Source release Build source release #2: Commit b508abd pushed by femtomc
12m 19s main
main
12m 19s
Source release Build source release #1: Commit 1a8ec02 pushed by femtomc
7m 39s main
main
7m 39s