Skip to content

Actions: plfa/plfa.github.io

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
440 workflow runs
440 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

update headers for tspl schedule (#1054) CI #886: Commit 99f82e7 pushed by github-merge-queue bot
October 24, 2024 19:05 41m 55s dev
dev
October 24, 2024 19:05 41m 55s
CI CI #885: Merge group checks requested
October 24, 2024 18:24 40m 26s
October 24, 2024 18:24 40m 26s
update headers for tspl schedule CI #884: Pull request #1054 opened by wadler
October 24, 2024 09:24 40m 44s tspl-2024-10-24
tspl-2024-10-24
October 24, 2024 09:24 40m 44s
Bump sass from 1.79.5 to 1.80.3 (#1053) CI #883: Commit 0925e52 pushed by github-merge-queue bot
October 23, 2024 11:17 41m 6s dev
dev
October 23, 2024 11:17 41m 6s
CI CI #882: Merge group checks requested
October 23, 2024 10:33 43m 24s
October 23, 2024 10:33 43m 24s
Bump sass from 1.79.5 to 1.80.3 CI #881: Pull request #1053 opened by dependabot bot
October 21, 2024 19:13 41m 26s dependabot/npm_and_yarn/sass-1.80.3
dependabot/npm_and_yarn/sass-1.80.3
October 21, 2024 19:13 41m 26s
update Qualifiers to use records first (#1052) CI #880: Commit e82750f pushed by github-merge-queue bot
October 16, 2024 15:55 41m 11s dev
dev
October 16, 2024 15:55 41m 11s
CI CI #879: Merge group checks requested
October 16, 2024 15:12 42m 12s
October 16, 2024 15:12 42m 12s
update Qualifiers to use records first CI #878: Pull request #1052 synchronize by wadler
October 16, 2024 09:32 39m 33s plfa-2024-10-16
plfa-2024-10-16
October 16, 2024 09:32 39m 33s
update Qualifiers to use records first CI #877: Pull request #1052 synchronize by wadler
October 16, 2024 09:32 59s plfa-2024-10-16
plfa-2024-10-16
October 16, 2024 09:32 59s
update Qualifiers to use records first CI #876: Pull request #1052 opened by wadler
October 16, 2024 09:21 11m 2s plfa-2024-10-16
plfa-2024-10-16
October 16, 2024 09:21 11m 2s
Bump sass from 1.79.4 to 1.79.5 (#1050) CI #875: Commit c53dbc9 pushed by github-merge-queue bot
October 16, 2024 08:13 41m 24s dev
dev
October 16, 2024 08:13 41m 24s
CI CI #874: Merge group checks requested
October 16, 2024 07:32 40m 57s
October 16, 2024 07:32 40m 57s
update Connectives to put records first (#1051) CI #873: Commit 6a09e12 pushed by github-merge-queue bot
October 15, 2024 16:50 40m 41s dev
dev
October 15, 2024 16:50 40m 41s
CI CI #872: Merge group checks requested
October 15, 2024 16:07 42m 4s
October 15, 2024 16:07 42m 4s
update Connectives to put records first CI #871: Pull request #1051 opened by wadler
October 15, 2024 09:31 41m 28s plfa-2024-10-15
plfa-2024-10-15
October 15, 2024 09:31 41m 28s
fix imports for Negation (#1049) CI #870: Commit 24e0361 pushed by github-merge-queue bot
October 15, 2024 08:54 41m 28s dev
dev
October 15, 2024 08:54 41m 28s
CI CI #869: Merge group checks requested
October 15, 2024 08:12 40m 59s
October 15, 2024 08:12 40m 59s
Bump sass from 1.79.4 to 1.79.5 CI #868: Pull request #1050 opened by dependabot bot
October 14, 2024 19:07 35m 39s dependabot/npm_and_yarn/sass-1.79.5
dependabot/npm_and_yarn/sass-1.79.5
October 14, 2024 19:07 35m 39s
fix imports for Negation CI #867: Pull request #1049 opened by wadler
October 14, 2024 18:28 36m 42s plfa-2024-10-14
plfa-2024-10-14
October 14, 2024 18:28 36m 42s
various updates (#1048) CI #866: Commit 7aadc35 pushed by github-merge-queue bot
October 12, 2024 11:41 36m 20s dev
dev
October 12, 2024 11:41 36m 20s
CI CI #865: Merge group checks requested
October 12, 2024 11:05 35m 38s
October 12, 2024 11:05 35m 38s
various updates CI #864: Pull request #1048 opened by wadler
October 12, 2024 10:12 35m 15s tspl-2024-10-12
tspl-2024-10-12
October 12, 2024 10:12 35m 15s
Tspl 2024 10 11 CI #863: Pull request #1047 opened by wadler
October 11, 2024 13:29 23m 27s tspl-2024-10-11
tspl-2024-10-11
October 11, 2024 13:29 23m 27s
update Assignment2, remove Base (#1046) CI #862: Commit b270472 pushed by github-merge-queue bot
October 11, 2024 13:20 36m 48s dev
dev
October 11, 2024 13:20 36m 48s