Skip to content

Actions: johnynek/bosatsu

Actions

Build and Deploy to GitHub Pages

Actions

Loading...

Show workflow options

Create status badge

deploy_web.yml
63 workflow runs
63 workflow runs
Event

Filter by event
Status

Filter by status
Branch
Actor

Filter by actor
Improve duplicate imports (#1196) Build and Deploy to GitHub Pages #63: Commit 99afa56 pushed by johnynek
May 11, 2024 23:46 3m 43s main
main
May 11, 2024 23:46 3m 43s
Update munit-scalacheck to 1.0.0-RC1 (#1202) Build and Deploy to GitHub Pages #62: Commit 2a943bd pushed by johnynek
May 11, 2024 17:59 3m 54s main
main
May 11, 2024 17:59 3m 54s
Update munit to 1.0.0-RC1 (#1201) Build and Deploy to GitHub Pages #61: Commit 28bfbcf pushed by johnynek
May 8, 2024 16:20 4m 2s main
main
May 8, 2024 16:20 4m 2s
Update acyclic_2.13.12 to 0.3.12 (#1203) Build and Deploy to GitHub Pages #60: Commit e04e6c6 pushed by johnynek
May 8, 2024 16:20 4m 9s main
main
May 8, 2024 16:20 4m 9s
Update sbt-scoverage to 2.0.12 (#1205) Build and Deploy to GitHub Pages #59: Commit f43f28b pushed by johnynek
May 8, 2024 16:19 4m 36s main
main
May 8, 2024 16:19 4m 36s
Update scalacheck to 1.18.0 (#1200) Build and Deploy to GitHub Pages #58: Commit 4c5a123 pushed by johnynek
April 21, 2024 17:16 4m 15s main
main
April 21, 2024 17:16 4m 15s
Update scalacheck to 1.17.1 (#1198) Build and Deploy to GitHub Pages #57: Commit 71210d3 pushed by johnynek
April 19, 2024 17:06 4m 11s main
main
April 19, 2024 17:06 4m 11s
Update munit, munit-scalacheck to 1.0.0-M12 (#1199) Build and Deploy to GitHub Pages #56: Commit 2c1b51a pushed by johnynek
April 19, 2024 17:06 3m 57s main
main
April 19, 2024 17:06 3m 57s
Add BinInt, implement divmod and just for fun, add Nat.scala (#1194) Build and Deploy to GitHub Pages #55: Commit 56fc9c1 pushed by johnynek
April 10, 2024 03:33 3m 35s main
main
April 10, 2024 03:33 3m 35s
Update paradox-theme-generic, sbt-paradox to 0.10.7 (#1195) Build and Deploy to GitHub Pages #54: Commit a71c059 pushed by johnynek
April 8, 2024 22:45 4m 2s main
main
April 8, 2024 22:45 4m 2s
Optimize if-matches case (#1193) Build and Deploy to GitHub Pages #53: Commit 2394596 pushed by johnynek
April 1, 2024 06:02 3m 45s main
main
April 1, 2024 06:02 3m 45s
Add Nat::divmod (#1192) Build and Deploy to GitHub Pages #52: Commit 7be2aa4 pushed by johnynek
April 1, 2024 01:12 3m 48s main
main
April 1, 2024 01:12 3m 48s
Update scalafmt-core to 3.8.1 (#1189) Build and Deploy to GitHub Pages #51: Commit c91e397 pushed by johnynek
March 30, 2024 19:14 3m 37s main
main
March 30, 2024 19:14 3m 37s
Improve external def parsing (#1188) Build and Deploy to GitHub Pages #50: Commit 18efb84 pushed by johnynek
March 28, 2024 05:29 3m 28s main
main
March 28, 2024 05:29 3m 28s
Change test evaluation (#1187) Build and Deploy to GitHub Pages #49: Commit a472c8d pushed by johnynek
March 25, 2024 02:43 3m 23s main
main
March 25, 2024 02:43 3m 23s
Rename type-check to check (#1186) Build and Deploy to GitHub Pages #48: Commit 7d680b6 pushed by johnynek
March 25, 2024 02:05 3m 34s main
main
March 25, 2024 02:05 3m 34s
Fix 1157 (#1184) Build and Deploy to GitHub Pages #47: Commit acd149a pushed by johnynek
March 24, 2024 03:25 3m 35s main
main
March 24, 2024 03:25 3m 35s
Try to fix bosatsuj in CI (#1182) Build and Deploy to GitHub Pages #46: Commit 0fd27df pushed by johnynek
March 23, 2024 19:23 3m 31s main
main
March 23, 2024 19:23 3m 31s
Fix bug in python if/else chains (#1183) Build and Deploy to GitHub Pages #45: Commit 0bb465d pushed by johnynek
March 23, 2024 19:22 3m 38s main
main
March 23, 2024 19:22 3m 38s
Add property checks for BinNat (#1176) Build and Deploy to GitHub Pages #44: Commit 5191197 pushed by johnynek
March 22, 2024 04:02 3m 31s main
main
March 22, 2024 04:02 3m 31s
Update sbt-scalajs, scalajs-compiler, ... to 1.16.0 (#1178) Build and Deploy to GitHub Pages #43: Commit 0b42877 pushed by johnynek
March 20, 2024 17:20 4m 19s main
main
March 20, 2024 17:20 4m 19s
Update sbt-buildinfo to 0.12.0 (#1177) Build and Deploy to GitHub Pages #42: Commit bbc6fec pushed by johnynek
March 20, 2024 17:20 4m 2s main
main
March 20, 2024 17:20 4m 2s
Add property checks for Nat (#1175) Build and Deploy to GitHub Pages #41: Commit 96163d4 pushed by johnynek
March 17, 2024 22:01 4m 16s main
main
March 17, 2024 22:01 4m 16s
add complete queue property checks (#1171) Build and Deploy to GitHub Pages #40: Commit 39adf19 pushed by johnynek
March 17, 2024 16:58 3m 54s main
main
March 17, 2024 16:58 3m 54s
Support comments in headers (#1168) Build and Deploy to GitHub Pages #39: Commit 4689044 pushed by johnynek
March 16, 2024 00:50 3m 43s main
main
March 16, 2024 00:50 3m 43s