Skip to content

Actions: instar-lang/mechanization

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
715 workflow runs
715 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
update arch requirement Lean Action CI #972: Commit ab6f4de pushed by kamome1037
8m 29s oopsla26
oopsla26
8m 29s
update readme Lean Action CI #971: Commit 3d46d85 pushed by Kraks
7m 42s oopsla26
oopsla26
7m 42s
rename open_subst Lean Action CI #970: Commit 575e66f pushed by kamome1037
6m 59s oopsla26
oopsla26
6m 59s
docs: vm Lean Action CI #969: Commit dece52f pushed by kamome1037
7m 10s oopsla26
oopsla26
7m 10s
docs: update env Lean Action CI #968: Commit baf4cda pushed by kamome1037
8m 40s oopsla26
oopsla26
8m 40s
docs: update env Lean Action CI #967: Commit d45dc7a pushed by kamome1037
7m 3s oopsla26
oopsla26
7m 3s
docs: update elan install Lean Action CI #966: Commit 2f33806 pushed by kamome1037
7m 21s oopsla26
oopsla26
7m 21s
fix: update makefile Lean Action CI #965: Commit 2e38c8c pushed by kamome1037
6m 56s oopsla26
oopsla26
6m 56s
add package makefile Lean Action CI #964: Commit f6c3b88 pushed by kamome1037
7m 40s oopsla26
oopsla26
7m 40s
chore: bump lean version to v4.29.0-rc2 Lean Action CI #963: Commit 3e7b1a1 pushed by kamome1037
7m 49s main
main
7m 49s
chore: rename Lean Action CI #962: Commit b099727 pushed by kamome1037
6m 43s main
main
6m 43s
chore: rename Lean Action CI #961: Commit b099727 pushed by kamome1037
6m 1s main
main
6m 1s
chore: rename Lean Action CI #960: Commit b099727 pushed by kamome1037
6m 30s master
master
6m 30s
chore: rename Lean Action CI #959: Commit e591bc1 pushed by kamome1037
6m 39s master
master
6m 39s
reorg Lean Action CI #958: Commit ecde059 pushed by kamome1037
6m 47s master
master
6m 47s
chore: clean up code Lean Action CI #957: Commit 3506f7d pushed by kamome1037
6m 45s master
master
6m 45s
feat: mutable stage power Lean Action CI #956: Commit e58de35 pushed by kamome1037
6m 39s master
master
6m 39s
halfdone: mutable stage power input Lean Action CI #955: Commit 32f64bd pushed by kamome1037
6m 21s master
master
6m 21s
halfdone: mutable stage power input Lean Action CI #954: Commit 3dce529 pushed by kamome1037
6m 30s master
master
6m 30s
halfdone: mutable stage power input Lean Action CI #953: Commit 8285a55 pushed by kamome1037
6m 45s master
master
6m 45s
feat: mutable stage power input Lean Action CI #952: Commit 0ca08d8 pushed by kamome1037
6m 26s master
master
6m 26s
feat: stage power Lean Action CI #951: Commit 66b5294 pushed by kamome1037
6m 41s master
master
6m 41s
feat: counterexamples Lean Action CI #950: Commit d1a609a pushed by kamome1037
6m 23s master
master
6m 23s
feat: counterexamples Lean Action CI #949: Commit 4428a73 pushed by kamome1037
6m 53s master
master
6m 53s
halfdone: stage power Lean Action CI #948: Commit 48af094 pushed by kamome1037
6m 39s master
master
6m 39s