Skip to content

Actions: mizunashi-mana/proglang-notes

Actions

Make

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
make.yml
11 workflow runs
11 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add some contents Make #78: Commit 5c2a090 pushed by mizunashi-mana
November 30, 2024 17:39 4m 52s main
main
November 30, 2024 17:39 4m 52s
Add 1ml reference Make #77: Commit fbfad7c pushed by mizunashi-mana
November 9, 2024 12:32 4m 56s main
main
November 9, 2024 12:32 4m 56s
Fix type system Make #76: Commit 0b4f1fb pushed by mizunashi-mana
December 7, 2023 04:27 5m 21s main
main
December 7, 2023 04:27 5m 21s
Add strik contents Make #75: Commit 045633f pushed by mizunashi-mana
November 27, 2023 08:26 5m 22s main
main
November 27, 2023 08:26 5m 22s
Add contents of bidir algorithm Make #74: Commit 4f567ec pushed by mizunashi-mana
November 26, 2023 06:50 5m 10s main
main
November 26, 2023 06:50 5m 10s
Update gh action Make #73: Commit 539191f pushed by mizunashi-mana
November 26, 2023 03:24 1m 21s main
main
November 26, 2023 03:24 1m 21s
Update some Make #72: Commit f051027 pushed by mizunashi-mana
November 25, 2023 11:45 1m 6s main
main
November 25, 2023 11:45 1m 6s
Refactor type system in algorithmic bidirectional Make #71: Commit 0618fca pushed by mizunashi-mana
November 17, 2023 05:04 5m 38s main
main
November 17, 2023 05:04 5m 38s
Impl bidir typing Make #70: Commit 48a90d4 pushed by mizunashi-mana
November 16, 2023 11:34 5m 21s main
main
November 16, 2023 11:34 5m 21s
Fix strik contents Make #69: Commit acd795d pushed by mizunashi-mana
November 11, 2023 11:34 5m 55s main
main
November 11, 2023 11:34 5m 55s
Add strik contents Make #68: Commit 0e09762 pushed by mizunashi-mana
November 11, 2023 09:27 6m 33s main
main
November 11, 2023 09:27 6m 33s