Skip to content

Actions: opencompl/riscv-lean

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
204 workflow runs
204 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

chore: add BitVec.signExtend_signExtend_of_le for upstreaming (#54) CI #201: Commit ac62609 pushed by github-merge-queue bot
25s main
main
25s
chore: add BitVec.signExtend_signExtend_of_le for upstreaming CI #200: Pull request #54 synchronize by luisacicolini
29s forlean-new
forlean-new
29s
chore: add BitVec.signExtend_signExtend_of_le for upstreaming CI #199: Pull request #54 synchronize by luisacicolini
39s forlean-new
forlean-new
39s
chore: add BitVec.signExtend_signExtend_of_le for upstreaming CI #198: Pull request #54 opened by luisacicolini
33s forlean-new
forlean-new
33s
chore: Polish README FIle (#53) CI #197: Commit ca081b2 pushed by github-merge-queue bot
21s main
main
21s
chore: Polish README FIle CI #196: Pull request #53 synchronize by osmanyasar05
21s polish_readme
polish_readme
21s
chore: Polish README FIle CI #195: Pull request #53 synchronize by osmanyasar05
24s polish_readme
polish_readme
24s
chore: Polish README FIle CI #194: Pull request #53 synchronize by osmanyasar05
24s polish_readme
polish_readme
24s
chore: Polish README FIle CI #193: Pull request #53 synchronize by osmanyasar05
34s polish_readme
polish_readme
34s
chore: Polish README FIle CI #192: Pull request #53 synchronize by osmanyasar05
27s polish_readme
polish_readme
27s
chore: Polish README FIle CI #191: Pull request #53 opened by osmanyasar05
22s polish_readme
polish_readme
22s
chore: bump Sail model (#52) CI #190: Commit bbc8bcd pushed by github-merge-queue bot
9m 39s main
main
9m 39s
chore: bump Sail model and Lean CI #189: Pull request #52 opened by osmanyasar05
10m 40s bump_sail
bump_sail
10m 40s
chore: more theorem (#51) CI #188: Commit d045776 pushed by github-merge-queue bot
1m 2s main
main
1m 2s
feat: more theorems CI #187: Pull request #51 opened by luisacicolini
36s more-lean
more-lean
36s
feat: more ForLean theorems (#50) CI #186: Commit 99b86fe pushed by github-merge-queue bot
42s main
main
42s
feat: more ForLean theorems CI #185: Pull request #50 synchronize by luisacicolini
46s more-for-lean
more-for-lean
46s
feat: more ForLean theorems CI #184: Pull request #50 opened by luisacicolini
29s more-for-lean
more-for-lean
29s
CI CI #183: Manually run by tobiasgrosser
8m 44s main
main
8m 44s
Add GitHub action to automatically update Lean & Mathlib CI #182: Pull request #49 synchronize by tobiasgrosser
24s tobias/lean-autoupdate
tobias/lean-autoupdate
24s
Add GitHub action to automatically update Lean & Mathlib Update Lean #3: Pull request #49 synchronize by tobiasgrosser
39s tobias/lean-autoupdate
tobias/lean-autoupdate
39s
Add GitHub action to automatically update Lean & Mathlib Update Lean #2: Pull request #49 synchronize by tobiasgrosser
15s tobias/lean-autoupdate
tobias/lean-autoupdate
15s
Add GitHub action to automatically update Lean & Mathlib CI #181: Pull request #49 synchronize by tobiasgrosser
9m 15s tobias/lean-autoupdate
tobias/lean-autoupdate
9m 15s
Add GitHub action to automatically update Lean & Mathlib CI #180: Pull request #49 opened by tobiasgrosser
8m 36s tobias/lean-autoupdate
tobias/lean-autoupdate
8m 36s
Lean autoupdate Update Lean #1: Commit 331af13 pushed by tobiasgrosser
Failure tobias/lean-autoupdate
tobias/lean-autoupdate
Failure