Skip to content

Actions: FStarLang/summit-breeze

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
20 workflow runs
20 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
Release v0.2.6 CI #11: Commit 2dd76af pushed by gebner
32s master
master
32s
Release v0.2.6 Release #9: Commit 2dd76af pushed by gebner
4m 9s v0.2.6
v0.2.6
4m 9s
Release v0.2.5 Release #8: Commit ec5017f pushed by gebner
2m 12s v0.2.5
v0.2.5
2m 12s
Release v0.2.5 CI #10: Commit ec5017f pushed by gebner
25s master
master
25s
Release v0.2.4 CI #9: Commit cb14b3c pushed by gebner
42s master
master
42s
Release v0.2.4 Release #7: Commit cb14b3c pushed by gebner
3m 50s v0.2.4
v0.2.4
3m 50s
v0.2.3 Release #6: Commit 470750a pushed by gebner
3m 5s v0.2.3
v0.2.3
3m 5s
v0.2.3 CI #8: Commit 470750a pushed by gebner
30s master
master
30s
v0.2.2 CI #7: Commit 43a2220 pushed by gebner
17s master
master
17s
v0.2.2 Release #5: Commit 43a2220 pushed by gebner
4m 27s v0.2.2
v0.2.2
4m 27s
v0.2.1 CI #6: Commit d09aa16 pushed by gebner
29s master
master
29s
v0.2.1 Release #4: Commit d09aa16 pushed by gebner
6m 52s v0.2.1
v0.2.1
6m 52s
Deploy releases. Release #3: Commit 5bc7146 pushed by gebner
4m 0s v0.2.0
v0.2.0
4m 0s
Deploy releases. CI #5: Commit 5bc7146 pushed by gebner
27s master
master
27s
Fix publisher. Release #2: Commit b2ee906 pushed by gebner
4m 0s v0.1.1
v0.1.1
4m 0s
Fix publisher. CI #4: Commit b2ee906 pushed by gebner
17s master
master
17s
Add Apache 2.0 copyright header to all source files CI #3: Commit e691f26 pushed by gebner
1m 14s master
master
1m 14s
fix: resolve all clippy warnings CI #2: Commit f540148 pushed by gebner
1m 20s master
master
1m 20s
art: thicker and wider wind streaks in logo Release #1: Commit 225f0b0 pushed by gebner
5m 25s v0.1.0
v0.1.0
5m 25s
art: thicker and wider wind streaks in logo CI #1: Commit 225f0b0 pushed by gebner
1m 14s master
master
1m 14s