Skip to content

Actions: agda-web/als-demo

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
30 workflow runs
30 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
It is now free software Deploy to GitHub Pages #30: Commit c4427fb pushed by andy0130tw
56s public
public
56s
Backport minor improvement to RPC stream decoder Deploy to GitHub Pages #29: Commit f65af56 pushed by andy0130tw
40s public
public
40s
Bump als wasm Deploy to GitHub Pages #28: Commit d982db0 pushed by andy0130tw
45s public
public
45s
Fix the fix Deploy to GitHub Pages #27: Commit 2cfa797 pushed by andy0130tw
44s public
public
44s
Bump deps Deploy to GitHub Pages #26: Commit 7ba068f pushed by andy0130tw
40s public
public
40s
Fix for Safari 26 Deploy to GitHub Pages #25: Commit c647cba pushed by andy0130tw
40s public
public
40s
Update Deploy to GitHub Pages #24: Commit 94b9f8f pushed by andy0130tw
38s public
public
38s
Fix path resolutions from what I learned from vscode-wasm Deploy to GitHub Pages #23: Commit 58a69ac pushed by andy0130tw
50s public
public
50s
Fix for Safari Deploy to GitHub Pages #22: Commit c6c9e69 pushed by andy0130tw
48s public
public
48s
Fix for Safari Deploy to GitHub Pages #21: Commit d6307b0 pushed by andy0130tw
1m 17s public
public
1m 17s
Fix initial color scheme detection Deploy to GitHub Pages #20: Commit 8cd718a pushed by andy0130tw
45s public
public
45s
Give up on CSS-in-HTML Deploy to GitHub Pages #19: Commit 874e3b4 pushed by andy0130tw
53s public
public
53s
Try QuietUI Deploy to GitHub Pages #18: Commit 9ec96ef pushed by andy0130tw
35s public
public
35s
npm audit fix Deploy to GitHub Pages #17: Commit 9f471c1 pushed by andy0130tw
58s public
public
58s
Now we have stdlib-2.3 Deploy to GitHub Pages #16: Commit a6e7b95 pushed by andy0130tw
50s public
public
50s
Update; switch to use Agda 2.8.0 Deploy to GitHub Pages #15: Commit 971447a pushed by andy0130tw
46s public
public
46s
Update; switch to use Agda 2.8.0 Deploy to GitHub Pages #14: Commit 7ec76a8 pushed by andy0130tw
56s public
public
56s
Fix typo Deploy to GitHub Pages #13: Commit 6610cc7 pushed by andy0130tw
48s public
public
48s
Big update yet again Deploy to GitHub Pages #12: Commit 3204c85 pushed by andy0130tw
44s public
public
44s
Big update again Deploy to GitHub Pages #11: Commit ad9c7a5 pushed by andy0130tw
44s public
public
44s
Big update again Deploy to GitHub Pages #10: Commit 1c355ee pushed by andy0130tw
44s public
public
44s
Big update Deploy to GitHub Pages #9: Commit 291b135 pushed by andy0130tw
49s public
public
49s
Revert all attempts and use rel paths Deploy to GitHub Pages #8: Commit dbbdbca pushed by andy0130tw
43s public
public
43s
Revert all attempts and use rel paths Deploy to GitHub Pages #7: Commit 788b2d6 pushed by andy0130tw
47s public
public
47s
Update path issue Deploy to GitHub Pages #6: Commit 36fa94e pushed by andy0130tw
46s public
public
46s