Skip to content

Actions: mdbrnowski/apportionmentlib

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
114 workflow runs
114 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

github_actions in /. - Update #1213690574 Dependabot Updates #21: by dependabot bot
30s main
main
30s
github_actions in /. - Update #1207061981 Dependabot Updates #20: by dependabot bot
29s main
main
29s
github_actions in /. - Update #1199586069 Dependabot Updates #19: by dependabot bot
31s main
main
31s
github_actions in /. - Update #1193133810 Dependabot Updates #18: by dependabot bot
31s main
main
31s
Add some Plausible instances (#9) Lean Action CI #59: Commit 57851d6 pushed by mdbrnowski
8m 29s main
main
8m 29s
Copilot code review Copilot code review #4: by Copilot AI
1m 58s refs/pull/9/head
refs/pull/9/head
1m 58s
Add some Plausible instances Lean Action CI #58: Pull request #9 synchronize by mdbrnowski
2m 26s plausible
plausible
2m 26s
Copilot code review Copilot code review #3: by Copilot AI
2m 6s refs/pull/9/head
refs/pull/9/head
2m 6s
Add some Plausible instances Lean Action CI #57: Pull request #9 synchronize by mdbrnowski
2m 21s plausible
plausible
2m 21s
Add some Plausible instances Lean Action CI #56: Pull request #9 opened by mdbrnowski
2m 6s plausible
plausible
2m 6s
Redefine Election and Apportionment (#8) Lean Action CI #55: Commit 34bd57c pushed by mdbrnowski
9m 45s main
main
9m 45s
Redefine Election and Apportionment Lean Action CI #54: Pull request #8 synchronize by mdbrnowski
2m 22s vectors
vectors
2m 22s
Copilot code review Copilot code review #2: by Copilot AI
2m 6s refs/pull/8/head
refs/pull/8/head
2m 6s
Redefine Election and Apportionment Lean Action CI #53: Pull request #8 synchronize by mdbrnowski
2m 11s vectors
vectors
2m 11s
Copilot code review Copilot code review #1: by Copilot AI
2m 10s refs/pull/8/head
refs/pull/8/head
2m 10s
Redefine Election and Apportionment Lean Action CI #52: Pull request #8 synchronize by mdbrnowski
2m 12s vectors
vectors
2m 12s
Redefine Election and Apportionment Lean Action CI #51: Pull request #8 synchronize by mdbrnowski
2m 20s vectors
vectors
2m 20s
Redefine Election and Apportionment Lean Action CI #50: Pull request #8 opened by mdbrnowski
2m 32s vectors
vectors
2m 32s
github_actions in /. - Update #1188743664 Dependabot Updates #17: by dependabot bot
33s main
main
33s
Conform to naming style Lean Action CI #49: Commit 08e4fb2 pushed by mdbrnowski
9m 52s main
main
9m 52s
github_actions in /. - Update #1183235880 Dependabot Updates #16: by dependabot bot
33s main
main
33s
Conform to naming style Lean Action CI #48: Commit b6a5293 pushed by mdbrnowski
9m 45s main
main
9m 45s
Conform to naming style Lean Action CI #47: Commit 8abe99c pushed by mdbrnowski
9m 28s main
main
9m 28s
Remove non-terminal simp and some empty lines Lean Action CI #46: Commit 10d68b7 pushed by mdbrnowski
9m 41s main
main
9m 41s
Upgrade Lean to 4.26.0 Lean Action CI #45: Commit 811cf88 pushed by mdbrnowski
15m 34s main
main
15m 34s