Skip to content

Actions: amarmaduke/lean-subst

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
226 workflow runs
226 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
wip Lean Action CI #146: Commit 98e7d93 pushed by amarmaduke
29s compose
compose
29s
improve renaming/substitution notation Lean Action CI #145: Commit 1e7fef9 pushed by amarmaduke
30s compose
compose
30s
remove experiments file Build the project and deploy to GitHub Pages #92: Commit 608b5dd pushed by amarmaduke
10m 14s main
main
10m 14s
remove experiments file Lean Action CI #144: Commit 608b5dd pushed by amarmaduke
30s main
main
30s
update examples and lean version Lean Action CI #143: Commit 8603469 pushed by amarmaduke
54s main
main
54s
update examples and lean version Build the project and deploy to GitHub Pages #91: Commit 8603469 pushed by amarmaduke
12m 28s main
main
12m 28s
improve error messages Build the project and deploy to GitHub Pages #90: Commit 4b37529 pushed by amarmaduke
10m 41s main
main
10m 41s
improve error messages Lean Action CI #142: Commit 4b37529 pushed by amarmaduke
38s main
main
38s
Better errors in automation Build the project and deploy to GitHub Pages #89: Pull request #10 opened by SageBinder
46s SageBinder:automation
SageBinder:automation
46s
Better errors in automation Lean Action CI #141: Pull request #10 opened by SageBinder
47s SageBinder:automation
SageBinder:automation
47s
fix instant gen bug, fix stable tactic Lean Action CI #140: Commit 79ecc4c pushed by amarmaduke
51s main
main
51s
fix instant gen bug, fix stable tactic Build the project and deploy to GitHub Pages #88: Commit 79ecc4c pushed by amarmaduke
10m 4s main
main
10m 4s
Automation (#9) Lean Action CI #139: Commit 8bdaf02 pushed by amarmaduke
40s main
main
40s
Automation (#9) Build the project and deploy to GitHub Pages #87: Commit 8bdaf02 pushed by amarmaduke
11m 30s main
main
11m 30s
Automation Lean Action CI #138: Pull request #9 opened by SageBinder
37s SageBinder:automation
SageBinder:automation
37s
Automation Build the project and deploy to GitHub Pages #86: Pull request #9 opened by SageBinder
8m 44s SageBinder:automation
SageBinder:automation
8m 44s
add fcbv, symbolic exs, and strong norm for stlc (#8) Build the project and deploy to GitHub Pages #85: Commit 1f25d8b pushed by amarmaduke
10m 29s main
main
10m 29s
add fcbv, symbolic exs, and strong norm for stlc (#8) Lean Action CI #137: Commit 1f25d8b pushed by amarmaduke
46s main
main
46s
Add FCBV, Symbolic, Strong norm for STLC Build the project and deploy to GitHub Pages #84: Pull request #8 opened by amarmaduke
8m 10s fcbv
fcbv
8m 10s
Add FCBV, Symbolic, Strong norm for STLC Lean Action CI #136: Pull request #8 opened by amarmaduke
41s fcbv
fcbv
41s
all the examples Lean Action CI #135: Commit 4a0e191 pushed by amarmaduke
44s fcbv
fcbv
44s
add instance draft to automation Lean Action CI #134: Commit 32e6085 pushed by amarmaduke
35s main
main
35s
add instance draft to automation Build the project and deploy to GitHub Pages #83: Commit 32e6085 pushed by amarmaduke
11m 24s main
main
11m 24s
Fix vector proofs for system F example (#7) Lean Action CI #133: Commit a6a0bc1 pushed by amarmaduke
52s main
main
52s
Fix vector proofs for system F example (#7) Build the project and deploy to GitHub Pages #82: Commit a6a0bc1 pushed by amarmaduke
12m 7s main
main
12m 7s