Skip to content

Actions: plfa/plfa.github.io

Actions

All workflows

Actions

Loading...

Showing runs from all workflows
494 workflow runs
494 workflow runs
Event

Filter by event
Status

Filter by status
Branch
Actor

Filter by actor
pages build and deployment pages-build-deployment #283: by github-pages bot
June 4, 2024 00:13 46s
June 4, 2024 00:13 46s
Bump sass from 1.77.2 to 1.77.4 (#1004) CI #755: Commit e8a0bcc pushed by github-merge-queue bot
June 3, 2024 23:29 43m 15s dev
dev
June 3, 2024 23:29 43m 15s
CI CI #754: Merge group checks requested
June 3, 2024 22:46 42m 59s
June 3, 2024 22:46 42m 59s
Bump sass from 1.77.2 to 1.77.4 CI #753: Pull request #1004 opened by dependabot bot
June 3, 2024 19:54 42m 18s dependabot/npm_and_yarn/sass-1.77.4
dependabot/npm_and_yarn/sass-1.77.4
June 3, 2024 19:54 42m 18s
pages build and deployment pages-build-deployment #282: by github-pages bot
May 21, 2024 00:28 48s
May 21, 2024 00:28 48s
pages build and deployment pages-build-deployment #281: by github-pages bot
May 20, 2024 23:59 38s
May 20, 2024 23:59 38s
--- (#999) CI #751: Commit 1bd6b56 pushed by github-merge-queue bot
May 20, 2024 23:42 45m 40s dev
dev
May 20, 2024 23:42 45m 40s
--- (#1000) CI #750: Commit 67fb9e3 pushed by github-merge-queue bot
May 20, 2024 23:17 41m 38s dev
dev
May 20, 2024 23:17 41m 38s
CI CI #749: Merge group checks requested
May 20, 2024 22:34 1h 7m 44s
May 20, 2024 22:34 1h 7m 44s
CI CI #748: Merge group checks requested
May 20, 2024 22:34 43m 4s
May 20, 2024 22:34 43m 4s
Bump sass from 1.77.1 to 1.77.2 CI #747: Pull request #1000 opened by dependabot bot
May 20, 2024 19:44 40m 42s dependabot/npm_and_yarn/sass-1.77.2
dependabot/npm_and_yarn/sass-1.77.2
May 20, 2024 19:44 40m 42s
Bump JamesIves/github-pages-deploy-action from 4.6.0 to 4.6.1 CI #746: Pull request #999 opened by dependabot bot
May 20, 2024 19:09 42m 33s dependabot/github_actions/JamesIves/github-pages-deploy-action-4.6.1
dependabot/github_actions/JamesIves/github-pages-deploy-action-4.6.1
May 20, 2024 19:09 42m 33s
pages build and deployment pages-build-deployment #280: by github-pages bot
May 17, 2024 20:03 44s
May 17, 2024 20:03 44s
Bump sass from 1.76.0 to 1.77.1 (#996) CI #745: Commit ea1f11d pushed by github-merge-queue bot
May 17, 2024 19:22 41m 11s dev
dev
May 17, 2024 19:22 41m 11s
CI CI #744: Merge group checks requested
May 17, 2024 18:40 41m 39s
May 17, 2024 18:40 41m 39s
pages build and deployment pages-build-deployment #279: by github-pages bot
May 17, 2024 12:27 53s
May 17, 2024 12:27 53s
Generalize and move postulation of foldr-++ (#998) CI #743: Commit 22963f4 pushed by github-merge-queue bot
May 17, 2024 11:45 41m 57s dev
dev
May 17, 2024 11:45 41m 57s
CI CI #742: Merge group checks requested
May 17, 2024 11:18 34m 0s
May 17, 2024 11:18 34m 0s
CI CI #741: Merge group checks requested
May 17, 2024 11:05 40m 15s
May 17, 2024 11:05 40m 15s
Generalize and move postulation of foldr-++ CI #740: Pull request #998 opened by adql
May 15, 2024 17:45 40m 46s adql:issue-997
adql:issue-997
May 15, 2024 17:45 40m 46s
Bump sass from 1.76.0 to 1.77.1 CI #739: Pull request #996 opened by dependabot bot
May 13, 2024 19:25 1h 6m 54s dependabot/npm_and_yarn/sass-1.77.1
dependabot/npm_and_yarn/sass-1.77.1
May 13, 2024 19:25 1h 6m 54s
pages build and deployment pages-build-deployment #278: by github-pages bot
May 7, 2024 02:00 41s
May 7, 2024 02:00 41s
Bump sass from 1.75.0 to 1.76.0 (#995) CI #738: Commit e52c39b pushed by github-merge-queue bot
May 7, 2024 01:20 40m 12s dev
dev
May 7, 2024 01:20 40m 12s
CI CI #737: Merge group checks requested
May 7, 2024 00:40 39m 56s
May 7, 2024 00:40 39m 56s
Bump sass from 1.75.0 to 1.76.0 CI #736: Pull request #995 opened by dependabot bot
May 6, 2024 19:07 39m 25s dependabot/npm_and_yarn/sass-1.76.0
dependabot/npm_and_yarn/sass-1.76.0
May 6, 2024 19:07 39m 25s