Skip to content

Actions: tydeu/lean4-alloy

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
72 workflow runs
72 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

chore: do not override shell to install Elan in CI CI #80: Commit 49160dc pushed by tydeu
November 4, 2023 19:34 1m 56s stage/ci-touchup
stage/ci-touchup
November 4, 2023 19:34 1m 56s
chore: use builtin MSYS2 bash in Windows CI CI #79: Commit 59d8011 pushed by tydeu
November 4, 2023 19:30 1m 55s stage/ci-touchup
stage/ci-touchup
November 4, 2023 19:30 1m 55s
chore: use builtin MSYS2 bash in Windows CI CI #78: Commit 3439efa pushed by tydeu
November 4, 2023 19:27 2m 39s stage/ci-touchup
stage/ci-touchup
November 4, 2023 19:27 2m 39s
chore: use builtin MSYS2 bash in Windows CI CI #77: Commit 67ab661 pushed by tydeu
November 4, 2023 19:24 1m 49s stage/ci-touchup
stage/ci-touchup
November 4, 2023 19:24 1m 49s
chore: use builtin MSYS2 bash in Windows CI CI #76: Commit 9748700 pushed by tydeu
November 4, 2023 19:23 2m 29s stage/ci-touchup
stage/ci-touchup
November 4, 2023 19:23 2m 29s
chore: use builtin MSYS2 bash in Windows CI CI #75: Commit 21677b9 pushed by tydeu
November 4, 2023 19:21 1m 50s stage/ci-touchup
stage/ci-touchup
November 4, 2023 19:21 1m 50s
chore: use builtin MSYS2 bash in Windows CI CI #74: Commit cfb6f6a pushed by tydeu
November 4, 2023 19:18 3m 10s stage/ci-touchup
stage/ci-touchup
November 4, 2023 19:18 3m 10s
chore: debug setup Windows CC CI #73: Commit cd5feec pushed by tydeu
November 4, 2023 19:16 2m 2s stage/ci-touchup
stage/ci-touchup
November 4, 2023 19:16 2m 2s
feat: respect CC and module weak args in alloy.c.o CI #72: Commit e06527c pushed by tydeu
November 4, 2023 19:13 2m 27s stage/ci-touchup
stage/ci-touchup
November 4, 2023 19:13 2m 27s
chore: put clang in path in Windows CI CI #71: Commit b49bee1 pushed by tydeu
November 4, 2023 19:10 3m 12s stage/ci-touchup
stage/ci-touchup
November 4, 2023 19:10 3m 12s
refactor: use clang for alloy.c.o CI #70: Commit a4fd658 pushed by tydeu
November 4, 2023 18:56 2m 34s stage/ci-touchup
stage/ci-touchup
November 4, 2023 18:56 2m 34s
chore: test no MSYS2 CI CI #69: Commit b7046ce pushed by tydeu
November 4, 2023 18:27 4m 30s stage/ci-touchup
stage/ci-touchup
November 4, 2023 18:27 4m 30s
chore: simplify CI CI #68: Commit e6431f2 pushed by tydeu
November 4, 2023 18:19 6m 29s stage/ci-touchup
stage/ci-touchup
November 4, 2023 18:19 6m 29s
chore: simplify CI CI #67: Commit e71d8c8 pushed by tydeu
November 4, 2023 17:37 3m 49s stage/ci-touchup
stage/ci-touchup
November 4, 2023 17:37 3m 49s
feat: use info tree for shim position information CI #66: Commit e373979 pushed by tydeu
November 4, 2023 17:07 4m 36s info-tree
info-tree
November 4, 2023 17:07 4m 36s
test: raw wrapped struct test CI #65: Commit 3dfe3ef pushed by tydeu
October 15, 2023 23:12 3m 0s master
master
October 15, 2023 23:12 3m 0s
feat: allow declaration in for loop init-clause CI #64: Commit 36689a5 pushed by tydeu
October 15, 2023 20:32 4m 20s master
master
October 15, 2023 20:32 4m 20s
test: parse lean.h CI #63: Commit e36ce09 pushed by tydeu
October 1, 2023 23:46 4m 31s master
master
October 1, 2023 23:46 4m 31s
feat: comments in enums/structs/unions & #if defined CI #62: Commit 8fcbc81 pushed by tydeu
October 1, 2023 09:13 3m 46s master
master
October 1, 2023 09:13 3m 46s
feat: C comments, line escapes, and other grammar touch-ups CI #61: Commit 6ba4235 pushed by tydeu
October 1, 2023 06:18 4m 7s master
master
October 1, 2023 06:18 4m 7s
chore: update to Lean v4.1.0 CI #60: Commit 0d546a0 pushed by tydeu
September 30, 2023 12:14 4m 4s master
master
September 30, 2023 12:14 4m 4s
chore: bump to Lean 4.0.0 stable CI #59: Commit 80e940e pushed by tydeu
September 9, 2023 19:45 3m 9s master
master
September 9, 2023 19:45 3m 9s