Skip to content

Actions: ucsd-formal/constrained-decoding-formalization

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
72 workflow runs
72 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
Rename tokens => terminals where appropriate Lean Action CI #127: Commit 112af02 pushed by enigmurl
2m 20s main
main
2m 20s
Rename tokens => terminals where appropriate Deploy dependency graph #102: Commit 112af02 pushed by enigmurl
3m 40s main
main
3m 40s
Rename gcd language to target language Deploy dependency graph #101: Commit 6638599 pushed by enigmurl
3m 24s main
main
3m 24s
Rename gcd language to target language Lean Action CI #126: Commit 6638599 pushed by enigmurl
1m 39s main
main
1m 39s
Show JSON parser as example Deploy dependency graph #100: Commit 0c7e797 pushed by enigmurl
3m 23s main
main
3m 23s
Show JSON parser as example Lean Action CI #125: Commit 0c7e797 pushed by enigmurl
1m 50s main
main
1m 50s
More minor cleanup and refactoring Deploy dependency graph #99: Commit 6f81a7a pushed by enigmurl
3m 32s main
main
3m 32s
More minor cleanup and refactoring Lean Action CI #124: Commit 6f81a7a pushed by enigmurl
3m 36s main
main
3m 36s
Remove home page Deploy dependency graph #98: Commit 0e48096 pushed by enigmurl
3m 45s main
main
3m 45s
Remove home page Lean Action CI #123: Commit 0e48096 pushed by enigmurl
1m 46s main
main
1m 46s
Remove blueprint Lean Action CI #122: Commit 74f9f4f pushed by enigmurl
2m 26s main
main
2m 26s
Remove blueprint Deploy dependency graph #97: Commit 74f9f4f pushed by enigmurl
1m 47s main
main
1m 47s
Refactor and split up proofs into smaller proofs Lean Action CI #121: Commit 5f28042 pushed by enigmurl
2m 36s main
main
2m 36s
Refactor and split up proofs into smaller proofs Deploy dependency graph #96: Commit 5f28042 pushed by enigmurl
1m 3s main
main
1m 3s
Merge branch 'main' of https://github.com/ucsd-formal/constrained-dec… Deploy dependency graph #95: Commit 3332981 pushed by enigmurl
3m 19s main
main
3m 19s
Merge branch 'main' of https://github.com/ucsd-formal/constrained-dec… Lean Action CI #120: Commit 3332981 pushed by enigmurl
2m 8s main
main
2m 8s
Update copyright year and owner in LICENSE file Lean Action CI #119: Commit 79e4028 pushed by arnavdandu
3m 35s main
main
3m 35s
Update copyright year and owner in LICENSE file Deploy dependency graph #94: Commit 79e4028 pushed by arnavdandu
3m 38s main
main
3m 38s
Move planning/notes markdown files to docs/ and remove from repo Lean Action CI #118: Commit 8a47865 pushed by arnavdandu
1m 45s main
main
1m 45s
Move planning/notes markdown files to docs/ and remove from repo Deploy dependency graph #93: Commit 8a47865 pushed by arnavdandu
3m 42s main
main
3m 42s
updated documentation Deploy dependency graph #92: Commit a8214c0 pushed by arnavdandu
3m 20s main
main
3m 20s
updated documentation Lean Action CI #117: Commit a8214c0 pushed by arnavdandu
2m 43s main
main
2m 43s
done Lean Action CI #116: Commit de14cdb pushed by arnavdandu
1m 41s main
main
1m 41s
done Deploy dependency graph #91: Commit de14cdb pushed by arnavdandu
3m 41s main
main
3m 41s
Add checkerAllows lemmas, define GCDLanguage, fix GCDChecker_complete… Lean Action CI #115: Commit 88caf49 pushed by arnavdandu
1m 33s main
main
1m 33s