Skip to content

Actions: mcdoll/DynamicalSystems

Actions

Create Release

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
create-release.yml
11 workflow runs
11 workflow runs

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
chore: update mathlib (#49) Create Release #11: Commit 59dac81 pushed by mcdoll
12s main
main
12s
chore: update mathlib (#43) Create Release #10: Commit f1fe9ba pushed by mcdoll
11s main
main
11s
chore: update mathlib (#37) Create Release #9: Commit 2173754 pushed by mcdoll
9s main
main
9s
chore: update mathlib (#35) Create Release #8: Commit 328bd79 pushed by mcdoll
10s main
main
10s
chore: update Lean (#23) Create Release #7: Commit 1a6e699 pushed by mcdoll
13s main
main
13s
chore: update toolchain (#15) Create Release #6: Commit 9ea157c pushed by mcdoll
8s main
main
8s
feat: use verso (#9) Create Release #5: Commit b2cf2c5 pushed by mcdoll
10s main
main
10s
fix Create Release #4: Commit fed9638 pushed by mcdoll
11s main
main
11s
wip Create Release #3: Commit 55beb26 pushed by mcdoll
9s main
main
9s
empty file Create Release #2: Commit a3e934f pushed by mcdoll
13s main
main
13s
Initial commit Create Release #1: Commit ef4dcaa pushed by mcdoll
7s main
main
7s