Skip to content

Actions: zachjs/sv2v

Actions

Notice

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
14 workflow runs
14 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

allow building with happy v2
Notice #84: Commit 5374679 pushed by zachjs
September 29, 2024 19:48 1m 53s master
September 29, 2024 19:48 1m 53s
convert severity and elaboration system tasks (#276)
Notice #83: Commit bc79e30 pushed by zachjs
September 3, 2024 03:41 2m 17s master
September 3, 2024 03:41 2m 17s
add bugpoint mode
Notice #82: Commit 52197df pushed by zachjs
June 20, 2024 03:24 2m 17s master
June 20, 2024 03:24 2m 17s
handle directives when writing to a directory
Notice #81: Commit 6eda946 pushed by zachjs
June 16, 2024 02:25 2m 22s master
June 16, 2024 02:25 2m 22s
release v0.0.12
Notice #80: Commit 9ba03f9 pushed by zachjs
May 7, 2024 02:29 2m 14s master
May 7, 2024 02:29 2m 14s
swap order of regexes in notice.sh
Notice #79: Commit a4928a8 pushed by zachjs
May 5, 2024 22:23 2m 26s master
May 5, 2024 22:23 2m 26s
broaden compiler support
Notice #78: Commit 988f76b pushed by zachjs
May 5, 2024 20:05 2m 7s master
May 5, 2024 20:05 2m 7s
filter crlf in notice
Notice #77: Commit a80919b pushed by zachjs
May 1, 2024 13:42 2m 3s master
May 1, 2024 13:42 2m 3s
upgrade to GHC 9.6.4
Notice #76: Commit 307289f pushed by zachjs
May 1, 2024 13:08 2m 13s master
May 1, 2024 13:08 2m 13s
Upgrade to GHC 9.6.4
Notice #75: Commit 3dac47d pushed by zachjs
May 1, 2024 12:27 2m 4s master
May 1, 2024 12:27 2m 4s
upgrade to GHC 9.6.4
Notice #74: Commit ab31647 pushed by zachjs
April 14, 2024 21:25 1m 19s master
April 14, 2024 21:25 1m 19s
upgrade to GHC 9.6.4
Notice #73: Commit 512be12 pushed by zachjs
April 14, 2024 21:20 1m 15s master
April 14, 2024 21:20 1m 15s
fix cabal deprecation warning
Notice #72: Commit 0454663 pushed by zachjs
November 4, 2023 17:38 1m 19s master
November 4, 2023 17:38 1m 19s
move -X options to extensions in sv2v.cabal
Notice #71: Commit f353518 pushed by zachjs
November 2, 2023 02:59 1m 18s master
November 2, 2023 02:59 1m 18s