Skip to content

Actions: mdbrnowski/apportionmentlib

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
140 workflow runs
140 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
github_actions in /. - Update #1330663677 Dependabot Updates #34: by dependabot Bot
35s main
main
35s
github_actions in /. - Update #1321046796 Dependabot Updates #33: by dependabot Bot
35s main
main
35s
github_actions in /. - Update #1309353504 Dependabot Updates #32: by dependabot Bot
38s main
main
38s
github_actions in /. - Update #1300893681 Dependabot Updates #31: by dependabot Bot
26s main
main
26s
github_actions in /. - Update #1289656873 Dependabot Updates #30: by dependabot Bot
48s main
main
48s
Golf proofs Lean Action CI #72: Commit ee3929b pushed by mdbrnowski
10m 29s main
main
10m 29s
Sort and align BibTeX file Lean Action CI #71: Commit a662bf1 pushed by mdbrnowski
42m 28s main
main
42m 28s
github_actions in /. - Update #1281416758 Dependabot Updates #29: by dependabot Bot
32s main
main
32s
github_actions in /. - Update #1273346792 Dependabot Updates #28: by dependabot Bot
30s main
main
30s
Fix Plausible (use [NeZero] instead of ℕ+) (#12) Lean Action CI #70: Commit 97ee875 pushed by mdbrnowski
9m 34s main
main
9m 34s
Fix Plausible (use [NeZero] instead of ℕ+) Lean Action CI #69: Pull request #12 synchronize by mdbrnowski
1m 41s fix-plausible
fix-plausible
1m 41s
Fix Plausible (use [NeZero] instead of ℕ+) Lean Action CI #68: Pull request #12 opened by mdbrnowski
1m 47s fix-plausible
fix-plausible
1m 47s
Change num_parties_pos to n_pos (#11) Lean Action CI #67: Commit 7b1a732 pushed by mdbrnowski
10m 11s main
main
10m 11s
Change num_parties_pos to n_pos Lean Action CI #66: Pull request #11 opened by mdbrnowski
1m 53s rename-n-pos
rename-n-pos
1m 53s
Introduce important restrictions (#10) Lean Action CI #65: Commit de74a1f pushed by mdbrnowski
46m 41s main
main
46m 41s
Introduce important restrictions Lean Action CI #64: Pull request #10 synchronize by mdbrnowski
2m 2s votes-sum-pos
votes-sum-pos
2m 2s
Introduce important restrictions Lean Action CI #63: Pull request #10 synchronize by mdbrnowski
2m 17s votes-sum-pos
votes-sum-pos
2m 17s
Introduce important restrictions Lean Action CI #62: Pull request #10 opened by mdbrnowski
2m 31s votes-sum-pos
votes-sum-pos
2m 31s
github_actions in /. - Update #1265574718 Dependabot Updates #27: by dependabot Bot
26s main
main
26s
github_actions in /. - Update #1255302951 Dependabot Updates #26: by dependabot Bot
43s main
main
43s
Upgrade Lean to 4.28.0 Lean Action CI #61: Commit a3f98a3 pushed by mdbrnowski
16m 44s main
main
16m 44s
github_actions in /. - Update #1245819698 Dependabot Updates #25: by dependabot Bot
27s main
main
27s
github_actions in /. - Update #1238568194 Dependabot Updates #24: by dependabot Bot
28s main
main
28s
github_actions in /. - Update #1231102832 Dependabot Updates #23: by dependabot Bot
29s main
main
29s
github_actions in /. - Update #1221438859 Dependabot Updates #22: by dependabot Bot
25s main
main
25s