Skip to content

Actions: smimram/batt

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
374 workflow runs
374 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
Merge branch 'main' into lazy-unfold Build #374: Commit 73e6660 pushed by smimram
50s lazy-unfold
lazy-unfold
50s
Only unfold at toplevel. Build #373: Commit 042aa5b pushed by smimram
43s lazy-unfold
lazy-unfold
43s
Fixes. Build #372: Commit 76f069c pushed by smimram
44s lazy-unfold
lazy-unfold
44s
Nicer printing of errors working. Build #371: Commit 43c472a pushed by smimram
47s lazy-unfold
lazy-unfold
47s
More unfold. Build #370: Commit ecc42c3 pushed by smimram
40s lazy-unfold
lazy-unfold
40s
Recusively force. Build #369: Commit 9dc98a2 pushed by smimram
45s main
main
45s
Better formulation. Build #368: Commit 7dacc0d pushed by smimram
46s main
main
46s
Merge pull request #11 from smimram/refl Build #367: Commit fb6addb pushed by smimram
47s main
main
47s
Restore. Build #366: Commit 3397f92 pushed by smimram
1m 1s refl
refl
1m 1s
More implicit. Build #365: Commit c9646b0 pushed by smimram
50s refl
refl
50s
Correctly generate meta. Build #364: Commit abe651e pushed by smimram
46s refl
refl
46s
Fix k generation for J. Build #363: Commit 520223a pushed by smimram
50s refl
refl
50s
Merge branch 'main' of github.com:smimram/batt Build #362: Commit a9b776c pushed by luyise
49s main
main
49s
Revert "Fix env when type-checking J." Build #361: Commit 66713aa pushed by smimram
46s main
main
46s
Fix env when type-checking J. Build #360: Commit f1cf782 pushed by smimram
59s main
main
59s
Fix env when type-checking J. Build #359: Commit 6db2696 pushed by smimram
51s refl
refl
51s
Add no-builtins mode. Build #358: Commit d37dbda pushed by smimram
39s refl
refl
39s
Merge branch 'main' into refl Build #357: Commit b6ed607 pushed by smimram
45s refl
refl
45s
Disable for now. Build #356: Commit 0b1b461 pushed by smimram
48s refl
refl
48s
Merge branch 'main' of github.com:smimram/batt Build #355: Commit 6840a0a pushed by smimram
1m 7s main
main
1m 7s
merging Build #354: Commit 00b109f pushed by luyise
45s main
main
45s
Progressing. Build #353: Commit bd347bc pushed by smimram
49s refl
refl
49s
Notation to specify type. Build #352: Commit 258e08a pushed by smimram
52s refl
refl
52s
Better message. Build #351: Commit 4ceaed4 pushed by smimram
53s refl
refl
53s
More renaming. Build #350: Commit f003252 pushed by smimram
52s refl
refl
52s