Skip to content

Actions: tydeu/lean4-alloy

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
91 workflow runs
91 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

chore: update to Lean v4.12.0 CI #128: Commit 3c56f56 pushed by tydeu
October 25, 2024 16:56 17s master
master
October 25, 2024 16:56 17s
test: modernize scripts CI #127: Commit a712058 pushed by tydeu
July 22, 2024 17:10 2m 59s master
master
July 22, 2024 17:10 2m 59s
chore: bump Lean v4.9.1 CI #126: Commit 7af65d3 pushed by tydeu
July 16, 2024 15:33 3m 10s master
master
July 16, 2024 15:33 3m 10s
chore: bump Lean to v4.8.0 CI #125: Commit d93e059 pushed by tydeu
June 19, 2024 13:14 2m 12s master
master
June 19, 2024 13:14 2m 12s
feat: configurable optional semicolon CI #124: Commit 8da8169 pushed by tydeu
May 12, 2024 03:09 2m 41s master
master
May 12, 2024 03:09 2m 41s
fix: S example segfault CI #123: Commit d2c496f pushed by tydeu
May 7, 2024 18:58 7m 24s master
master
May 7, 2024 18:58 7m 24s
chore: update to Lean v4.8.0-rc1 CI #122: Commit 2c6dea2 pushed by tydeu
May 5, 2024 23:19 2m 47s master
master
May 5, 2024 23:19 2m 47s
refactor: store C LS in environment extension CI #121: Commit 04e2bae pushed by tydeu
March 17, 2024 21:36 2m 51s master
master
March 17, 2024 21:36 2m 51s
refactor: move visibility/unsafe modifiers after alloy c extern CI #120: Commit 6761a8c pushed by tydeu
March 10, 2024 21:01 4m 29s master
master
March 10, 2024 21:01 4m 29s
chore: update to Lean v4.6.0-rc1 CI #119: Commit 5ae885f pushed by tydeu
February 15, 2024 01:08 2m 46s master
master
February 15, 2024 01:08 2m 46s
chore: update to Lean v4.6.0-rc1 CI #118: Commit 51d1ed7 pushed by tydeu
February 15, 2024 00:59 2m 33s master
master
February 15, 2024 00:59 2m 33s
chore: cleanup C grammar CI #117: Commit be6c8c3 pushed by tydeu
January 20, 2024 21:07 2m 47s master
master
January 20, 2024 21:07 2m 47s
chore: cleanup C grammar CI #116: Commit 1d26eba pushed by tydeu
January 20, 2024 21:06 2m 11s master
master
January 20, 2024 21:06 2m 11s
feat: inline foreach/finalize fns for )opaque_)extern_type CI #115: Commit 0a38fa2 pushed by tydeu
January 13, 2024 20:51 2m 58s master
master
January 13, 2024 20:51 2m 58s
chore: bump for lean4#3159 CI #114: Pull request #7 opened by mhuisi
January 12, 2024 10:14 2m 27s mhuisi:bump-3159
mhuisi:bump-3159
January 12, 2024 10:14 2m 27s
test: server respecting CPATH/C_INCLUDE_PATH CI #113: Commit 1821f2c pushed by tydeu
January 6, 2024 19:00 2m 19s master
master
January 6, 2024 19:00 2m 19s
feat: include path extension helper & test CI #112: Commit c8f7954 pushed by tydeu
January 4, 2024 07:19 2m 7s master
master
January 4, 2024 07:19 2m 7s
doc: update README snippet to match example lakefile (#5) CI #111: Commit 44828a8 pushed by tydeu
January 2, 2024 02:15 4m 54s master
master
January 2, 2024 02:15 4m 54s
Update README snippet to match example lakefile CI #110: Pull request #5 opened by badly-drawn-wizards
January 1, 2024 20:27 4m 52s badly-drawn-wizards:patch-1
badly-drawn-wizards:patch-1
January 1, 2024 20:27 4m 52s
feat: make terminating stmt/decl semicolon "optional" CI #109: Commit a1bb2fe pushed by tydeu
December 23, 2023 22:50 2m 1s master
master
December 23, 2023 22:50 2m 1s
feat: make terminating stmt/decl semicolon "optional" CI #108: Commit 97e1213 pushed by tydeu
December 23, 2023 22:46 2m 7s master
master
December 23, 2023 22:46 2m 7s
feat: indent-based C blocks for def/impl CI #107: Commit 5e1419c pushed by tydeu
December 22, 2023 18:50 2m 1s master
master
December 22, 2023 18:50 2m 1s
feat: indent-based C blocks for def/impl CI #106: Commit c2ea120 pushed by tydeu
December 22, 2023 18:24 2m 2s master
master
December 22, 2023 18:24 2m 2s
chore: cleanup some code in ExternImpl CI #105: Commit 3e048d8 pushed by tydeu
December 22, 2023 08:13 2m 8s master
master
December 22, 2023 08:13 2m 8s
feat: persist shim document state in the worker CI #104: Commit 877b2cb pushed by tydeu
December 21, 2023 21:56 4m 58s master
master
December 21, 2023 21:56 4m 58s