Skip to content

Actions: MrTipson/webstg

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
83 workflow runs
83 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Rules: Resolve args in enviroment before replacing it Deploy to GitHub Pages #83: Commit f6bc2cd pushed by MrTipson
November 4, 2024 17:45 56s master
master
November 4, 2024 17:45 56s
Resolve args in enviroment before replacing it Deploy to GitHub Pages #82: Commit 70b03e6 pushed by MrTipson
November 4, 2024 17:01 1m 13s master
master
November 4, 2024 17:01 1m 13s
Examples: add example about repeat Deploy to GitHub Pages #81: Commit 0c3254b pushed by MrTipson
October 22, 2024 13:01 1m 5s master
master
October 22, 2024 13:01 1m 5s
Markdown: fix typo in evaluation rules Deploy to GitHub Pages #80: Commit 7d26daf pushed by MrTipson
October 22, 2024 11:36 1m 6s master
master
October 22, 2024 11:36 1m 6s
Create LICENSE Deploy to GitHub Pages #79: Commit 68b9b66 pushed by MrTipson
October 22, 2024 10:56 1m 1s master
master
October 22, 2024 10:56 1m 1s
Astro: update astro Deploy to GitHub Pages #78: Commit f3c278b pushed by MrTipson
October 14, 2024 11:31 1m 2s master
master
October 14, 2024 11:31 1m 2s
Rules: update LaTeX to reflect simplified enviroment representation Deploy to GitHub Pages #77: Commit db14441 pushed by MrTipson
October 14, 2024 10:43 1m 15s master
master
October 14, 2024 10:43 1m 15s
stgmachine: fix function not passing its enviroment Deploy to GitHub Pages #76: Commit 029bc3a pushed by MrTipson
October 11, 2024 18:59 1m 12s master
master
October 11, 2024 18:59 1m 12s
Examples: make foldl' not use thunks Deploy to GitHub Pages #75: Commit 291bc1c pushed by MrTipson
October 1, 2024 10:27 1m 2s master
master
October 1, 2024 10:27 1m 2s
Timeline: forget future limit if a different thunk is entered Deploy to GitHub Pages #74: Commit e4b12c4 pushed by MrTipson
September 30, 2024 12:31 1m 8s master
master
September 30, 2024 12:31 1m 8s
Controls: prevent rule collapse from resetting Deploy to GitHub Pages #73: Commit 96fad67 pushed by MrTipson
September 30, 2024 12:17 56s master
master
September 30, 2024 12:17 56s
HeapView: make sure edge ids are unique Deploy to GitHub Pages #72: Commit 8c60b6b pushed by MrTipson
September 30, 2024 12:07 56s master
master
September 30, 2024 12:07 56s
Controls: catch rule matching exceptions Deploy to GitHub Pages #71: Commit f12d4fb pushed by MrTipson
September 29, 2024 10:01 58s master
master
September 29, 2024 10:01 58s
Astro: update astro Deploy to GitHub Pages #70: Commit 9a87b02 pushed by MrTipson
September 24, 2024 10:51 58s master
master
September 24, 2024 10:51 58s
Bump astro version Deploy to GitHub Pages #69: Commit 12fcaa5 pushed by MrTipson
September 24, 2024 10:50 1m 0s master
master
September 24, 2024 10:50 1m 0s
HeapView: color updated edges when indirections are collapsed Deploy to GitHub Pages #68: Commit d0ccf86 pushed by MrTipson
September 23, 2024 12:52 1m 5s master
master
September 23, 2024 12:52 1m 5s
HeapView: fix typo in help Deploy to GitHub Pages #67: Commit 6e76b7d pushed by MrTipson
September 23, 2024 11:24 1m 1s master
master
September 23, 2024 11:24 1m 1s
LaTeX: update formal rule definitions Deploy to GitHub Pages #66: Commit f21578b pushed by MrTipson
September 21, 2024 20:33 59s master
master
September 21, 2024 20:33 59s
Settings: sync garbage collection in the URL Deploy to GitHub Pages #65: Commit d132c16 pushed by MrTipson
September 21, 2024 16:12 1m 14s master
master
September 21, 2024 16:12 1m 14s
Examples: add folds Deploy to GitHub Pages #64: Commit cef5e6c pushed by MrTipson
September 18, 2024 12:24 1m 10s master
master
September 18, 2024 12:24 1m 10s
Astro: update astro Deploy to GitHub Pages #63: Commit 5014b33 pushed by MrTipson
September 18, 2024 09:24 1m 11s master
master
September 18, 2024 09:24 1m 11s
Resolve build warnings (unused vars, deprecated function) Deploy to GitHub Pages #62: Commit 263ad90 pushed by MrTipson
September 17, 2024 11:42 1m 0s master
master
September 17, 2024 11:42 1m 0s
Underlying implementation: clean up and add comments Deploy to GitHub Pages #61: Commit d297e7b pushed by MrTipson
September 17, 2024 11:02 1m 5s master
master
September 17, 2024 11:02 1m 5s
Components: clean up params and add comments Deploy to GitHub Pages #60: Commit e125c6b pushed by MrTipson
September 15, 2024 19:33 55s master
master
September 15, 2024 19:33 55s
Examples: move examples into a astro data collection Deploy to GitHub Pages #59: Commit 552cfe5 pushed by MrTipson
September 14, 2024 20:25 1m 1s master
master
September 14, 2024 20:25 1m 1s