Skip to content

Actions: tekknolagi/tekknolagi.github.com

Actions

Make sure build works

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
360 workflow runs
360 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

What's in an e-graph? Make sure build works #336: Pull request #72 synchronize by tekknolagi
September 9, 2024 21:59 59s mb-min-egraph
mb-min-egraph
September 9, 2024 21:59 59s
What's in an e-graph? Make sure build works #335: Pull request #72 synchronize by tekknolagi
September 9, 2024 20:45 1m 21s mb-min-egraph
mb-min-egraph
September 9, 2024 20:45 1m 21s
What's in an e-graph? Make sure build works #334: Pull request #72 synchronize by tekknolagi
September 9, 2024 20:43 1m 5s mb-min-egraph
mb-min-egraph
September 9, 2024 20:43 1m 5s
What's in an e-graph? Make sure build works #333: Pull request #72 synchronize by tekknolagi
September 9, 2024 20:31 1m 19s mb-min-egraph
mb-min-egraph
September 9, 2024 20:31 1m 19s
What's in an e-graph? Make sure build works #332: Pull request #72 synchronize by tekknolagi
September 9, 2024 20:23 2m 13s mb-min-egraph
mb-min-egraph
September 9, 2024 20:23 2m 13s
What's in an e-graph? Make sure build works #331: Pull request #72 synchronize by tekknolagi
September 9, 2024 20:21 1m 4s mb-min-egraph
mb-min-egraph
September 9, 2024 20:21 1m 4s
. Make sure build works #330: Commit d62a1dc pushed by tekknolagi
September 9, 2024 04:08 1m 3s main
main
September 9, 2024 04:08 1m 3s
. Make sure build works #329: Commit 69313b5 pushed by tekknolagi
September 9, 2024 04:08 1m 3s main
main
September 9, 2024 04:08 1m 3s
What's in an e-graph? Make sure build works #328: Pull request #72 synchronize by tekknolagi
September 9, 2024 04:01 1m 1s mb-min-egraph
mb-min-egraph
September 9, 2024 04:01 1m 1s
. Make sure build works #327: Commit 8ac65a0 pushed by tekknolagi
September 7, 2024 16:31 1m 0s main
main
September 7, 2024 16:31 1m 0s
. Make sure build works #326: Commit d515a2b pushed by tekknolagi
September 7, 2024 16:31 1m 0s main
main
September 7, 2024 16:31 1m 0s
Add microui+fenster post (#73) Make sure build works #325: Commit 23d8695 pushed by tekknolagi
September 7, 2024 16:28 1m 0s main
main
September 7, 2024 16:28 1m 0s
Add microui+fenster post Make sure build works #324: Pull request #73 synchronize by tekknolagi
September 7, 2024 15:33 1m 6s mb-full-beans
mb-full-beans
September 7, 2024 15:33 1m 6s
Add microui+fenster post Make sure build works #323: Pull request #73 synchronize by tekknolagi
September 7, 2024 15:33 1m 2s mb-full-beans
mb-full-beans
September 7, 2024 15:33 1m 2s
Add microui+fenster post Make sure build works #322: Pull request #73 opened by tekknolagi
September 7, 2024 15:31 1m 0s mb-full-beans
mb-full-beans
September 7, 2024 15:31 1m 0s
. Make sure build works #321: Commit e9889d1 pushed by tekknolagi
September 6, 2024 22:01 58s main
main
September 6, 2024 22:01 58s
. Make sure build works #320: Commit b990061 pushed by tekknolagi
September 6, 2024 21:59 1m 1s main
main
September 6, 2024 21:59 1m 1s
Add NMA; create attic Make sure build works #319: Commit 9394348 pushed by tekknolagi
September 6, 2024 21:56 1m 8s main
main
September 6, 2024 21:56 1m 8s
Update dat-paper.html Make sure build works #318: Commit afbccbd pushed by tekknolagi
September 6, 2024 18:09 1m 16s main
main
September 6, 2024 18:09 1m 16s
What's in an e-graph? Make sure build works #317: Pull request #72 synchronize by tekknolagi
September 5, 2024 15:37 1m 2s mb-min-egraph
mb-min-egraph
September 5, 2024 15:37 1m 2s
What's in an e-graph? Make sure build works #316: Pull request #72 synchronize by tekknolagi
September 5, 2024 15:27 1m 2s mb-min-egraph
mb-min-egraph
September 5, 2024 15:27 1m 2s
What's in an e-graph? Make sure build works #315: Pull request #72 synchronize by tekknolagi
September 4, 2024 23:54 59s mb-min-egraph
mb-min-egraph
September 4, 2024 23:54 59s
What's in an e-graph? Make sure build works #314: Pull request #72 synchronize by tekknolagi
September 4, 2024 23:47 1m 2s mb-min-egraph
mb-min-egraph
September 4, 2024 23:47 1m 2s
What's in an e-graph? Make sure build works #313: Pull request #72 synchronize by tekknolagi
September 4, 2024 17:39 59s mb-min-egraph
mb-min-egraph
September 4, 2024 17:39 59s
What's in an e-graph? Make sure build works #312: Pull request #72 synchronize by tekknolagi
September 4, 2024 17:36 1m 2s mb-min-egraph
mb-min-egraph
September 4, 2024 17:36 1m 2s