Skip to content

Actions: ps-tuebingen/One-Sided-Sequent-Calculus

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
56 workflow runs
56 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

small fix Depoy webdemo #56: Commit 516ee7a pushed by MarcoTz
June 18, 2024 12:44 2m 5s main
main
June 18, 2024 12:44 2m 5s
added prdcns to checking xtors Depoy webdemo #55: Commit 26e12c5 pushed by MarcoTz
June 18, 2024 08:05 2m 1s main
main
June 18, 2024 08:05 2m 1s
udpated documentation Depoy webdemo #54: Commit e16d429 pushed by MarcoTz
June 11, 2024 14:13 2m 2s main
main
June 11, 2024 14:13 2m 2s
fixed application associativity Depoy webdemo #53: Commit cd8b303 pushed by MarcoTz
June 6, 2024 13:43 2m 24s main
main
June 6, 2024 13:43 2m 24s
added dhall files for old spago version Depoy webdemo #52: Commit 649d914 pushed by MarcoTz
June 6, 2024 13:08 1m 23s main
main
June 6, 2024 13:08 1m 23s
added prdcns to output Depoy webdemo #51: Commit 42696d6 pushed by MarcoTz
May 22, 2024 10:57 1m 56s main
main
May 22, 2024 10:57 1m 56s
fixed pretty printing and a small bug Depoy webdemo #50: Commit 6e4f60b pushed by MarcoTz
May 13, 2024 15:41 2m 6s main
main
May 13, 2024 15:41 2m 6s
added caseof to parsre Depoy webdemo #49: Commit d264c67 pushed by MarcoTz
April 26, 2024 15:46 2m 3s main
main
April 26, 2024 15:46 2m 3s
fixed stream Depoy webdemo #48: Commit f6b6661 pushed by MarcoTz
April 25, 2024 13:18 2m 1s main
main
April 25, 2024 13:18 2m 1s
fixed parsing and printing bug Depoy webdemo #47: Commit 8aeb36f pushed by MarcoTz
April 23, 2024 14:39 2m 1s main
main
April 23, 2024 14:39 2m 1s
added installing esbuild Depoy webdemo #46: Commit ad0ca76 pushed by MarcoTz
April 22, 2024 13:45 2m 4s main
main
April 22, 2024 13:45 2m 4s
added spago and purescript version Depoy webdemo #45: Commit a9a37d6 pushed by MarcoTz
April 22, 2024 13:42 1m 58s main
main
April 22, 2024 13:42 1m 58s
made npm install global Depoy webdemo #44: Commit 80cbfbc pushed by MarcoTz
April 22, 2024 13:35 1m 30s main
main
April 22, 2024 13:35 1m 30s
split spago and purescript install Depoy webdemo #43: Commit c2d6972 pushed by MarcoTz
April 22, 2024 13:34 25s main
main
April 22, 2024 13:34 25s
fixed formatting Depoy webdemo #42: Commit 3bcfa3a pushed by MarcoTz
April 22, 2024 13:32 37s main
main
April 22, 2024 13:32 37s
updated node version Depoy webdemo #41: Commit 2d719ed pushed by MarcoTz
April 22, 2024 13:31 Failure main
main
April 22, 2024 13:31 Failure
added node version Depoy webdemo #40: Commit fd69109 pushed by MarcoTz
April 22, 2024 13:28 Failure main
main
April 22, 2024 13:28 Failure
added installing purescript manuallyt Depoy webdemo #39: Commit dce0d9a pushed by MarcoTz
April 22, 2024 13:26 27s main
main
April 22, 2024 13:26 27s
added version to action Depoy webdemo #38: Commit 8b21143 pushed by MarcoTz
April 22, 2024 13:21 16s main
main
April 22, 2024 13:21 16s
updated action Depoy webdemo #37: Commit fef6402 pushed by MarcoTz
April 22, 2024 13:19 22s main
main
April 22, 2024 13:19 22s
fixed github aciton Depoy webdemo #36: Commit e7775f0 pushed by MarcoTz
April 22, 2024 13:16 24s main
main
April 22, 2024 13:16 24s
updated publish action Depoy webdemo #35: Commit ca5ea6e pushed by MarcoTz
April 22, 2024 13:08 13s main
main
April 22, 2024 13:08 13s
fixed web app Depoy webdemo #34: Commit 89aa60d pushed by MarcoTz
April 11, 2024 15:37 3m 12s main
main
April 11, 2024 15:37 3m 12s
updated web app layoug Depoy webdemo #33: Commit 1a2e04d pushed by MarcoTz
April 5, 2024 14:22 2m 51s main
main
April 5, 2024 14:22 2m 51s
added final types to web app Depoy webdemo #32: Commit 81d7ea9 pushed by MarcoTz
April 5, 2024 13:54 2m 51s main
main
April 5, 2024 13:54 2m 51s